Assertion - PDFSEARCH.IO - Document Search Engine

Assertion
Results: 1026

#	Item
761	Asynchronous Assertions Edward E. Aftandilian Samuel Z. Guyer Martin Vechev Add to Reading List Source URL: www.eecs.tufts.edu Language: English - Date: 2011-08-22 11:35:37 Concurrency control Assertion Debugging Logic in computer science Thread Copy-on-write Garbage collection Monitor Objective-C Computing Computer programming Software engineering
762	Case Study Senior Service America, Inc. Customer profile Nonprofit organization in Add to Reading List Source URL: www.mcafee.com Language: English - Date: 2014-01-10 00:47:02 Cloud applications McAfee Identity management Salesforce.com Software as a service Security Assertion Markup Language Web portal Single sign-on Cloud computing Computing Centralized computing
763	What Can the GC Compute Efficiently? A Language for Heap Assertions at GC Time Christoph Reichenbach Neil Immerman Add to Reading List Source URL: www.eecs.tufts.edu Language: English - Date: 2010-08-13 16:15:27 Data types Memory management Tree traversal Garbage collection Object-oriented programming Assertion Function First-order logic Doubly linked list Mathematics Computing Software engineering
764	ON THE EFFECTIVENESS OF ASSERTION-BASED VERIFICATION IN AN INDUSTRIAL CONTEXT L.Pierre, F.Pancher, R.Suescun, J.Quévremont TIMA Laboratory, Grenoble, France Add to Reading List Source URL: lvl.info.ucl.ac.be Language: English - Date: 2013-10-21 02:25:05 Electronic design automation Logic design Model checking Temporal logic VHDL Logic simulation Hardware verification languages Formal methods Property Specification Language Electronic engineering Digital electronics Hardware description languages
765	Microsoft PowerPoint - Healthcare PKI, NCVHS, [removed]ppt Add to Reading List Source URL: aspe.hhs.gov Language: English - Date: 2006-08-28 11:19:10 Identity management Security Assertion Markup Language Health Level 7 Digital signature X.509 Public key infrastructure Privilege Management Infrastructure Cryptography Public-key cryptography Key management
766	GC Assertions: Using the Garbage Collector to Check Heap Properties Edward E. Aftandilian Samuel Z. Guyer Add to Reading List Source URL: www.eecs.tufts.edu Language: English - Date: 2010-08-13 16:15:27 Memory management Data types Object-oriented programming Automatic memory management Garbage collection Assertion Memory leak Region-based memory management Unreachable memory Computing Software engineering Computer programming
767	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
768	Data Sheet McAfee Cloud Single Sign On, SaaS Edition Identity management in the cloud, for the cloud Single sign-on (SSO), automated account provisioning/deprovisioning, and strong Add to Reading List Source URL: www.mcafee.com Language: English - Date: 2014-01-10 00:52:40 Security Cloud computing McAfee Identity management system Single sign-on Two-factor authentication Security token Security Assertion Markup Language Software as a service Computing Identity management Computer security
769	Microsoft Word - INCOMMON FEDERATION UC Hastings.docx Add to Reading List Source URL: www.uchastings.edu Language: English - Date: 2014-07-31 04:15:45 Federated identity Identity Internet standards Shibboleth Security Assertion Markup Language Identity management system Single sign-on PERMIS Password Security Identity management Computer security
770	5 NHIN Patient Discovery Web Service Interface Specification V2.0 Nationwide Health Information Network (NHIN) Add to Reading List Source URL: healthewayinc.org Language: English - Date: 2012-10-31 18:19:36 Medicine Evaluation Healthcare in the United States Standards Nationwide Health Information Network SAML 2.0 Security Assertion Markup Language Health Level 7 Enterprise Master Patient Index Health informatics Health Medical informatics

UPDATE