Sciweavers

3706 search results - page 299 / 742
» OntoComP System Description
Sort
View
ICSOC
2007
Springer
16 years 21 days ago
Verifying Temporal and Epistemic Properties of Web Service Compositions
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Mo...
MM
2006
ACM
124views Multimedia» more  MM 2006»
16 years 15 days ago
Blazingly fast image copyright enforcement
Many photo agencies use the web to sell access to their image collections. Despite significant security measures, images may be stolen and distributed, making it necessary to det...
Herwig Lejsek, Friðrik Heiðar Ásmun...
ICRA
2005
IEEE
124views Robotics» more  ICRA 2005»
16 years 4 days ago
What Are the Ants Doing? Vision-Based Tracking and Reconstruction of Control Programs
— In this paper, we study the problem of going from a real-world, multi-agent system to the generation of control programs in an automatic fashion. In particular, a computer visi...
Magnus Egerstedt, Tucker R. Balch, Frank Dellaert,...
HPCC
2005
Springer
16 years 2 days ago
Self-optimizing MPI Applications: A Simulation-Based Approach
Historically, high performance systems use schedulers and intelligent resource managers in order to optimize system usage and application performance. Most of the times, applicatio...
Emilio Mancini, Massimiliano Rak, Roberto Torella,...
NCA
2003
IEEE
15 years 12 months ago
Group Communication based on Standard Interfaces
While group communication system have been proposed for some time, they are still not used much in actual systems. We believe that one reason for this is the lack of standardisati...
Matthias Wiesmann, Xavier Défago, Andr&eacu...