Sciweavers

1324 search results - page 136 / 265
» Process Coordination with Fetch-and-Increment
Sort
View
ETFA
2005
IEEE
16 years 1 days ago
A multi-robot system for landmine detection
This paper describes the development of a multi-robot system for Area Reduction in Humanitarian Demining. In spite of the specific requirements imposed to the work being carried ...
Pedro Santana, José Barata, H. Cruz, A. Mes...
ICALT
2005
IEEE
16 years 23 hour ago
Building Software Agents to Assist Teaching in Distance Learning Environments
This paper reports on the implementation and realization of software agents as teaching assistants in the distance learning environment. The software agent we built is able to ext...
Sheung-On Choy, Sin Chun Ng, Yiu-Chung Tsang
IEEESCC
2005
IEEE
16 years 10 hour ago
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
Howard Foster, Sebastián Uchitel, Jeff Mage...
ICSOC
2005
Springer
15 years 12 months ago
ASTRO: Supporting Composition and Execution of Web Services
Web services are rapidly emerging as the reference paradigm for the interaction and coordination of distributed business processes. In several research papers we have shown how ad...
Michele Trainotti, Marco Pistore, Gaetano Calabres...
ATAL
2004
Springer
15 years 11 months ago
Self-Organising, Open and Cooperative P2P Societies - From Tags to Networks
For Peer-2-Peer (P2P) networks to realize their full potential their nodes need to coordinate and cooperate, to improve the performance of the network as a whole. But this requires...
David Hales