Assertion - PDFSEARCH.IO - Document Search Engine

Assertion
Results: 1026

#	Item
931	OneLogin 2014 State of SaaS Identity Management ! February 24, 2014 www.onelogin.com Add to Reading List Source URL: onelogin.com Language: English - Date: 2014-02-21 06:44:40 Software distribution Cloud computing Software as a service Software industry Security Assertion Markup Language Identity management Computing Centralized computing Software
932	JANUS user guide for Service Providers (SP) Joint Administration Net based User Self-service JANUS User Guide for SP Version 1 March 2012 Add to Reading List Source URL: www.wayf.dk Language: English - Date: 2012-04-24 06:59:26 Identity management Computer security SAML 2.0 Security Assertion Markup Language Janus Email Computing Identity management systems System software
933	JANUS user guide for institutions (IdP) Joint Administration Net based User Self-service JANUS User Guide for IdP Version 1.1 March 2012 Add to Reading List Source URL: www.wayf.dk Language: English - Date: 2012-04-24 06:59:12 Identity management Computer security SAML 2.0 Security Assertion Markup Language Internally displaced person Janus Email SAML-based products and services Identity management systems System software Computing
934	pam_xacml Contact Information: Tobias Heide Andreas Klenk pam_xacml includes work from Joseph Bester 1 within it‘s distribution. Add to Reading List Source URL: pamxacml.sourceforge.net Language: English - Date: 2008-08-18 07:37:00 Unix Identity management Compiling tools Build automation XACML Access control Programmed Data Processor Configure script Security Assertion Markup Language Software Computing System software
935	S&I Framework Update HIT Standards Committee Add to Reading List Source URL: www.healthit.gov Language: English - Date: 2014-06-17 10:58:07 Medicine Computing International standards Multi-agent systems Health Level 7 Security Assertion Markup Language Interoperability Integrating the Healthcare Enterprise Medical informatics Health Health informatics
936	ConSec federated security architecture ConSec features ConSec Add to Reading List Source URL: contrail-project.eu Language: English Identity management Access control OpenID Security Assertion Markup Language Shibboleth Contrail Single sign-on Cloud computing Authorization Security Computer security Federated identity
937	Conditional Model Checking: A Technique to Pass Information between Verifiers Dirk Beyer University of Passau Germany Add to Reading List Source URL: www.sosy-lab.org Language: English - Date: 2013-10-11 06:59:10 Applied mathematics Logic in computer science Model checking Formal verification Assertion Automated theorem proving Function Economic model Software verification Theoretical computer science Mathematics Formal methods
938	Tracking Down Software Bugs Using Automatic Anomaly Detection Sudheendra Hangal Sun Microsystems India Pvt. Ltd. Divyasree Chambers, Shantinagar Bangalore[removed] Add to Reading List Source URL: www.cs.ucr.edu Language: English - Date: 2008-04-06 00:41:04 Software testing Software bugs Procedural programming languages Daikon Debugging Invariant Assertion Type safety Exception handling Software engineering Computing Computer programming
939	Cause Clue Clauses: Error Localization using Maximum Satisfiability ∗ Manu Jose Rupak Majumdar Add to Reading List Source URL: bugassist.mpi-sws.org Language: English - Date: 2011-03-24 00:18:44 Logic in computer science Boolean satisfiability problem Maximum satisfiability problem Unsatisfiable core Software bug Conjunctive normal form Debugging Assertion Algorithm Theoretical computer science Applied mathematics Mathematics
940	searchRetrieve: Part 6. SRU Scan Operation Version 1.0 OASIS Standard Add to Reading List Source URL: docs.oasis-open.org Language: English - Date: 2013-01-30 12:00:00 Web standards EDXL Security Assertion Markup Language Computing Hypertext Transfer Protocol World Wide Web

UPDATE