7766 search results - page 189 / 1554 » Testing Nondeterminate Systems |
231
Voted
CADE
2011
Springer
14 years 2 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 ...
106
Voted
ISSTA
2006
ACM
15 years 8 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...
133
Voted
GECCO
2006
Springer
15 years 6 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...
139
Voted
ICSE
2009
IEEE-ACM
15 years 9 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...
106
Voted
SIGIR
2006
ACM
15 years 8 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...