907 search results - page 78 / 182 » Monitoring of Real-Time Properties |
ICSE
2004
IEEE-ACM
14 years 8 months ago
2004
IEEE-ACM
We describe an efficient decentralized monitoring algorithm that monitors a distributed program's execution to check for violations of safety properties. The monitoring is ba...
IMC
2007
ACM
13 years 9 months ago
2007
ACM
Several route monitoring systems have been set up to help understand the Internet routing system. They operate by gathering realtime BGP updates from different networks. Many stud...
PAM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Monitoring end-to-end paths in an overlay network is essential for evaluating end-system performance and for troubleshooting anomalous behavior. However, conducting measu...
IJCIS
2006
13 years 8 months ago
2006
Abstract. This paper presents a framework for monitoring the compliance of systems composed of webservices with requirements set for them at run-time. This framework assumes system...
SIGOPSE
2004
ACM
14 years 1 months ago
2004
ACM
Secure systems are best built on top of a small trusted operating system: The smaller the operating system, the easier it can be assured or verified for correctness. In this pape...