2470 search results - page 378 / 494 » Liveness-Preserving Simulation Relations |
148
click to vote
QEST
2009
IEEE
15 years 11 months ago
2009
IEEE
—The departure process of a BMAP/MAP/1 queue can be approximated in different ways: as a Markovian arrival process (MAP) or as a matrix-exponential process (MEP). Both approximat...
147
click to vote
QEST
2009
IEEE
15 years 11 months ago
2009
IEEE
We extend the theory of labeled Markov processes with internal nondeterminism, a fundamental concept for the further development of a process theory with abstraction on nondetermi...
145
click to vote
RTCSA
2009
IEEE
15 years 11 months ago
2009
IEEE
—Mobile sensors are widely deployed in Wireless Sensor Networks (WSNs) to satisfy emerging application requirements. Specifically, processing location dependent queries in mobile...
142
click to vote
ICRA
2009
IEEE
15 years 11 months ago
2009
IEEE
— The paper describes an indoor helicopter testbed that allows implementing and testing of bio-inspired control algorithms developed from scientific studies on insects. The heli...
115
click to vote
INFOCOM
2009
IEEE
15 years 11 months ago
2009
IEEE
—Tracking mobile targets using sensor networks is a challenging task because of the impacts of in-the-filed factors such as environment noise, sensing irregularity and etc. This...