4693 search results - page 61 / 939 » Verifying Hybrid Systems |
151
click to vote
ACSAC
2009
IEEE
15 years 8 months ago
2009
IEEE
Emerging distributed computing architectures, such as grid and cloud computing, depend on the high integrity execution of each system in the computation. While integrity measuremen...
125
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
Computer systems with virtual memory are susceptible to design bugs and runtime faults in their address translation (AT) systems. Detecting bugs and faults requires a clear speciļ...
115
click to vote
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
āOne-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related veriļ¬cation problems ov...
157
click to vote
RSP
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper addresses the need for formal specification and runtime verification of system-level requirements of distributed reactive systems. It describes a formalism for specifyi...
141
click to vote
FMCAD
2007
Springer
15 years 10 months ago
2007
Springer
Time-triggered systems are distributed systems in which the nodes are independently-clocked but maintain synchrony with one another. Time-triggered protocols depend on the synchro...