3825 search results - page 405 / 765 » The Language of Time: A Reader |
200
click to vote
HYBRID
2003
Springer
16 years 22 hour ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
174
click to vote
ICALP
2003
Springer
16 years 21 hour ago
2003
Springer
Abstract. Hierarchical and recursive state machines are suitable abstract models for many software systems. In this paper we extend a model recently introduced in literature, by al...
178
Voted
IV
2002
IEEE
15 years 11 months ago
2002
IEEE
We propose ‘Trace View’, a static visualization method for monitoringand debugging the dynamic behavior of programs written in data flow visual programming languages. Trace V...
256
click to vote
SPIN
2001
Springer
15 years 11 months ago
2001
Springer
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...
177
click to vote
TIME
1998
IEEE
15 years 11 months ago
1998
IEEE
In this paper, we propose a logic of action and causality. The most important part of our contribution is a semantics that integrates action, temporal structure, and probability. ...