272 search results - page 45 / 55 » On Efficient Models for Model Checking Message-Passing Distr... |
81
Voted
CAV
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. Any formalmethodor tool is almostcertainlymoreoftenapplied in situationswheretheoutcomeis failure(acounterexample)rather than success (a correctness proof). We present a ...
108
click to vote
ESAW
2008
Springer
15 years 1 months ago
2008
Springer
The current evolution of Information Technology leads to the increase of automatic data processing over multiple information systems. The data we deal with concerns sensitive infor...
84
Voted
CONCUR
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. We present an in-depth discussion of the relationships between synchrony and asynchrony. Simple models of both paradigms are presented, and we state theorems which guaran...
119
Voted
EURONGI
2008
Springer
15 years 1 months ago
2008
Springer
The guaranteed delivery of critical data is an essential requirement in most Wireless Sensor Network (WSN) applications. The paucity of energy, communication, processing and storag...
CPAIOR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Replication is a fundamental technique for increasing throughput and achieving fault tolerance in distributed data services. However, its implementation may induce signif...