125 search results - page 18 / 25 » A Temporal Logic-Based Planning and Execution Monitoring Sys... |
106
click to vote
EAAI
2008
15 years 1 months ago
2008
We describe the Flight Manager Assistant (FMA), a prototype system, designed to support real-time management of airlift operations at the USAF Air Mobility Command (AMC). In curre...
108
click to vote
LISA
2007
15 years 4 months ago
2007
Network patterns are based on generic algorithms that execute on tree-based overlays. A set of such patterns has been developed at KTH to support distributed monitoring in network...
122
Voted
RSP
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper addresses the need for systematic verification of timing properties of real-time prototypes, which consist of timing constraints that must be satisfied at any given tim...
146
click to vote
ATAL
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. This paper will discuss the internal architecture for an agent framework called DECAF (Distributed Environment Centered Agent Framework). DECAF is a software toolkit for ...
138
Voted
OPODIS
2003
15 years 3 months ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...