179 search results - page 10 / 36 » Implementing BDI-like Systems by Direct Execution |
144
click to vote
FATES
2004
Springer
15 years 11 months ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
170
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Using a directed acyclic graph (dag) model of algorithms, we solve a problem related to precedenceconstrained multiprocessor schedules for array computations: Given a sequence of ...
168
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
According to the taxonomy for agent activity, proposed by V. Parunak, a collaboration is an interaction between agents of a multi-agent system (MAS) whereby the agents explicitly ...
164
click to vote
CGO
2007
IEEE
16 years 6 days ago
2007
IEEE
Dynamic instrumentation systems have proven to be extremely valuable for program introspection, architectural simulation, and bug detection. Yet a major drawback of modern instrum...
163
click to vote
AAMAS
2004
Springer
15 years 5 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...