Sciweavers

3908 search results - page 247 / 782
» A model for service-oriented communication systems
Sort
View
FAC
2008
117views more  FAC 2008»
15 years 6 months ago
Model checking Duration Calculus: a practical approach
Abstract. Model checking of real-time systems against Duration Calculus (DC) specifications requires the translation of DC formulae into automata-based semantics. The existing algo...
Roland Meyer, Johannes Faber, Jochen Hoenicke, And...
IBERAMIA
2004
Springer
16 years 2 days ago
Multi-session Management in Spoken Dialogue System
In order to increase the role of machines in supporting more capabilities as regards a spoken dialogue system, we present in this paper a new problem incorporating multi-session in...
Ngoc-Hoa Nguyen, Jean Caelen
IJCAI
1997
15 years 8 months ago
Distributed Vision System: A Perceptual Information Infrastructure for Robot Navigation
This paper proposes a Distributed Vision System as a Perceptual Information Infrastructure for robot navigation in a dynamically changing world. The distributed vision system, con...
Hiroshi Ishiguro
JBCS
2002
102views more  JBCS 2002»
15 years 6 months ago
Configurable Data Integration Middleware System
This paper presents a new approach for generating configured and flexible middleware systems for integration of heterogeneous and distributed data. The configuration is based on t...
Álvaro Cesar P. Barbosa, Fabio Porto, Ruben...
ESAW
2004
Springer
16 years 2 days ago
Modelling Flexible Social Commitments and Their Enforcement
Abstract. For over a decade, agent research has shown that social commitments support the definition of open multiagent systems by capturing the responsibilities that agents contr...
Philippe Pasquier, Roberto A. Flores, Brahim Chaib...