A cornerstone of trustworthy web communities By offering a coherent infrastructure that secures your web applications, Evidian Web Access Manager makes your organization’s security policy more consistent, reduces mana

Source URL: www.evidian.com

• Security
• Single sign-on
• Security Assertion Markup Language
• RADIUS
• Password
• Web Access Management
• Identity management system
• Computer security
• Identity management
• Computing

Illusions of consistency in quantified assertions 1 Niklas Kunze1 ([removed]) Sangeet Khemlani2 ([removed])

Source URL: mentalmodels.princeton.edu

• Binary operations
• Propositional calculus
• Thought
• Mental model
• Assertion
• Logical disjunction
• Quantification
• Illusion
• If and only if
• Logic
• Science
• Mathematics

SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions Anil Madhavapeddy1 , David Scott2 , and Richard Sharp3 1 Computer Laboratory, University of Cambridge

Source URL: anil.recoil.org

• SPIN model checker
• OCaml
• Model checking
• Application programming interfaces
• Secure Shell
• Promela
• Assertion
• Type system
• C
• Computing
• Software
• Model checkers

Propaganda Techniques Assertion: Assertion is commonly used in advertising and modern propaganda. An assertion is an enthusiastic or energetic statement presented as a fact, although it is not necessarily true. Propaga

Source URL: msvadacchino.files.wordpress.com

• Propaganda techniques
• Mind control
• Social psychology
• Posters
• Propaganda
• Glittering generality
• Card stacking
• Transfer
• Name calling
• Critical thinking
• Public opinion
• Crowd psychology

Declarative program development in Prolog with GUPU Ulrich Neumerkel and Stefan Kral Institut f¨ ur Computersprachen Technische Universit¨

Source URL: www.complang.tuwien.ac.at

• Prolog
• Functional languages
• Procedural programming languages
• Higher-order functions
• Recursion
• Assertion
• Logic programming
• XS
• ML
• Software engineering
• Computer programming
• Computing

Mental models and consistency P.N. Johnson-Laird In Bertram Gawronski and Fritz Strack (Eds.): Cognitive Consistency: A Unifying Concept in Social Psychology, New York: Guilford Press,

Source URL: mentalmodels.princeton.edu

• Philosophical logic
• Propositional calculus
• Philosophy of science
• Mathematical logic
• Marxist theory
• Mental model
• Assertion
• Contradiction
• Axiom
• Logic
• Science
• Ethology

Migrating from Shibboleth 1 to Shibboleth 2 IdP Andy Swiffin, University of Dundee – [removed]Rev 1.2 Note: These case studies, prepared by member organisations of the UK federation, are provided for information purpos

Source URL: ukfederation.org.uk

• Software
• Shibboleth
• Identity management systems
• Identity management
• Security Assertion Markup Language
• Java enterprise platform
• Apache Tomcat
• Internally displaced person
• SAML 2.0
• Federated identity
• Computing
• System software

The Effect of Patent Litigation and Patent Assertion Entities on Sales and Entrepreneurial Activity

Source URL: www.techpolicyinstitute.org

Modern C++ Programming with Test-Driven Development

Source URL: media.pragprog.com

• Extreme programming
• Test-driven development
• Assertion
• Test automation
• Unit testing
• TDD
• C
• Behavior Driven Development
• NUnit
• Software development
• Software testing
• Software

A1_13421_Cover page 1.indd

Source URL: mentalmodels.princeton.edu

• Assertion
• Debugging
• Logic in computer science
• Information science
• Axiom
• Truth
• Mental model
• Philosophy
• Logic
• Ethology