15 search results - page 2 / 3 » Que: A Sensor Network Rapid Prototyping Tool with Applicatio... |
MDM
2007
Springer
13 years 10 months ago
2007
Springer
Abstract—With the price of wireless sensor technologies diminishing rapidly we can expect large numbers of autonomous sensor networks being deployed in the near future. These sen...
EMNETS
2007
13 years 8 months ago
2007
Imagers are an increasingly significant source of sensory observations about human activity and the urban environment. ImageScape is a software tool for processing, clustering, an...
SIGMOD
2006
ACM
14 years 4 months ago
2006
ACM
The Swiss National Competence Center for Research in mobile Information and Communication Systems (NCCR-MICS or MICS) is one of several research initiatives sponsored by the Swiss...
AINA
2006
IEEE
13 years 10 months ago
2006
IEEE
Abstract— Wireless sensor networks, by providing an unprecedented way of interacting with the physical environment, have become a hot topic for research over the last few years. ...
FMICS
2010
Springer
13 years 4 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...