2838 search results - page 344 / 568 » Verifying Controlled Components |
101
Voted
CAV
2000
Springer
15 years 5 months ago
2000
Springer
We introduce discrete pushdown timed automata that are timed automata with integer-valued clocks augmented with a pushdown stack. A con guration of a discrete pushdown timed automa...
180
Voted
ARTS
1999
Springer
15 years 5 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
122
click to vote
ESOP
1999
Springer
15 years 5 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...
120
Voted
TACAS
1998
Springer
15 years 5 months ago
1998
Springer
This paper enables symbolic ternary simulation of systems with large embedded memories. Each memory array is replaced with a behavioral model, where the number of symbolic variable...
119
click to vote
ACMDIS
1997
ACM
15 years 5 months ago
1997
ACM
Human-computer interaction is multidisciplinary, drawing paradigms and techniques from both the natural sciences and the design disciplines. HCI cannot be considered a pure natura...