12745 search results - page 49 / 2549 » Automating test automation |
LPAR
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
ESOP
2009
Springer
14 years 1 months ago
2009
Springer
Gordon and Jeffrey have proposed a type and effect system for checking authenticity in cryptographic protocols. The type system reduces the protocol verification problem to the typ...
WSC
2000
13 years 11 months ago
2000
This paper presents a logistic algorithm that improves traffic conditions in a network-like automated material handling system (AMHS). The algorithm uses a lookahead procedure and...
MSE
2005
IEEE
14 years 3 months ago
2005
IEEE
Tools have been developed that enable in-circuit testing of content processing hardware. The tools automate test and verification of new circuits using data from a predefined te...
CHI
2004
ACM
14 years 10 months ago
2004
ACM
The Laboratory for Automation Psychology and Decision Processes (LAPDP) focuses on the cognitive/psychological aspects of human/computer interaction and does both basic and applie...