126 search results - page 1 / 26 » A History-based Verification of Distributed Applications |
ICASSP
2011
IEEE
13 years 2 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...
CADE
2007
Springer
14 years 11 months ago
2007
Springer
Safety and security guarantees for individual applications in general depend on assumptions on the given context provided by distributed instances of operating systems, hardware pl...
IPPS
1998
IEEE
14 years 3 months ago
1998
IEEE
DEBS
2007
ACM
14 years 2 months ago
2007
ACM
FUIN
2010
13 years 8 months ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...