5699 search results - page 1105 / 1140 » Applications of Wireless Sensor Networks |
QEST
2010
IEEE
13 years 6 months ago
2010
IEEE
We introduce Fortuna, the first tool for model checking priced probabilistic timed automata (PPTAs). Fortuna can handle the combination of real-time, probabilistic and cost feature...
CDC
2010
IEEE
13 years 3 months ago
2010
IEEE
We consider impulsive systems with several reset maps triggered by independent renewal processes, i.e., the intervals between jumps associated with a given reset map are identicall...
DFN
2003
13 years 10 months ago
2003
In recent years research activities in computer network security focus more actively on the development of effective methods in intrusion detection. The reason for this developmen...
HUC
2011
Springer
12 years 8 months ago
2011
Springer
GPS-equipped taxis can be viewed as pervasive sensors and the large-scale digital traces produced allow us to reveal many hidden “facts” about the city dynamics and human beha...
IJCNN
2006
IEEE
14 years 2 months ago
2006
IEEE
– This paper presents a hippocampal inspired robot localization model that provides a means for a simple robotic platform with ultrasonic sensors to localize itself. There have b...