Assertion - PDFSEARCH.IO - Document Search Engine

Assertion
Results: 1026

#	Item
301	Static Error Detection using Semantic Inconsistency Inference ∗ Isil Dillig Thomas Dillig Alex Aiken Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2013-12-18 13:24:00 Data types Null Pointer Assertion Constructor Type system C Software bug Statistical hypothesis testing Software engineering Computer programming Computing
302	8051 CrossView Pro Debugger User's Manual Add to Reading List Source URL: www.tasking.com Language: English - Date: 2010-03-26 05:31:24 Debugging Breakpoint Macro Assertion Computer programming Software engineering Computing
303	This article was downloaded by: [Princeton University] On: 21 March 2013, At: 07:43 Publisher: Routledge Informa Ltd Registered in England and Wales Registered Number: [removed]Registered office: Mortimer House, 37-41 Mor Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2013-03-21 10:47:10 Mind Reasoning Non-classical logic Behavioural sciences Non-monotonic logic Belief revision Assertion Mental model Psychology Science Ethology Logic
304	International Journal of Computer Information Systems and Industrial Management Applications. ISSN[removed]Volume[removed]pp. 560–570 c MIR Labs, www.mirlabs.net/ijcisim/index.html Access Control Policies for Add to Reading List Source URL: web.ist.utl.pt Language: English - Date: 2014-07-09 11:23:58 Identity management Access control Standards organizations Web services Radio-frequency identification XACML Security Assertion Markup Language Authorization PERMIS Computing Information Data
305	Identity Federation and Attribute-based Authorization through the Globus Toolkit, Shibboleth, GridShib, and MyProxy Tom Barton1, Jim Basney2, Tim Freeman1, Tom Scavo2, Frank Siebenlist1,3, Von Welch2, Rachana Ananthakris Add to Reading List Source URL: toolkit.globus.org Language: English - Date: 2006-10-09 18:54:35 Identity management Internet standards Federated identity Internet protocols Shibboleth Security Assertion Markup Language PERMIS SAML 2.0 SAML 1.1 Computer security System software Computing
306	Zoom Security White Paper May 2013 Zoom offers the first Unified Meeting Experience (UMX), a cloud service that provides a 3-in-1 meeting platform with HD video conferencing, mobility and web meetings. UMX also offers th Add to Reading List Source URL: d24cgw3uvb9a9h.cloudfront.net Language: English - Date: 2015-04-01 03:55:38 Secure communication Internet Data Internet protocols Internet standards Transport Layer Security Security Assertion Markup Language Password SAML 2.0 Computing Teleconferencing Cryptographic protocols
307	Performance Assessment of XACML Authorizations for Supply Chain Traceability Web Services Miguel L. Pardal† , Mark Harrison‡ , Sanjay Sarma§ , Jos´e Alves Marques† † Department of Computer Science and Engineer Add to Reading List Source URL: web.ist.utl.pt Language: English - Date: 2014-07-09 11:23:58 Standards organizations Radio-frequency identification Identifiers Identity management Identity management systems XACML OASIS Security Assertion Markup Language HERAS-AF Computing Computer security Technology
308	X.509 Authentication and Authorization in FermiCloud Hyunwoo KIM, Steven C TIMM, Fermilab Scientific Computing Division UCC(Utility/Cloud Computing), Cloud Federation Management London, 08 December 2014 Add to Reading List Source URL: www.cloudfederationmanagement.org Language: English - Date: 2014-12-11 02:46:56 Grid computing Voms Cloud infrastructure Federated identity OpenNebula Shibboleth Security Assertion Markup Language Software Computing Free software
309	Microsoft Word[removed]jahn.doc Add to Reading List Source URL: mentalmodels.princeton.edu Language: English - Date: 2012-06-14 22:38:44 Thought Reasoning Cognitive psychology Information science Cognitive science Mental model Reason Assertion Memory Mind Ethology Science
310	Using Time in Loom Thomas A. Russ  U S C Add to Reading List Source URL: www.isi.edu Language: English - Date: 2009-06-12 15:13:08 FO Mathematics Computing Logic Logic in computer science Assertion Debugging

UPDATE