12745 search results - page 49 / 2549 » Automating test automation |
LPAR
2005
Springer
15 years 5 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 ...
109
click to vote
ESOP
2009
Springer
15 years 3 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
15 years 1 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
15 years 5 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
16 years 6 days 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...