2520 search results - page 321 / 504 » Model-checking behavioral programs |
110
click to vote
AGENTS
1997
Springer
15 years 6 months ago
1997
Springer
Transportable agents are autonomous programs. They can move through a heterogeneous network of computers under their own control, migrating from host to host. They can sense the s...
129
click to vote
IFIP
1994
Springer
15 years 6 months ago
1994
Springer
The computer simulation control problem can be splitted in two parts, namely a local control problem and a global control problem. The local control de nes the \behavior" of ...
112
click to vote
POPL
1993
ACM
15 years 6 months ago
1993
ACM
A polymorphic function is parametric if its behavior does not depend on the type at which it is instantiated. Starting with Reynolds's work, the study of parametricity is typ...
129
click to vote
ICALP
1992
Springer
15 years 6 months ago
1992
Springer
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
113
click to vote
HOPL
2007
15 years 6 months ago
2007
This paper is a highly personal and subjective account of how the language of statecharts came into being. The main novelty of the language is in being a fully executable visual f...