3653 search results - page 50 / 731 » On Recognizable Timed Languages |
192
click to vote
ISORC
1998
IEEE
15 years 9 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
131
click to vote
RTAS
1997
IEEE
15 years 8 months ago
1997
IEEE
A real-time system operates under timing constraints which it may be unable to meet under some circumstances. The criticality of a timing constraint determines how a system is to ...
218
click to vote
GI
2009
Springer
15 years 9 months ago
2009
Springer
: Managing general game playing is the problem addressed in this paper. It is considered to be done on a game description written in a declarative language. The language, which is ...
146
Voted
ACSD
2006
IEEE
15 years 11 months ago
2006
IEEE
Timed Automata (TA) and Time Petri Nets (TPN) are two well-established formal models for real-time systems. Recently, a linear transformation of TA to TPNs preserving reachability...
148
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...