7766 search results - page 172 / 1554 » Testing Nondeterminate Systems |
FASE
2007
Springer
14 years 3 months ago
2007
Springer
The synthesis of object behaviour from scenarios is a well-known and important issue in the transition from system analysis to system design. We describe a model transformation pro...
DBPL
1993
Springer
14 years 1 months ago
1993
Springer
This paper presents database applications of the recently proposed Transaction Logic—an extension of classical predicate logic that accounts in a clean and declarative fashion f...
SIGIR
2006
ACM
14 years 3 months ago
2006
ACM
Research and development of information access technology for scanned paper documents has been hampered by the lack of public test collections of realistic scope and complexity. A...
PKC
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We describe a new general method to perform part of the setup stage of the XTR system introduced at Crypto 2000, namely finding the trace of a generator of the XTR group...
TACAS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...