4272 search results - page 643 / 855 » A Case for Automatic System Evaluation |
168
click to vote
SIGMOD
1997
ACM
15 years 10 months ago
1997
ACM
MDM is a tool that enables the users to de ne schemes of di erent data models and to perform translations of schemes from one model to another. These functionalities can be at the...
164
click to vote
GIR
2007
ACM
15 years 10 months ago
2007
ACM
DIGMAP is a project focused on historical digitized maps that will develop a set of Internet services based on reusable open-source software solutions. The main service will provi...
187
click to vote
FORMATS
2009
Springer
15 years 10 months ago
2009
Springer
Probabilistic timed automata (PTAs) are used for formal modelling and verification of systems with probabilistic, nondeterministic and real-time behaviour. For non-probabilistic ti...
185
click to vote
ASPDAC
2004
ACM
15 years 10 months ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
196
click to vote
CASSIS
2004
Springer
15 years 10 months ago
2004
Springer
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...