2838 search results - page 344 / 568 » Verifying Controlled Components |
178
click to vote
CAV
2000
Springer
15 years 11 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...
283
click to vote
ARTS
1999
Springer
15 years 11 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...
193
click to vote
ESOP
1999
Springer
15 years 11 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...
202
click to vote
TACAS
1998
Springer
15 years 10 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...
188
click to vote
ACMDIS
1997
ACM
15 years 10 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...