2407 search results - page 402 / 482 » A Tool for Abstraction in Model Checking |
IS4TH
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. The context of this research is the development of a pedagogical surgery simulator for colon cancer removal. More precisely, we would like to simulate the gesture which c...
EUROCRYPT
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. We present a formalism for the analysis of key-exchange protocols that combines previous definitional approaches and results in a definition of security that enjoys som...
EUROPAR
2001
Springer
15 years 2 months ago
2001
Springer
A new methodology is presented in this paper for resource management in a metacomputing environment using a hierarchy of homogeneous agents that has the capability of service disco...
107
click to vote
RE
2001
Springer
15 years 2 months ago
2001
Springer
pture, at different levels of abstraction, the various objectives the system under consideration should achieve. Goal-oriented requirements engineering is concerned with the use o...
74
Voted
IPPS
1997
IEEE
15 years 2 months ago
1997
IEEE
The large design space of modern computer architectures calls for performance modelling tools to facilitate the evaluation of different alternatives. In this paper, we give an ove...