2468 search results - page 340 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
144
click to vote
LCPC
2007
Springer
15 years 10 months ago
2007
Springer
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...
127
click to vote
ACISP
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Most current object-based distributed systems support access control lists for access control. However, it is difficult to determine which principal information to use fo...
138
click to vote
PDPTA
2004
15 years 5 months ago
2004
Abstract-- Service descriptions based on type hiernd abstract service states ruling the availability of operations permit more secure service combinations in distributed systems de...
207
click to vote
HOLOMAS
2007
Springer
15 years 10 months ago
2007
Springer
While the need to build the Intrusion Detection Systems (IDS) based on on a distributed and cooperative (P2P) paradigm is being generally acknowledged, the field has been disconne...
151
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...