93 search results - page 14 / 19 » Timed Unfoldings for Networks of Timed Automata |
101
Voted
SASN
2006
ACM
15 years 5 months ago
2006
ACM
Wireless sensor networks are typically deployed to measure the information field, rather than create an information field. However, by utilizing the radio on sensor nodes, it is...
98
Voted
IJCNN
2006
IEEE
15 years 5 months ago
2006
IEEE
— Forecast, detection and warning of severe weather and related hydro-geological risks is becoming one of the major issues for civil protection. The use of computational intellig...
EJWCN
2010
14 years 6 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...
103
click to vote
MOBICOM
2004
ACM
15 years 5 months ago
2004
ACM
The progress of mobile device technology unfolds a new spectrum of applications that challenges conventional infrastructure models. Most of these devices are perceived by their us...
ATMOS
2007
15 years 1 months ago
2007
Abstract. Approximate dynamic programming offers a new modeling and algorithmic strategy for complex problems such as rail operations. Problems in rail operations are often modeled...