Sciweavers

5906 search results - page 134 / 1182
» Message-Oriented-Middleware in a Distributed Environment
Sort
View
GI
2009
Springer
14 years 1 months ago
A Game-Theoretic Model for Distributed Programming by Contract
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
Anders Starcke Henriksen, Tom Hvitved, Andrzej Fil...
ACSD
2005
IEEE
126views Hardware» more  ACSD 2005»
14 years 2 months ago
Modelling and Analysis of Distributed Simulation Protocols with Distributed Graph Transformation
This paper presents our approach to model distributed discrete event simulation systems in the framework of distributed graph transformation. We use distributed typed attributed g...
Juan de Lara, Gabriele Taentzer
CRV
2005
IEEE
225views Robotics» more  CRV 2005»
14 years 2 months ago
Distributed Multi-Robot Exploration and Mapping
— Efficient exploration of unknown environments is a fundamental problem in mobile robotics. In this paper we present an approach to distributed multi-robot mapping and explorat...
Dieter Fox
WSC
2004
13 years 10 months ago
Resolving Mutually Exclusive Interactions in Agent Based Distributed Simulations
With the properties of autonomy, social ability, reactivity and pro-activeness, agents can be used to represent entities in distributed simulations, where fast and accurate decisi...
Lihua Wang, Stephen John Turner, Fang Wang
RIVF
2003
13 years 10 months ago
Query Brokers for Distributed and Flexible Query Evaluation
Abstract— This paper presents our work on supporting flexible query evaluation over large distributed, heterogeneous, and autonomous sources. Flexibility means that the query ev...
Tuyet-Trinh Vu, Christine Collet