221 search results - page 11 / 45 » Control Dependence for Extended Finite State Machines |
FAC
2008
2008
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
13 years 7 months ago
A stream X-machine is a type of extended finite state machine with an associated development approach that consists of building a system from a set of trusted components. One of th...
VALUETOOLS
2006
ACM
14 years 1 months ago
2006
ACM
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
CONNECTION
2004
13 years 7 months ago
2004
In autonomous agent systems, internal memory can be an important element to overcome the limitations of purely reactive agent behaviour. This paper presents an analysis of memory r...
ECAI
2010
Springer
13 years 5 months ago
2010
Springer
The language of linear temporal logic (LTL) has been proposed as a formalism for specifying temporally extended goals and search control constraints in planning. However, the seman...
SIPS
2008
IEEE
14 years 1 months ago
2008
IEEE
The upcoming Reconfigurable Video Coding (RVC) standard from MPEG (ISO/IEC SC29WG11) defines a library of coding tools to specify existing or new compressed video formats and deco...