Assertion - PDFSEARCH.IO - Document Search Engine

Assertion
Results: 1026

#	Item
41	Coordinated Concurrent Programming in Syndicate Tony Garnock-Jones and Matthias Felleisen Northeastern University, Boston, Massachusetts, USA Abstract. Most programs interact with the world: via graphical user interfaces Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2016-08-18 19:18:36 Computer programming Software engineering Computing Actor model Concurrent computing Assertion
42	CTSRD Robert N. M. Watson Peter G. Neumann DARPA CRASH PI Meeting Arlington,VA, USA 8 November 2011 Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2011-12-15 18:21:30 Software Computing Computer architecture Computing platforms Operating system kernels Clang Kernel Assertion Unikernel Linux kernel FreeBSD LLVM
43	ERRATA FOR “CANONICAL SUBGROUPS VIA BREUIL-KISIN MODULES” SHIN HATTORI The proof of [1, Propositionis incorrect. In page 950 line 1–2, the author claims that the assertion (2) of the proposition is deduce Add to Reading List Source URL: www2.math.kyushu-u.ac.jp Language: English - Date: 2015-05-02 05:24:57 Algebra Abstract algebra Mathematics Finite groups Group theory Frobenius group Index of a subgroup Homological algebra Algebraic number theory Representation theory of finite groups Isomorphism theorem
44	An Incremental Learner for Language-Based Anomaly Detection in XML Harald Lampesberger Department of Secure Information Systems University of Applied Sciences Upper Austria Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-05 23:39:24 Computing Identity management Computer access control Security Assertion Markup Language SOAP WS-Security XML schema
45	Issue LIX • FebruaryFundamentals of SOA Security Testing by Mamoon Yunus, CEO of Crosscheck Networks Abstract: This article describes the foundations of SOA security testing including functional, performance, in Add to Reading List Source URL: www.servicetechmag.com Language: English - Date: 2012-02-20 16:15:24 Computing Web services Enterprise application integration Software Architectural pattern Service-oriented architecture WS-Security SOA Security Security Assertion Markup Language Software testing XML appliance Rational Service Tester for SOA Quality
46	WS‑I PROFILES IN PROGRESS The Web Services Interoperability Organization (WS-I) Working Groups are developing four new WS-I profiles: the Basic Profile 1.2 and the Basic Profile 2.0 to address asynchronous messaging, Add to Reading List Source URL: www.ws-i.org Language: English - Date: 2015-07-26 14:16:10 Computing Interoperability Web services Java enterprise platform WS-I Basic Profile Identity management WS-Security Web Services Interoperability WS-ReliableMessaging WS-SecureConversation SOAP Security Assertion Markup Language
47	WIEFERICH PAST AND FUTURE NICHOLAS M. KATZ 1. The early history Fermat’s Last Theorem (FLT) is the assertion that for n ≥ 3, the equation X n + Y n = Z n has no solutions in integers X, Y, Z with XY Z 6= 0. It was pr Add to Reading List Source URL: web.math.princeton.edu Language: English - Date: 2013-10-15 16:12:04 Mathematics Algebra Abstract algebra Group theory Wieferich prime Elliptic curve Quotient group Prime number XTR Index of a subgroup Cyclic group Wieferich pair
48	Advances in Programming Languages APL4: JML — The Java Modeling Language David Aspinall (slides originally by Ian Stark) School of Informatics Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-01-20 18:21:25 Computing Software engineering Theoretical computer science Formal methods Logic in computer science Java Modeling Language Java platform Static program analysis ESC/Java Hoare logic Assertion Modeling language
49	Cross-border eServices for the Future STORK 2.0 Pilots and Live Demos Herbert LEITOLD, A-SIT eFörvaltningsdagarna October 9th, 2014, Stockholm Add to Reading List Source URL: www.a-sit.at Language: English - Date: 2014-11-10 07:43:59 Computing Computer access control Identity management Identity management systems Computer security Utility software Metadata standards Signature Security Assertion Markup Language SAML 2.0 EIDAS PlayStation Portable
50	Shallow embedding of a logic in Coq Jérôme Vouillon Universite Paris Diderot - Paris 7, CNRS Motivation Hoare-style assertions Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2008-10-28 10:05:14 Logic Logic in computer science Theoretical computer science Mathematical logic Separation logic Assertion Rule of inference