18924 search results - page 261 / 3785 » Conformance of Distributed Systems |
166
click to vote
CCECE
2006
IEEE
16 years 19 days 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 ...
129
click to vote
ASPLOS
2006
ACM
16 years 16 days 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...
160
click to vote
CIMCA
2005
IEEE
16 years 5 days 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...
165
click to vote
ETFA
2005
IEEE
16 years 5 days 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...
181
click to vote
ISQED
2005
IEEE
16 years 4 days ago
2005
IEEE
— Multiple power supply voltages are often used in modern high performance ICs such as microprocessors to decrease power consumption without affecting circuit speed. The system o...