2468 search results - page 229 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
139
click to vote
ICALP
2010
Springer
15 years 6 months ago
2010
Springer
Gossip protocols, also known as epidemic dissemination schemes, are becoming increasingly popular in distributed systems. Yet, it has remained a partially open question to determin...
132
click to vote
JAIR
2007
15 years 4 months ago
2007
Many combinatorial optimization problems such as the bin packing and multiple knapsack problems involve assigning a set of discrete objects to multiple containers. These problems ...
149
click to vote
IAJIT
2010
15 years 2 months ago
2010
: Privacy is one of the most important properties of an information system must satisfy, in which systems the need to share information among different, not trusted entities, the p...
162
click to vote
WSC
1997
15 years 5 months ago
1997
Distributed discrete event simulation techniques aim at an acceleration of the execution of a self-contained simulation model by the spatial decomposition of that model and the co...
172
click to vote
CL
2007
Springer
15 years 4 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...