Assertion - PDFSEARCH.IO - Document Search Engine

Assertion
Results: 1026

#	Item
351	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://www.ciaohome.org/ Add to Reading List Source URL: ciao-lang.org Language: English - Date: 2011-08-16 03:35:22 Filter Assertion Emacs Prolog D Software bug Software Computing Computer programming
352	The Ciao Preprocessor A Program Analysis, Verification, Debugging, and Optimization Tool 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 Filter Assertion Computer programming Software engineering Computing
353	Implementing a Secure Annotation Service Imran Khan, Ronald Schroeter, Jane Hunter The School of ITEE The University of Queensland, St Lucia, Queensland, Australia {imrank, jane}@itee.uq.edu.au Add to Reading List Source URL: www.itee.uq.edu.au Language: English - Date: 2015-03-13 09:36:04 System software Identity management Security XACML PERMIS Shibboleth Security Assertion Markup Language Annotation Annotea Federated identity Computer security Identity management systems
354	The Ciao Prolog System A Next Generation Multi-Paradigm Programming Environment REFERENCE MANUAL The Ciao System Documentation Series http://www.ciaohome.org/ Generated/Printed on: 26 April 2006 Add to Reading List Source URL: ciao-lang.org Language: English - Date: 2006-04-26 14:16:16 Debugging Logic in computer science Prolog Emacs Software Computing Assertion
355	The lpdoc Documentation Generator An Automatic Documentation Generator for (C)LP Systems 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:14 Assertion Debugging Logic in computer science Docstring Documentation Computer programming Software engineering Computing
356	Case Study Beverly Hills Wealth Management Customer profile Investment counseling and Add to Reading List Source URL: www.mcafee.com Language: English - Date: 2014-01-10 00:46:37 Software distribution Identity management Software as a service McAfee Security Assertion Markup Language Web portal Provisioning IBM cloud computing Virtual appliance Computing Cloud computing Centralized computing
357	CESNET Technical Report[removed]Standalone SAML Attribute Authority With Shibboleth I N Received[removed] Add to Reading List Source URL: www.cesnet.cz Language: English - Date: 2013-12-10 06:07:23 Computing Identity management Computer security Internet standards Shibboleth Security Assertion Markup Language Lightweight Directory Access Protocol Identity provider Attribute Federated identity System software Identity management systems
358	Case Study Beverly Hills Wealth Management Customer profile Investment counseling and Add to Reading List Source URL: www.mcafee.com Language: English - Date: 2014-01-10 00:46:37 Software distribution Identity management Software as a service McAfee Security Assertion Markup Language Web portal Provisioning IBM cloud computing Virtual appliance Computing Cloud computing Centralized computing
359	Globus Toolkit: Authorization Processing GlobusWORLD 2005 Feb 7-11, Boston, MA Frank Siebenlist - ANL Add to Reading List Source URL: toolkit.globus.org Language: English - Date: 2005-06-01 19:32:33 Security XACML PERMIS Security Assertion Markup Language Federated identity Access control Authorization Globus Toolkit OASIS Computing Identity management Computer security
360	Case Study Beverly Hills Wealth Management Customer profile Investment counseling and Add to Reading List Source URL: www.mcafee.com Language: English - Date: 2014-01-10 00:46:37 Software distribution Identity management Software as a service McAfee Security Assertion Markup Language Web portal Provisioning IBM cloud computing Virtual appliance Computing Cloud computing Centralized computing

UPDATE