217 search results - page 18 / 44 » Abstract Processes of Place Transition Systems |
RTAS
1998
IEEE
14 years 28 days ago
1998
IEEE
This paper introduces FARA, a framework that provides abstractions and mechanisms for building integrated adaptation and resource allocation services in complex real-time systems....
CONCUR
2005
Springer
14 years 2 months ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...
IVA
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Several challenges remain in the effort to build software capable of conducting realtime dialogue with people. Part of the problem has been a lack of realtime flexibili...
FUIN
2008
13 years 8 months ago
2008
Abstract. Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails...
ECAI
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Previously it has been shown that the process of programming a cardiac pacemaker can be described in terms of the theory of diagnosis. A set-theoretical framework of diag...