Sciweavers

867 search results - page 144 / 174
» Advanced Wireless LAN
Sort
View
FMICS
2010
Springer
13 years 10 months ago
Correctness of Sensor Network Applications by Software Bounded Model Checking
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...
Frank Werner, David Faragó
JNW
2008
144views more  JNW 2008»
13 years 9 months ago
Low-Latency Geographic Routing for Asynchronous Energy-Harvesting WSNs
Research on data routing strategies for wireless sensor networks (WSNs) has largely focused on energy efficiency. However rapid advances in WSNs require routing protocols which can...
Donggeon Noh, Ikjune Yoon, Heonshik Shin
JUCS
2008
148views more  JUCS 2008»
13 years 9 months ago
Integrating Service-Oriented Mobile Units to Support Collaboration in Ad-hoc Scenarios
: Advances in wireless communication and mobile computing extend collaboration scenarios. Mobile workers using computing devices are currently able to collaborate in order to carry...
H. Andrés Neyem, Sergio F. Ochoa, Jos&eacut...
TCS
2008
13 years 9 months ago
Efficient corona training protocols for sensor networks
Phenomenal advances in nano-technology and packaging have made it possible to develop miniaturized low-power devices that integrate sensing, special-purpose computing, and wireles...
Alan A. Bertossi, Stephan Olariu, Maria Cristina P...
ISCI
2002
132views more  ISCI 2002»
13 years 9 months ago
Mobile data and transaction management
Mobile computing paradigm has emerged due to advances in wireless or cellular networking technology. This rapidly expanding technology poses many challenging research problems in ...
Sanjay Kumar Madria, Mukesh K. Mohania, Sourav S. ...