250 search results - page 14 / 50 » HOMES: highway operation monitoring and evaluation system |
117
click to vote
HASE
1997
IEEE
15 years 6 months ago
1997
IEEE
The Reusable Software Fault Tolerance Testbed ReSoFT was developed to facilitate the development and evaluation of high-assurance systems that require tolerance of both hardware...
139
click to vote
SACMAT
2010
ACM
15 years 6 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
114
click to vote
OSDI
2008
ACM
16 years 2 months ago
2008
ACM
This paper introduces a new consistency metric, Network Imprecision (NI), to address a central challenge in largescale monitoring systems: safeguarding correctness despite node an...
113
click to vote
EUROSYS
2006
ACM
15 years 11 months ago
2006
ACM
Distributed systems are hard to build, profile, debug, and test. Monitoring a distributed system – to detect and analyze bugs, test for regressions, identify fault-tolerance pr...
106
click to vote
CONEXT
2006
ACM
15 years 7 months ago
2006
ACM
Secure routing in wireless sensor networks (WSN) is a crucial problem that has drawn the attention of researchers. The motivation for tackling this problem comes directly from the...