Sciweavers

31 search results - page 2 / 7
» sss 2009
Sort
View
SSS
2009
Springer
13 years 11 months ago
Model Checking Coalition Nash Equilibria in MAD Distributed Systems
Federico Mari, Igor Melatti, Ivano Salvo, Enrico T...
SSS
2009
Springer
13 years 11 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 9 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
13 years 11 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