7766 search results - page 117 / 1554 » Testing Nondeterminate Systems |
PTS
2004
13 years 10 months ago
2004
A methodology that combines verification and conformance testing for validating safety requirements of reactive systems is presented. The requirements are first automatically verif...
INFSOF
2002
13 years 8 months ago
2002
Petri nets have been extensively used in the modelling and analysis of concurrent and distributed systems. The veri
CORR
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. One of the fastest evolving field among teaching and learning research is students' performance evaluation. Computer based testing systems are increasingly adopted b...
ISORC
2006
IEEE
14 years 3 months ago
2006
IEEE
To communicate between heterogeneous computer systems, mechanisms for data conversion are necessary. In this paper we present a portable, asymmetric data conversion method that is...
ECAL
2001
Springer
14 years 1 months ago
2001
Springer
Bedau and Packard’s evolutionary activity statistics [1, 2] are used to classify the evolutionary dynamics in Geb [3, 4], a system designed to verify and extend theories behind t...