10.1007/978-3-540-88194-0-20Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)5256 LNCS318-33
Software engineering (SE) plays a fundamental role in wireless sensor network (WSN) development due ...
Abstract — Sensor networks are networks consisting of minia-ture and low-cost systems with limited c...
Cette thèse a été préparée dans le cadre d'un financement CIFRE avec France Telecom R&D Meylan.Globa...
Contains fulltext : 93701.pdf (publisher's version ) (Open Access)Radboud Universi...
Sensor networks play an increasingly important role in critical systems infrastructure and should be...
Sensor networks have quickly risen in importance over the last several years to become an active fie...
Gathers recent advancements in the field of self-organizing wireless sensor networks and provides re...
Introduction. While there is considerable research activity on programming tools and environments fo...
Wireless communication protocols are often used in critical applications, e.g., urban water supply n...
Wireless Sensor Networks (WSNs) are widely recognized as a solution to build monitoring systems, eve...
This study will develop novel formal techniques for design and analysis of reactive sensor network p...
One of the key features that distinguishes sensor networks from other networked applications is that...
As the commoditization of sensing, actuation and communication hardware increases, so does the poten...
We introduce a state-based model that can be used in specifying sensor network protocols. This model...
The contribution of this work is an approach for lightweight specification and verification of nesC ...
Software engineering (SE) plays a fundamental role in wireless sensor network (WSN) development due ...
Abstract — Sensor networks are networks consisting of minia-ture and low-cost systems with limited c...
Cette thèse a été préparée dans le cadre d'un financement CIFRE avec France Telecom R&D Meylan.Globa...
Contains fulltext : 93701.pdf (publisher's version ) (Open Access)Radboud Universi...
Sensor networks play an increasingly important role in critical systems infrastructure and should be...
Sensor networks have quickly risen in importance over the last several years to become an active fie...
Gathers recent advancements in the field of self-organizing wireless sensor networks and provides re...
Introduction. While there is considerable research activity on programming tools and environments fo...
Wireless communication protocols are often used in critical applications, e.g., urban water supply n...
Wireless Sensor Networks (WSNs) are widely recognized as a solution to build monitoring systems, eve...
This study will develop novel formal techniques for design and analysis of reactive sensor network p...
One of the key features that distinguishes sensor networks from other networked applications is that...
As the commoditization of sensing, actuation and communication hardware increases, so does the poten...
We introduce a state-based model that can be used in specifying sensor network protocols. This model...
The contribution of this work is an approach for lightweight specification and verification of nesC ...
Software engineering (SE) plays a fundamental role in wireless sensor network (WSN) development due ...
Abstract — Sensor networks are networks consisting of minia-ture and low-cost systems with limited c...
Cette thèse a été préparée dans le cadre d'un financement CIFRE avec France Telecom R&D Meylan.Globa...