4341 search results - page 448 / 869 » Quantitative Model checking |
187
click to vote
KES
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. This paper presents a new multi-agent physics-based simulation framework (DISCOVERY), supporting experiments with self-organizing underwater sensor and actuator networks....
126
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
The first part of our work is connected with the analysis of typical random variables for the specific human-initiated process. We study the data characterizing editorial work wit...
177
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
Dynamic system adaptation is modeled in the coordination language Paradigm as coordination of collaborating components. A special component McPal allows for addition of new behavio...
170
click to vote
RAS
2010
15 years 5 months ago
2010
This paper presents an approach for tracking multiple persons on a mobile robot with a combination of colour and thermal vision sensors, using several new techniques. First, an ad...
201
click to vote
WINE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We study the interaction between network effects and external incentives on file sharing behavior in Peerto-Peer (P2P) networks. Many current or envisioned P2P networks r...