1027 search results - page 14 / 206 » Representing and Reasoning with Operational Semantics |
DFG
2004
Springer
14 years 24 days ago
2004
Springer
Programmable Logic Controllers (PLC) are widely used as device controllers for assembly lines, chemical processes, or power plants. Sequential Function Charts (SFC) form one of the...
ISPDC
2010
IEEE
13 years 5 months ago
2010
IEEE
—This paper presents an operational semantics of the repetitive model of computation, which is the basis for the repetitive structure modeling (RSM) package defined in the stand...
CA
2002
IEEE
14 years 11 days ago
2002
IEEE
The last few years have seen great maturation in understanding how to use computer graphics technology to portray 3D embodied characters or virtual humans. Unlike the off-line, an...
LICS
2006
IEEE
14 years 1 months ago
2006
IEEE
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
AIIA
2005
Springer
14 years 28 days ago
2005
Springer
We look at extensions of modal logic for representation and reasoning in the area of multi-agent systems. Building on dynamic logic and Henkin quantifiers, we study an unusual typ...