Sciweavers

18493 search results - page 165 / 3699
» Timers for Distributed Systems
Sort
View
122
Voted
SAFECOMP
1999
Springer
15 years 8 months ago
Formal Design of Distributed Control Systems with Lustre
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
Paul Caspi, Christine Mazuet, Rym Salem, Daniel We...
132
Voted
ICMCS
1997
IEEE
99views Multimedia» more  ICMCS 1997»
15 years 8 months ago
A Scalable and Distributed WWW Proxy System
With the wide-spread popularity of the World-Wide Web (WWW), network and server load increases dramatically. Caching proxies have been introduced to improve the system performance...
Ka Lun Eddie Law, Biswajit Nandy, A. S. J. Chapman
127
Voted
SP
1997
IEEE
130views Security Privacy» more  SP 1997»
15 years 8 months ago
Execution Monitoring of Security-Critical Programs in Distributed Systems: A Specification-Based Approach
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...
Calvin Ko, Manfred Ruschitzka, Karl N. Levitt
138
Voted
AINA
2007
IEEE
15 years 7 months ago
Considering Runtime Restrictions in Self-Healing Distributed Systems
Hardware failures in autonomous and distributed software systems create the need for self-healing activities. This work addresses the problem of redeploying software components af...
Christoph Danne, Viktor Dück, Benjamin Kl&oum...
117
Voted
DGO
2003
233views Education» more  DGO 2003»
15 years 5 months ago
SemView: A Semantic-sensitive Distributed Image Retrieval System
State-of-art image retrieval techniques have been developed to support high-level (semantics) querying and browsing of images. For certain user queries, it is also very important ...
Wei Wang, Yimin Wu, Aidong Zhang