2136 search results - page 416 / 428 » A Game-Theoretic Operational Semantics |
119
Voted
BIRTHDAY
2006
Springer
15 years 5 months ago
2006
Springer
Robots are autonomous agents whose actions are performed in the real world during a period of time. There are a number of general constraints on such actions, for example that the ...
120
click to vote
EDBTW
2006
Springer
15 years 5 months ago
2006
Springer
Geospatial image data obtained by satellites and aircraft are increasingly important to a wide range of applications, such as disaster management, climatology, and environmental m...
127
Voted
ICCD
2000
IEEE
15 years 5 months ago
2000
IEEE
A major obstacle to widespread acceptance of formal verification is the difficulty in using the tools effectively. Although learning the basic syntax and operation of a formal ver...
114
click to vote
IFIPTCS
2000
15 years 5 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
182
click to vote
POPL
1995
ACM
15 years 5 months ago
1995
ACM
We show how a set of building blocks can be used to construct programming language interpreters, and present implementations of such building blocks capable of supporting many com...