Assertion - PDFSEARCH.IO - Document Search Engine

Assertion
Results: 1026

#	Item
181	SAML Version 2.0 Errata 05 OASIS Approved Errata 01 May 2012 Specification URIs This version: http://docs.oasis-open.org/security/saml/v2.0/errata05/os/saml-v2.0-errata05-os.odt Add to Reading List Source URL: docs.oasis-open.org Language: English - Date: 2012-05-01 12:00:00 Identity management systems Computer security Security Assertion Markup Language SAML 1.1 SAML 2.0 Computing System software Identity management
182	COMMERCIAL ITEM DETERMINATION PER FARCHECKLIST AND CERTIFICATION OFFEROR: Buyer requests that Offeror complete this form to support Offeror’s assertion that the items or services to be provided qualify as “Co Add to Reading List Source URL: www.ga.com Language: English - Date: 2015-01-05 16:04:25 Competition Government procurement in the United States United States administrative law Contract law Price Contract Credit note Marketing Pricing Business
183	SAML V2.0 Errata Approved Errata Committee DraftMay 2007 Specification URIs: This Version: Add to Reading List Source URL: docs.oasis-open.org Language: English - Date: 2007-07-16 15:16:04 Identity management Computer security Security Assertion Markup Language SAML 1.1 SAML 2.0 System software Computing Identity management systems
184	Detecting Inconsistencies via Universal Reachability Analysis Aaron Tomb Cormac Flanagan Galois, Inc., USA Add to Reading List Source URL: galois.com Language: English - Date: 2014-07-17 17:29:46 Quantification Program logic Formal methods Predicate transformer semantics Entailment Assertion C Existential quantification FO Logic Software engineering Theoretical computer science
185	SSO Plugin Integration for BMC BPPM J System Solutions http://www.javasystemsolutions.com Version 4.0 Add to Reading List Source URL: www.javasystemsolutions.com Language: English - Date: 2014-05-22 11:58:26 Federated identity Identity management Java enterprise platform Single sign-on Apache Tomcat Security Assertion Markup Language BMC Remedy Action Request System Software Computing System software
186	Ignite IT to Drive Higher Education TM Add to Reading List Source URL: www.fischerinternational.com Language: English - Date: 2013-04-09 10:36:22 Identity management System software Shibboleth Computer security Internet2 Password Security Assertion Markup Language Kuali Foundation Cloud computing Federated identity Computing Identity management systems
187	PDF Document Add to Reading List Source URL: www.open-std.org Language: English - Date: 2014-10-06 02:50:50 Procedural programming languages Data types Type theory Assert.h Operand C Assertion Operator Type system Software engineering Computing Computer programming
188	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: dart.edu.au Language: English - Date: 2006-12-03 10:50:15 System software Identity management Security XACML PERMIS Shibboleth Security Assertion Markup Language Annotation Annotea Federated identity Computer security Identity management systems
189	C++ Coding Standards The Corelinux Consortium Revision 1.6 Created on May 8, 2000 Last Revised on September 22, 2000 Add to Reading List Source URL: www.literateprogramming.com Language: English - Date: 2007-10-09 02:11:54 Source code Procedural programming languages C++ C programming language C Cross-platform software Bracket Assertion ALGOL 68 Computer programming Computing Software engineering
190	WP 0.7 WP Plug-in Manual Version 0.7 for FluorinePatrick Baudin, Loïc Correnson, Zaynah Dargaye Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Computer programming Logic in computer science Predicate transformer semantics Frama-C Hoare logic Pointer Precondition Assertion Theoretical computer science Program logic Software engineering

UPDATE