45 search results - page 7 / 9 » Specifying Graceful Degradation in Distributed Systems |
147
click to vote
RTAS
2009
IEEE
15 years 7 months ago
2009
IEEE
In recent years, there has been an increase in video surveillance systems in public and private environments due to a heightened sense of security. The next generation of surveill...
78
Voted
PERCOM
2008
ACM
16 years 10 days ago
2008
ACM
We describe an approach to automate certain highlevel implementation decisions in a pervasive application, allowing them to be postponed until run time. Our system enables a model...
105
click to vote
EMSOFT
2007
Springer
15 years 7 months ago
2007
Springer
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. However, economic pressure to reduce costs is exposi...
130
Voted
ICSE
2007
IEEE-ACM
16 years 25 days ago
2007
IEEE-ACM
Abstract. Control systems for electrical microgrids rely ever more on heterogeneous off-the-shelf technology for hardware, software and networking among the intelligent electronic ...
74
Voted
PODC
2010
ACM
15 years 4 months ago
2010
ACM
Linearizability is the strongest known consistency property of shared objects. In asynchronous message passing systems, Linearizability can be achieved with 3S and a majority of c...