Sciweavers

5030 search results - page 74 / 1006
» cases 2007
Sort
View
ROBOCOMM
2007
IEEE
15 years 10 months ago
Toward multi-level modeling of robotic sensor networks: a case study in acoustic event monitoring
—Modeling and simulation can be powerful tools for analyzing multi-agent systems, such as networked robotic systems and sensor networks. In this paper, it is shown concretely how...
Christopher M. Cianci, Thomas Lochmatter, Jim Pugh...
SEFM
2007
IEEE
15 years 10 months ago
Verifying the Mondex Case Study
The Mondex Case study is still the most substantial contribution to the Grand Challenge repository. It has been the target of a number of formal verification efforts. Those effor...
Peter H. Schmitt, Isabel Tonin
ATAL
2007
Springer
15 years 10 months ago
Cognitive and social simulation of criminal behaviour: the intermittent explosive disorder case
Criminal behaviour often involves a combination of physical, mental, social and environmental (multi-)agent aspects, such as neurological deviations, hormones, arousal, (non)empat...
Tibor Bosse, Charlotte Gerritsen, Jan Treur
EGOV
2007
Springer
15 years 10 months ago
A European Perspective of E-Government Presence - Where Do We Stand? The EU-10 Case
It is widely perceived that the nature of ICT is changing and so is the scale of the resulting economic and societal impact around Europe. Continued and accelerating technological ...
Panagiotis Germanakos, Eleni Christodoulou, George...
GI
2007
Springer
15 years 10 months ago
On Sensor Scheduling in Case of Unreliable Communication
: This paper deals with the linear discrete-time sensor scheduling problem in unreliable communication networks. In case of the common assumption of an errorfree communication, the...
Marco F. Huber, Eric Stiegeler, Uwe D. Hanebeck