Sciweavers

3088 search results - page 225 / 618
» A Teleradiology System Design Case
Sort
View
DSRT
2008
IEEE
15 years 8 months ago
Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints
The complexity and the variety of the deployed timedependent systems, as well as the high degree of reliability required for their global functioning, justify the care provided to...
Ana R. Cavalli, Edgardo Montes de Oca, Wissam Mall...
DSVIS
2008
Springer
15 years 8 months ago
A Model-Based Approach to Supporting Configuration in Ubiquitous Systems
This paper presents an approach for representing, and providing computer support for, the configuration of interactive systems, particularly ubiquitous systems, that offers a flexi...
Tony McBryan, Philip D. Gray
AOIS
2004
15 years 8 months ago
A Systematic Approach for Including Machine Learning in Multi-agent Systems
Large scale multi-agent systems (MASs) in unpredictable environments must use machine learning techniques to perform their goals and improve the performance of the system. This pap...
José Alberto R. P. Sardinha, Alessandro F. ...
AUTOMATICA
2008
90views more  AUTOMATICA 2008»
15 years 6 months ago
Collective circular motion of multi-vehicle systems
This paper addresses a collective motion problem for a multi-agent system composed of nonholonomic vehicles. The aim of the vehicles is to achieve circular motion around a virtual...
Nicola Ceccarelli, Mauro Di Marco, Andrea Garulli,...
ICDE
2001
IEEE
143views Database» more  ICDE 2001»
16 years 8 months ago
Exactly-once Semantics in a Replicated Messaging System
A distributed message delivery system can use replication to improve performance and availability. However, without safeguards, replicated messages may be delivered to a mobile de...
Yongqiang Huang, Hector Garcia-Molina