457 search results - page 5 / 92 » Distributed verification with LoLA |
118
click to vote
ENTCS
2006
14 years 11 months ago
2006
Components allow to design applications in a modular way by enforcing a strong separation of concerns. In distributed systems this separation of concerns have to be composed with ...
97
Voted
FMOODS
2003
15 years 1 months ago
2003
Performance analysis of computing systems, in particular distributed computing systems, is a complex process. Analysing the complex flows and interactions between a set of distribu...
112
Voted
CAV
2001
Springer
15 years 3 months ago
2001
Springer
We consider the randomized consensus protocol of Aspnes and Herlihy for achieving agreement among N asynchronous processes that communicate via read/write shared registers. The alg...
120
click to vote
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
This paper discusses ECG biometric recognition in a distributed system, such as smart cards. In a setting where every card is equipped with an ECG sensor to record heart beats fro...
FM
1999
Springer
15 years 3 months ago
1999
Springer