2468 search results - page 157 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
125
click to vote
ICFEM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
137
click to vote
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
103
click to vote
COOPIS
2003
IEEE
15 years 9 months ago
2003
IEEE
Arranging the distribution of data, objects or components is a critical task that can ultimately affect the performance, integrity and reliability of distributed system. This pape...
116
click to vote
E4MAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Decentralised, event-driven distributed simulation is particularly suitable for modelling systems with inherent asynchronous parallelism, such as agentbased systems. Howe...
131
click to vote
SEC
2008
15 years 5 months ago
2008
Many applications inherently disclose information because perfect privacy protection is prohibitively expensive. RFID tags, for example, cannot be equipped with the cryptographic p...