2227 search results - page 132 / 446 » Reversibility and Models for Concurrency |
192
click to vote
TABLEAUX
2007
Springer
16 years 6 days ago
2007
Springer
Abstract. Model checking is a technique for verifying that a finite-state concurrent system is correct with respect to its specification. In bounded model checking (BMC), the sys...
153
Voted
ECBS
2009
IEEE
16 years 27 days ago
2009
IEEE
Model Driven Engineering has shown the feasibility to generate tools (editors, analyzers …) from models and for a domain. Unfortunately these generated tools are much focused wh...
161
click to vote
CRYPTO
2003
Springer
15 years 11 months ago
2003
Springer
We revisit the definitions of zero-knowledge in the Common Reference String (CRS) model and the Random Oracle (RO) model. We argue that even though these definitions syntacticall...
233
click to vote
ESEC
1999
Springer
15 years 10 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
157
click to vote
ACSD
2008
IEEE
15 years 8 months ago
2008
IEEE
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...