338 search results - page 1 / 68 » The design and implementation of formal monitoring technique... |
OOPSLA
2007
Springer
13 years 10 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...
DAC
2003
ACM
14 years 5 months ago
2003
ACM
We describe a technique for verifying that a hardware design correctly implements a protocol-level formal specification. Simulation steps are translated to protocol state transiti...
ESSOS
2010
Springer
14 years 1 months ago
2010
Springer
In the challenge of ensuring the correct behaviour of legacy implementations of security protocols, a formally-based approach is presented to design and implement monitors that sto...
WICSA
2008
13 years 6 months ago
2008
This paper introduces an architectural style for enabling end-users to quickly design and deploy software systems in domains characterized by highly personalized and dynamic requi...
VLDB
2007
ACM
13 years 10 months ago
2007
ACM
Many enterprises nowadays use business processes, based on the BPEL standard, to achieve their goals. These are complex, often distributed, processes. Monitoring the execution of ...