Sciweavers

31 search results - page 2 / 7
» sss 2009
Sort
View
SSS
2009
Springer
14 years 1 months ago
Model Checking Coalition Nash Equilibria in MAD Distributed Systems
Federico Mari, Igor Melatti, Ivano Salvo, Enrico T...
SSS
2009
Springer
14 years 1 months ago
Speculation for Parallelizing Runtime Checks
Martin Süßkraut, Stefan Weigert, Ute Sc...
SSS
2009
Springer
118views Control Systems» more  SSS 2009»
13 years 12 months ago
Brief Announcement: A Simple and Quiescent Omega Algorithm in the Crash-Recovery Model
We present a simple algorithm that implements the Omega failure detector in the crash-recovery model. The algorithm is quiescent, i.e., eventually all the processes but the leader ...
Cristian Martín, Mikel Larrea
SSS
2009
Springer
14 years 1 months ago
A Wireless Security Framework without Shared Secrets
This paper develops a framework for wireless security that provides confidentiality, identity authentication, message authentication, integrity, sender non-repudiation, receiver n...
Lifeng Sang, Anish Arora