Assertion - PDFSEARCH.IO - Document Search Engine

Assertion
Results: 1026

#	Item
341	Communicating Security Assertions over the GridFTP Control Channel Rajkumar Kettimuthu1,2, Liu Wantao3,4, Frank Siebenlist1,2, and Ian Foster1,2,3 1 Mathematics and Computer Science Division, Argonne National Laboratory Add to Reading List Source URL: toolkit.globus.org Language: English - Date: 2008-10-27 13:50:24 Network architecture System software Identity management systems GridFTP Identity management Security Assertion Markup Language Internet standards PERMIS Voms Computing Grid computing FTP
342	Attribute Exchange Trust Framework Specification DRAFT Technical Specification v 1.0 Document Version: 1.0 Serial No. Add to Reading List Source URL: openidentityexchange.org Language: English - Date: 2014-06-06 18:30:57 Security Federated identity OpenID Security Assertion Markup Language Digital identity Phorm Authentication BT Group Identity management Computer security Identity
343	PDF Document Add to Reading List Source URL: www.biscom.com Language: English - Date: 2015-02-25 11:24:48 Identity management Password Two-factor authentication Authentication Security Assertion Markup Language Password manager Single sign-on Security Access control Computer security
344	The Ciao System A New Generation, Multi-Paradigm Programming Language and Environment (Including a State-of-the-Art ISO-Prolog) REFERENCE MANUAL The Ciao Documentation Series http://ciao-lang.org/ Add to Reading List Source URL: ciao-lang.org Language: English - Date: 2013-06-19 03:35:12 Filter Emacs Assertion Prolog Shell Software bug Debugger Debugging D Software Computing Computer programming
345	The Ciao Preprocessor A Program Analysis, Verification, Debugging, and Optimization Tool REFERENCE MANUAL The Ciao Documentation Series http://ciao-lang.org/ Generated/Printed on: 19 June 2013 Add to Reading List Source URL: ciao-lang.org Language: English - Date: 2013-06-19 03:35:13 Filter Assertion Computer programming Software engineering Computing
346	The Pointer Assertion Logic Engine Anders Møller & Michael I. Schwartzbach BRICS Department of Computer Science University of Aarhus, Denmark {amoeller,mis}@brics.dk Add to Reading List Source URL: www.brics.dk Language: English - Date: 2002-06-14 03:07:08 Program logic Procedural programming languages Data types Primitive types Type theory Pointer Hoare logic Linked list C Software engineering Computing Computer programming
347	The lpdoc Documentation Generator An Automatic Documentation Generator for (C)LP Systems The Ciao System Documentation Series Technical Report CLIP[removed]Draft printed on: 23 April 2002 Version 1.9#[removed], 20:59: Add to Reading List Source URL: ciao-lang.org Language: English - Date: 2002-04-23 13:12:40 Technical communication Online help Assertion Debugging Logic in computer science Docstring Texinfo Man page Documentation Computing Computer programming Software engineering
348	The StateRover - Eclipse Plug-in Model driven development: • Harel statechart diagrams, including state nesting, concurrence/ Add to Reading List Source URL: www.time-rover.com Language: English - Date: 2010-10-19 22:22:15 Java platform Logic in computer science Cross-platform software Extreme programming JUnit Assertion Namespace Computing Software Computer programming
349	The lpdoc Documentation Generator An Automatic Documentation Generator for (C)LP Systems REFERENCE MANUAL The Ciao Documentation Series http://www.ciaohome.org/ Generated/Printed on: 15 August 2011 Add to Reading List Source URL: ciao-lang.org Language: English - Date: 2011-08-16 03:35:23 Assertion Debugging Logic in computer science Docstring Documentation Computer programming Software engineering Computing
350	LPdoc A Documentation Generator for (C)LP Systems Manuel Hermenegildo [removed] School of Computer Science Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2006-11-22 18:20:05 Technical communication Literate programming Comment Assertion Documentation generator E Documentation Software bug TeX Computer programming Computing Software engineering

UPDATE