20126 search results - page 391 / 4026 » Timed Transition Systems |
169
Voted
EPIA
2001
Springer
15 years 11 months ago
2001
Springer
Dealing with temporality on actions presents an important challenge to AI planning. Unlike Graphplan-based planners which alternate levels of propositions and actions in a regular ...
150
click to vote
PAPM
2001
Springer
15 years 11 months ago
2001
Springer
This paper presents a modelling language, called MoDeST, for describing the behaviour of discrete event systems. The language combines conventional programming constructs – such ...
179
Voted
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
CSP is a fundamental concept for developing software for distributed real-time systems. The CSP paradigm constitutes a natural addition to Object Orientation and offers higherorde...
193
Voted
ICECCS
1998
IEEE
15 years 11 months ago
1998
IEEE
The main focus of this paper is the problem of ensuring timeliness in safety critical systems. First, we introduce a method and its associated technique to model both real-time ta...
214
click to vote
RTSS
1996
IEEE
15 years 11 months ago
1996
IEEE
In this paper we address the problem of middleware design for constructing ATM LAN based distributed industrial plant monitoring and control systems. In particular, we present a re...