11561 search results - page 1671 / 2313 » Open Distributed Processing |
232
Voted
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Autonomous agents transcend their individual capabilities by cooperating towards achieving shared goals. The different viewpoints agents have on the environment cause disagreement...
210
Voted
CONCUR
2010
Springer
15 years 8 months ago
2010
Springer
Links are established between three widely used modeling frameworks for reactive systems: the ioco theory of Tretmans, the interface automata of De Alfaro and Henzinger, and Mealy ...
373
Voted
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
In the last decades enormous advances have been made possible for modelling complex (physical) systems by mathematical equations and computer algorithms. To deal with very long run...
188
click to vote
EUROPAR
2010
Springer
15 years 8 months ago
2010
Springer
This work presents an application case study. Geant4 is a 750,000 line toolkit first designed in the mid-1990s and originally intended only for sequential computation. Intel's...
174
click to vote
HPDC
2010
IEEE
15 years 8 months ago
2010
IEEE
Quality of data plays a very important role in any scientific research. In this paper we present some of the challenges that we face in managing and maintaining data quality for a...