2470 search results - page 56 / 494 » Liveness-Preserving Simulation Relations |
AGENTS
2000
Springer
14 years 2 months ago
2000
Springer
This paper extends earlier work in the use of ‘Agent-based Computational Economics’ (ACE) for modelling the development of co-operation between firms. Inter-firm relations hav...
CLUSTER
2009
IEEE
14 years 5 months ago
2009
IEEE
Abstract— As the datasets used to fuel modern scientific discovery grow increasingly large, they become increasingly difficult to manage using conventional software. Parallel d...
MMB
2004
Springer
14 years 3 months ago
2004
Springer
In this paper, we characterize the user behavior in a peer-to-peer (P2P) file sharing network. Our characterization is based on the results of an extensive passive measurement stu...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
— The paper studies the observability properties of the relative localization of two Autonomous Underwater Vehicles (AUVs) equipped with depth sensors, linear/angular velocity se...
ICRA
2006
IEEE
14 years 4 months ago
2006
IEEE
— We characterize and improve an existing infrared relative localization/communication module used to find range and bearing between robots in small-scale multi-robot systems. M...