Assertion

Results: 1026



#Item
331Debugging / Software development / Extreme programming / Program analysis / Program slicing / Software maintenance / Unit testing / Fault coverage / Assertion / Software testing / Software engineering / Computer programming

Test Case Purification for Improving Fault Localization Jifeng Xuan, Martin Monperrus To cite this version: Jifeng Xuan, Martin Monperrus. Test Case Purification for Improving Fault Localization. FSE - 22nd ACM SIGSOFT I

Add to Reading List

Source URL: hal.inria.fr

Language: English - Date: 2015-01-20 21:53:37
332Security / Federated identity / Identity assurance / OpenID / Authentication / Security Assertion Markup Language / National Strategy for Trusted Identities in Cyberspace / Daon /  Inc. / Anakam / Identity management / Identity / Computer security

Cloud-Based Identity Services TrustX Technologies, Inc[removed]  Random  Hills  Rd.,  Suite  650   Fairfax,  VA    22030

Add to Reading List

Source URL: www.trustx.com

Language: English - Date: 2014-08-27 17:43:58
333Mind / Reasoning / Non-classical logic / Behavioural sciences / Non-monotonic logic / Belief revision / Assertion / Mental model / Psychology / Science / Ethology / Logic

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:46:56
334Access control / Identity management / Security token / E-Authentication / Single sign-on / Authentication / Security Assertion Markup Language / Email / Security / Computer security / Federated identity

Services Catalogue Department of Industry and Science Contents 1 Introduction

Add to Reading List

Source URL: vanguard.business.gov.au

Language: English - Date: 2015-01-22 19:37:12
335Identity management systems / Computer security / Cloud computing / Security Assertion Markup Language / SAML 2.0 / Cloud collaboration / Computing / System software / Identity management

Conceptboard On-Premises Overview Your users get a simple, intuitive web interface for collaboration. Your IT department gets data security and control. Conceptboard Collaboration Benefits

Add to Reading List

Source URL: conceptboard.com

Language: English - Date: 2015-04-15 16:40:26
336C programming language / C++ / Cross-platform software / Assertion / Debugging / Logic in computer science / C standard library / C / Header file / Software engineering / Computer programming / Computing

MLC++ Coding Standards Ronny Kohavi [removed]

Add to Reading List

Source URL: ai.stanford.edu

Language: English - Date: 2010-11-19 01:31:21
337SOAP / Security Assertion Markup Language / Web services / Online chat / Microsoft Open Specification Promise / Armorlogic / Computing / System software / WS-Security

Colorado Software Summit: October 26 – 31, 2003 © Copyright 2003, IBM Corporation Making Web Services Secure: An Introduction

Add to Reading List

Source URL: www.softwaresummit.com

Language: English - Date: 2008-01-03 03:48:10
338Thought / Reasoning / Boolean algebra / Logic / Cognitive psychology / Mental model / Logical disjunction / Assertion / Existential quantification / Science / Ethology / Mind

Mem Cogn DOI[removed]s13421[removed]The consistency of disjunctive assertions P. N. Johnson-Laird & Max Lotstein & Ruth M. J. Byrne

Add to Reading List

Source URL: mentalmodels.princeton.edu

Language: English - Date: 2012-09-30 19:08:15
339Domain name system / Key management / Computer security / DNS root zone / Hardware security module / Domain Name System Security Extensions / ICANN / Verisign / Key Ceremony / Cryptography / Security / Internet

The Internet Corporation for Assigned Names and Numbers SERVICE ORGANIZATION CONTROL 3 (SOC3) Report on Internet Corporation for Assigned Names and Numbers (“ICANN”)’s Assertion of the Suitability of Design and Ope

Add to Reading List

Source URL: cert.webtrust.org

Language: English - Date: 2015-03-27 12:44:37
340Federated identity / Identity management / Computing / Security Assertion Markup Language / SAML 2.0 / SAML 1.1 / Shibboleth / Authentication / Identity provider / Computer security / System software / Identity management systems

UK Access Management Federation for Education and Research Technical Recommendations for Participants Ian A. Young

Add to Reading List

Source URL: www.ukfederation.org.uk

Language: English - Date: 2014-10-13 08:06:49
UPDATE