18493 search results - page 199 / 3699 » Timers for Distributed Systems |
138
click to vote
ICSEA
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we propose that formal modelling techniques are necessary in establishing the trustworthiness of e-voting systems and the software within. We illustrate how a distri...
133
Voted
CCECE
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an automated and distributed real-time video surveillance system which can be used for the detection of objects and events in a wide range of applications. Video feeds ...
96
Voted
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Operator mistakes have been identified as a significant source of unavailability in Internet services. In this paper, we propose a new language, A , for service engineers to writ...
126
click to vote
CIMCA
2005
IEEE
15 years 9 months ago
2005
IEEE
The trend in today’s modern communication satellites is driving into the direction of spot beam technologies. This allows the illumination of distinct areas of the earth surface...
139
Voted
ETFA
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper describes formal modeling and verification of automation systems from the system engineering point of view. Reuse of model components is the key issue in order to bring...