8492 search results - page 290 / 1699 » Modelling and Design of Multi-Agent Systems |
120
click to vote
MLMI
2005
Springer
15 years 10 months ago
2005
Springer
We present a novel approach to developing interfaces for multi-application dialogue systems. The targeted interfaces allow transparent switching between a large number of applicati...
193
click to vote
AIMDM
1999
Springer
15 years 9 months ago
1999
Springer
Knowledge representation has always been a major problem in the design of medical decision support systems. In this paper we present a new methodology to represent and reason about...
181
click to vote
CAV
1997
Springer
15 years 9 months ago
1997
Springer
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
171
click to vote
FMCO
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
132
click to vote
EDO
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We demonstratehow the use of synchronizationprimitives and threading policies in distributed object middleware can lead to deadlocks. We identify that objectmiddleware on...