65 search results - page 10 / 13 » Provably Correct Runtime Monitoring |
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
ICSE
2010
IEEE-ACM
13 years 11 months ago
2010
IEEE-ACM
Generating correct specifications for real-time event-driven software systems is difficult and time-consuming. Even when such specifications have been created, they are often us...
SAC
2008
ACM
13 years 7 months ago
2008
ACM
Adaptation of system parameters is acknowledged as a requirement to scalable and dependable distributed systems. Unfortunately, adaptation cannot be effective when provided solely...
ICTCS
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
ICDCSW
2009
IEEE
14 years 2 months ago
2009
IEEE
Embedded wireless networks have largely focused on openloop sensing and monitoring. To address actuation in closedloop wireless control systems there is a strong need to re-think ...