7766 search results - page 189 / 1554 » Testing Nondeterminate Systems |
CADE
2011
Springer
12 years 9 months ago
2011
Springer
Abstract. Security protocols aim at securing communications over public networks. Their design is notoriously difficult and error-prone. Formal methods have shown their usefulness ...
ISSTA
2006
ACM
14 years 3 months ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
GECCO
2006
Springer
14 years 1 months ago
2006
Springer
Embedded systems are often used in a safety-critical context, e.g. in airborne or vehicle systems. Typically, timing constraints must be satisfied so that real-time embedded syste...
ICSE
2009
IEEE-ACM
14 years 4 months ago
2009
IEEE-ACM
In every application domain, achieving interoperability among heterogenous information systems is a crucial challenge and alliances are formed to standardize data-exchange formats...
SIGIR
2006
ACM
14 years 3 months ago
2006
ACM
Accurate estimation of information retrieval evaluation metrics such as average precision require large sets of relevance judgments. Building sets large enough for evaluation of r...