Wireless Sensor Networks in Motion - Clustering Algorithms for Service Discovery and Provisioning

The evolution of computer technology follows a trajectory of miniaturization and diversification. The technology has developed from mainframes (large computers used by many people) to personal computers (one computer per person) and recently, embedded computers (many computers per person). One of the smallest embedded computers is a wireless sensor node, which is a batterypowered miniaturized device equipped with processing capabilities, memory, wireless communication and sensors that can sense the physical parameters of the environment. A collection of sensor nodes that communicate through the wireless interface form a Wireless Sensor Network (WSN), which is an ad-hoc, self organizing network that can function unattended for long periods of time. Although traditionally WSNs have been regarded as static sensor arrays used mainly for environmental monitoring, recently, WSN applications have undergone a paradigm shift from static to more dynamic environments, where nodes are attached to moving objects, people or animals. Applications that use WSNs in motion are broad, ranging from transport and logistics to animal monitoring, health care and military, just to mention a few. These application domains have a number of characteristics that challenge the algorithmic design of WSNs. Firstly, mobility has a negative effect on the quality of the wireless communication and the performance of networking protocols. Nevertheless, it has been shown that mobility can enhance the functionality of the network by exploiting the movement patterns of mobile objects. Secondly, the heterogeneity of devices in a WSN has to be taken into account for increasing the network performance and lifetime. Thirdly, the WSN services should ideally assist the user in an unobtrusive and transparent way. Fourthly, energy-efficiency and scalability are of primary importance to prevent the network performance degradation. This thesis focuses on the problems and enhancements brought in by networ mobility, while also accounting for heterogeneity, transparency, energy efficiency and scalability. We propose a set of algorithms that enable WSNs to self-organize efficiently in the presence of mobility, adapt to and even exploit dynamics to increase the functionality of the network. Our contributions include an algorithm for motion detection, a set of clustering algorithms that can be used to handle mobility efficiently, and a service discovery protocol that enables dynamic user access to the WSN functionality.

[1]  M. Kyas Verifying OCL Specifications of UML models , 2006 .

[2]  Blake Hannaford,et al.  "Are You with Me?" - Using Accelerometers to Determine If Two Devices Are Carried by the Same Person , 2004, Pervasive.

[3]  D. Stoyan,et al.  Stochastic Geometry and Its Applications , 1989 .

[4]  F. Bouhafs,et al.  A semantic clustering routing protocol for wireless sensor networks , 2006, CCNC 2006. 2006 3rd IEEE Consumer Communications and Networking Conference, 2006..

[5]  Bastiaan Heeren,et al.  Top quality type error Messages , 2005 .

[6]  L. Zhu,et al.  Towards Mood Based Mobile Services and Applications , 2007, EuroSSC.

[7]  Tac Tim Willemse Semantics and verification in process algebras with data and timing , 2003 .

[8]  F. Bartels,et al.  On Generalised Coinduction and Probabilistic Specification Formats , 2004 .

[9]  Mohammad Ali Abam New data structures and algorithms for mobile data , 2007 .

[10]  Michael Nidd,et al.  Service discovery in DEAPspace , 2001, IEEE Wirel. Commun..

[11]  Ivan Stojmenovic,et al.  Ad hoc Networking , 2004 .

[12]  Francesco Marcelloni,et al.  Reducing Power Consumption in Wireless Sensor Networks Using a Novel Approach to Data Aggregation , 2008, Comput. J..

[13]  David A. Maltz,et al.  Dynamic Source Routing in Ad Hoc Wireless Networks , 1994, Mobidata.

[14]  Tim Nieberg Independent and dominating sets in wireless communication graphs , 2006 .

[15]  Laura Brandán Briones,et al.  Theories for Model-based Testing: Real-time and Coverage , 2007 .

[16]  A. Agrawala,et al.  WSN16-5: Distributed Formation of Overlapping Multi-hop Clusters in Wireless Sensor Networks , 2006, IEEE Globecom 2006.

[17]  Sugata Sanyal,et al.  Journal of Digital Information Management Impact of Node Mobility on Manet Routing Protocols Models , 2022 .

[18]  Nirvana Meratnia,et al.  Smart Signs Show You the Way , 2007 .

[19]  Gregory J. Pottie,et al.  Protocols for self-organization of a wireless sensor network , 2000, IEEE Wirel. Commun..

[20]  Raluca Marin-Perianu,et al.  A Generalized Clustering Algorithm for Dynamic Wireless Sensor Networks , 2008, 2008 IEEE International Symposium on Parallel and Distributed Processing with Applications.

[21]  Cruz Filipe,et al.  Constructive real analysis : a type-theoretical formalization and applications , 2004 .

[22]  Ka Lok Man,et al.  Formal specification and analysis of hybrid systems , 2006 .

[23]  William Adjie-Winoto,et al.  The design and implementation of an intentional naming system , 2000, OPSR.

[24]  Peter Verbaan,et al.  The Computational Complexity of Evolving Systems , 2006 .

[25]  Pascal Durr,et al.  Resource-based Verification for Robust Composition of Aspects , 2008 .

[26]  Paul J. M. Havinga,et al.  RMD: Reliable Multicast Data Dissemination within Groups of Collaborating Objects , 2006, Proceedings. 2006 31st IEEE Conference on Local Computer Networks.

[27]  Bernt Schiele,et al.  Grouping Mechanisms for Smart Objects Based on Implicit Interaction and Context Proximity , 2003 .

[28]  Goran Frehse,et al.  Compositional verification of hybrid systems using simulation relations , 2005 .

[29]  F. Alkemade,et al.  Evolutionary agent-based economics , 2004 .

[30]  Iris Loeb Natural Deduction, Sharing By Presentation , 2007 .

[31]  Bahareh Badban,et al.  Verification Techniques for Extensions of Equality Logic , 2006 .

[32]  Mario Gerla,et al.  On-demand routing in large ad hoc wireless networks with passive clustering , 2000, 2000 IEEE Wireless Communications and Networking Conference. Conference Record (Cat. No.00TH8540).

[33]  Timothy W. Finin,et al.  Toward Distributed service discovery in pervasive computing environments , 2006, IEEE Transactions on Mobile Computing.

[34]  A. L. de Groot,et al.  Practical Automaton proofs in PVS , 2000 .

[35]  Adrian Perrig,et al.  ACE: An Emergent Algorithm for Highly Uniform Cluster Formation , 2004, EWSN.

[36]  EM Elena Bortnik,et al.  Formal methods in support of SMC design , 2008 .

[37]  Stefano Basagni,et al.  Distributed and mobility-adaptive clustering for multimedia support in multi-hop wireless networks , 1999, Gateway to 21st Century Communications Village. VTC 1999-Fall. IEEE VTS 50th Vehicular Technology Conference (Cat. No.99CH36324).

[38]  Anton Wijs,et al.  Silent steps in transition systems and Markov chains , 2007 .

[39]  Jeroen Eggermont,et al.  Data Mining using Genetic Programming : Classification and Symbolic Regression , 2005 .

[40]  Eric Pouyoul,et al.  Project JXTA: A Loosely-Consistent DHT Rendezvous Walker , 2002 .

[41]  Daryl J. Daley,et al.  An Introduction to the Theory of Point Processes , 2013 .

[42]  Paul J. M. Havinga,et al.  Modeling Service-Oriented Context Processing in Dynamic Body Area Networks , 2009, IEEE Journal on Selected Areas in Communications.

[43]  M. Niqui,et al.  Formalising Exact Arithmetic. Representations, Algorithms and Proofs , 2004 .

[44]  Ricardo Corin,et al.  Analysis Models for Security Protocols , 2006 .

[45]  Stefano Basagni,et al.  Distributed clustering for ad hoc networks , 1999, Proceedings Fourth International Symposium on Parallel Architectures, Algorithms, and Networks (I-SPAN'99).

[46]  Roland Bader,et al.  BigNurse: A Wireless Ad Hoc Network for Patient Monitoring , 2006, 2006 Pervasive Health Conference and Workshops.

[47]  Leandros Tassiulas,et al.  Service discovery in mobile ad hoc networks: an overall perspective on architectural choices and network layer support issues , 2004, Ad Hoc Networks.

[48]  Lionel M. Ni,et al.  Splendor: A secure, private, and location-aware service discovery protocol supporting mobile services , 2003, Proceedings of the First IEEE International Conference on Pervasive Computing and Communications, 2003. (PerCom 2003)..

[49]  Cjf Cas Cremers Scyther : semantics and verification of security protocols , 2006 .

[50]  Gabor Karsai,et al.  Smart Dust: communicating with a cubic-millimeter computer , 2001 .

[51]  Ivan S. Zapreev Model checking Markov chains : techniques and tools , 2008 .

[52]  Weijia Jia,et al.  Clustering wireless ad hoc networks with weakly connected dominating set , 2007, J. Parallel Distributed Comput..

[53]  Xiuzhen Cheng,et al.  Connected Dominating Set in Sensor Networks and MANETs , 2004 .

[54]  Miguel Castro,et al.  One ring to rule them all: service discovery and binding in structured peer-to-peer overlay networks , 2002, EW 10.

[55]  Heribert Baldus,et al.  Reliable Set-Up of Medical Body-Sensor Networks , 2004, EWSN.

[56]  Nigel Shadbolt,et al.  Resource Description Framework (RDF) , 2009 .

[57]  Grantham Pang,et al.  Evaluation of a Low-cost MEMS Accelerometer for Distance Measurement , 2001, J. Intell. Robotic Syst..

[58]  Marc Dacier,et al.  Reference Model and Use Cases , 2000 .

[59]  M. de Jonge,et al.  To reuse or to be reused. Techniques for component composition and construction , 2003 .

[60]  Pieter H. Hartel,et al.  Energy-Efficient Cluster-Based Service Discovery in Wireless Sensor Networks , 2006, Proceedings. 2006 31st IEEE Conference on Local Computer Networks.

[61]  Ahmed Helmy Efficient Resource Discovery in Wireless AdHoc Networks: Contacts Do Help , 2005 .

[62]  T. van der Storm Component-based configuration, integration and delivery , 2003 .

[63]  Charles E. Perkins,et al.  Ad-hoc on-demand distance vector routing , 1999, Proceedings WMCSA'99. Second IEEE Workshop on Mobile Computing Systems and Applications.

[64]  Ivan Kurtev,et al.  Adaptability of model transformations , 2005 .

[65]  David R. Karger,et al.  Chord: A scalable peer-to-peer lookup service for internet applications , 2001, SIGCOMM '01.

[66]  Tracy Camp,et al.  A survey of mobility models for ad hoc network research , 2002, Wirel. Commun. Mob. Comput..

[67]  Stefan Dulman,et al.  Data Centric Architecture for Wireless Sensor Networks , 2005 .

[68]  Martijn Warnier,et al.  Language based security for Java and JML , 2006 .

[69]  Catherine Rosenberg,et al.  Ad hoc and sensor networks , 2005, IEEE Commun. Mag..

[70]  A. J. Markvoort Towards hybrid molecular simulations , 2006 .

[71]  Gürcan Gülesir,et al.  Evolvable Behavior Specifications Using Context-Sensitive Wildcards , 2008 .

[72]  Deborah Estrin,et al.  Controllably mobile infrastructure for low energy embedded networks , 2006, IEEE Transactions on Mobile Computing.

[73]  Paul J. M. Havinga,et al.  Distributed Activity Recognition with Fuzzy-Enabled Wireless Sensor Networks , 2007, DCOSS.

[74]  Paul V. Mockapetris,et al.  Development of the domain name system , 1988, SIGCOMM '88.

[75]  Aline Baggio,et al.  Wireless sensor networks in precision agriculture , 2005 .

[76]  Jun Gao,et al.  Rendezvous Points-Based Scalable Content Discovery with Load Balancing , 2002, Networked Group Communication.

[77]  Tomas Krilavicius,et al.  Hybrid Techniques for Hybrid Systems , 2006 .

[78]  M. T. Ionita,et al.  Scenario-based system architecting : a systematic approach to developing future-proof system architectures , 2005 .

[79]  Charles E. Perkins,et al.  Highly dynamic Destination-Sequenced Distance-Vector routing (DSDV) for mobile computers , 1994, SIGCOMM.

[80]  Albrecht Schmidt,et al.  Applying wearable sensors to avalanche rescue , 2003, Comput. Graph..

[81]  Thomas Wolle,et al.  Computational aspects of treewidth : Lower bounds and network reliability , 2005 .

[82]  Ya Wang,et al.  A Clustering Algorithm Based on Power for WSNs , 2007, International Conference on Computational Science.

[83]  Bastiaan Stephan Graaf,et al.  Model-Driven Evolution of Software Architectures , 2007, 11th European Conference on Software Maintenance and Reengineering (CSMR'07).

[84]  Harmen Kastenberg Graph-based software specification and verification , 2008 .

[85]  M. T. de Berg,et al.  Multi-functional geometric data structures , 2003 .

[86]  Deborah Estrin,et al.  Locating tiny sensors in time and space: a case study , 2002, Proceedings. IEEE International Conference on Computer Design: VLSI in Computers and Processors.

[87]  Daeyoung Kim,et al.  Mosaic Localization for Wireless Sensor Networks , 2007, 2007 IEEE Wireless Communications and Networking Conference.

[88]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[89]  Dmitri Jarnikov,et al.  QoS framework for video streaming in home networks , 2007 .

[90]  T. Kuipers,et al.  Techniques for understanding legacy software systems , 2002 .

[91]  Ncwm Niels Braspenning Model-based integration and testing of high-tech multi-disciplinary systems , 2008 .

[92]  Atze Dijkstra Stepping through Haskell , 2000 .

[93]  Jurgen Vinju,et al.  Analysis and transformation of source code by parsing and rewriting , 2005 .

[94]  Mark Handley,et al.  A scalable content-addressable network , 2001, SIGCOMM '01.

[95]  Andres Löh,et al.  Exploring generic Haskell , 2004 .

[96]  de Hayco Jong Flexible heterogeneous software systems , 2007 .

[97]  RH Rudolf Mak,et al.  Design and performance analysis of data-independent stream processing systems , 2008 .

[98]  Leon Moonen,et al.  Exploring software systems , 2003, International Conference on Software Maintenance, 2003. ICSM 2003. Proceedings..

[99]  de Ism Ivo Jong Integration and test strategies for complex manufacturing machines , 2008 .

[100]  Martijn M. Schrage,et al.  Proxima: a presentation-oriented editor for structured documents , 2000 .

[101]  Ian F. Akyildiz,et al.  Wireless sensor and actor networks: research challenges , 2004, Ad Hoc Networks.

[102]  A. Ephremides,et al.  A design concept for reliable mobile radio networks with frequency hopping signaling , 1987, Proceedings of the IEEE.

[103]  Nirvana Meratnia,et al.  Decentralized enterprise systems: a multiplatform wireless sensor network approach , 2007, IEEE Wireless Communications.

[104]  Daniel Roggen,et al.  Event-Based Activity Tracking in Work Environments , 2006 .

[105]  Ben Y. Zhao,et al.  An Architecture for Secure Wide-Area Service Discovery , 2002, Wirel. Networks.

[106]  EO Esko Dijk Indoor ultrasonic position estimation using a single base station , 2004 .

[107]  Paul J. M. Havinga,et al.  D-FLER - A Distributed Fuzzy Logic Engine for Rule-Based Wireless Sensor Networks , 2007, UCS.

[108]  Robert Brijder,et al.  Models of natural computation : gene assembly and membrane systems , 2008 .

[109]  Hans Scholten,et al.  Demo Abstract: Service Oriented Wireless Sensor Networks - A Cluster-based Approach , 2007, 2007 4th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks.

[110]  Gao Design and verification of lock-free parallel algorithms , 2005 .

[111]  Philipp Obreiter,et al.  Lanes - A Lightweight Overlay for Service Discovery in Mobile Ad Hoc Networks , 2003 .

[112]  Kurt D. Zeilenga Internet Assigned Numbers Authority (IANA) Considerations for the Lightweight Directory Access Protocol (LDAP) , 2002, RFC.

[113]  Peng-Jun Wan,et al.  Distributed Construction of Connected Dominating Set in Wireless Ad Hoc Networks , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[114]  Ralph Kling,et al.  Intel Motes: Advanced Sensor Network Platforms and Applications , 2005, IEEE MTT-S International Microwave Symposium Digest, 2005..

[115]  J. Elson,et al.  Fine-grained network time synchronization using reference broadcasts , 2002, OSDI '02.

[116]  Antony I. T. Rowstron,et al.  Pastry: Scalable, Decentralized Object Location, and Routing for Large-Scale Peer-to-Peer Systems , 2001, Middleware.

[117]  Cheun Ngen Chong Experiments in rights control : expression and enforcement , 2005 .

[118]  Erika Ábrahám,et al.  An Assertional Proof System for Multithreaded Java - Theory and Tool Support , 2005 .

[119]  Wang Ke,et al.  Attribute-based clustering for information dissemination in wireless sensor networks , 2005, 2005 Second Annual IEEE Communications Society Conference on Sensor and Ad Hoc Communications and Networks, 2005. IEEE SECON 2005..

[120]  Burton H. Bloom,et al.  Space/time trade-offs in hash coding with allowable errors , 1970, CACM.

[121]  Gabriele Lenzini,et al.  Integration of Analysis Techniques in Security and Fault-Tolerance , 2005 .

[122]  Hans Gellersen,et al.  Smart clustering - networking smart objects based on their physical relationships , 2002, Proceedings 3rd IEEE International Workshop on System-on-Chip for Real-Time Applications.

[123]  Mario Gerla,et al.  Adaptive Clustering for Mobile Wireless Networks , 1997, IEEE J. Sel. Areas Commun..

[124]  Bengt Jonsson,et al.  Probabilistic Process Algebra , 2001 .

[125]  Joseph A. Paradiso,et al.  Sensemble: A Wireless, Compact, Multi-User Sensor System for Interactive Dance , 2006, NIME.

[126]  Bernt Schiele,et al.  Smart-Its Friends: A Technique for Users to Easily Establish Connections between Smart Artefacts , 2001, UbiComp.

[127]  Daan Leijen,et al.  The λ Abroad - A Functional Approach to Software Components , 2003 .

[128]  P. Zoeteweij,et al.  Composing constraint solvers , 2005 .

[129]  Catherine Rosenberg,et al.  A minimum cost heterogeneous sensor network with a lifetime constraint , 2005, IEEE Transactions on Mobile Computing.

[130]  T. D. Vu,et al.  Semantics and applications of process and program algebra , 2007 .

[131]  Deborah Estrin,et al.  GPS-less low-cost outdoor localization for very small devices , 2000, IEEE Wirel. Commun..

[132]  G Giovanni Russello,et al.  Separation and adaptation of concerns in a shared data space , 2006 .

[133]  Aad Mathssen,et al.  Logical Calculi for Reasoning with Binding , 2008 .

[134]  Ileana Buhan,et al.  Cryptographic keys from noisy data, theory and applications , 2008 .

[135]  Eyal de Lara,et al.  A cross-layer approach to service discovery and selection in MANETs , 2005, IEEE International Conference on Mobile Adhoc and Sensor Systems Conference, 2005..

[136]  Yee Wei Law,et al.  Key management and link-layer security of wireless sensor networks : Energy-efficient attack and defense , 2005 .

[137]  I C M Ingrid Flinsenberg,et al.  Route Planning Algorithms for Car Navigation , 2009 .

[138]  J. Ketema,et al.  Bohm-Like Trees for Rewriting , 2006 .

[139]  Cfj Christian Lange,et al.  Assessing and improving the quality of modeling : a series of empirical studies about the UML , 2007 .

[140]  Paul J. M. Havinga,et al.  Tandem: A Context-Aware Method for Spontaneous Clustering of Dynamic Wireless Sensor Nodes , 2008, IOT.

[141]  Daniel R. Tauritz,et al.  Adaptive Information Filtering: Concepts and Algorithms , 2002 .

[142]  Mahtab Seddigh,et al.  Dominating Sets and Neighbor Elimination-Based Broadcasting Algorithms in Wireless Networks , 2002, IEEE Trans. Parallel Distributed Syst..

[143]  M. T. de Berg,et al.  Algorithms for Fat Objects: Decompositions and Applications , 2004 .

[144]  Andrew S. Tanenbaum,et al.  Taking Sensor Networks from the Lab to the Jungle , 2006, Computer.

[145]  N.J.M. van den Nieuwelaar,et al.  Supervisory machine control by predictive-reactive scheduling , 2004 .

[146]  Yong Wang,et al.  Energy-efficient computing for wildlife tracking: design tradeoffs and early experiences with ZebraNet , 2002, ASPLOS X.

[147]  Chris J. Mitchell,et al.  A Service Discovery Threat Model for Ad Hoc Networks , 2006, SECRYPT.

[148]  P. Varaiya,et al.  Design of gyroscope-free navigation systems , 2001, ITSC 2001. 2001 IEEE Intelligent Transportation Systems. Proceedings (Cat. No.01TH8585).

[149]  AJ Arjan Mooij,et al.  Constructive formal methods and protocol standardization , 2006 .

[150]  Reinder J. Bril,et al.  Real-time scheduling for media processing using conditionally guaranteed budgets , 2004 .

[151]  Edward J. Coyle,et al.  An energy efficient hierarchical clustering algorithm for wireless sensor networks , 2003, IEEE INFOCOM 2003. Twenty-second Annual Joint Conference of the IEEE Computer and Communications Societies (IEEE Cat. No.03CH37428).

[152]  Marius Adrian Marin,et al.  An Integrated System to Manage Crosscutting Concerns in Source Code , 2008 .

[153]  Paul J.M. Havinga,et al.  Online Movement Correlation of Wireless Sensor Nodes , 2007 .

[154]  Ravi Prakash,et al.  Max-min d-cluster formation in wireless ad hoc networks , 2000, Proceedings IEEE INFOCOM 2000. Conference on Computer Communications. Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies (Cat. No.00CH37064).

[155]  RJ Roy Willemen,et al.  School timetable construction : algorithms and complexity , 2002 .

[156]  Ansgar Fehnker,et al.  Citius, Vilius, Melius : guiding and cost-optimality in model checking of timed and hybrid systems , 2002 .

[157]  Jasen Markovski,et al.  Real and stochastic time in process algebras for performance evaluation , 2008 .

[158]  Charles M. Grinstead,et al.  Introduction to probability , 1999, Statistics for the Behavioural Sciences.

[159]  A Adam Koprowski,et al.  Termination of rewriting and its certification , 2004 .

[160]  Satish Kumar,et al.  Next century challenges: scalable coordination in sensor networks , 1999, MobiCom.

[161]  R Ronald Ruimerman,et al.  Modeling and remodeling in bone tissue , 2005 .

[162]  Anantha P. Chandrakasan,et al.  An application-specific protocol architecture for wireless microsensor networks , 2002, IEEE Trans. Wirel. Commun..

[163]  Birgitta König-Ries,et al.  Service rings - a semantic overlay for service discovery in ad hoc networks , 2003, 14th International Workshop on Database and Expert Systems Applications, 2003. Proceedings..

[164]  Paul J.M. Havinga,et al.  SensorShoe: Mobile Gait Analysis for Parkinson's Disease Patients , 2007 .

[165]  Maria Eva Magdalena Lijding,et al.  Real-Time Scheduling of Tertiary Storage , 2003 .

[166]  Martin Bravenboer,et al.  Exercises in Free Syntax. Syntax Definition, Parsing, and Assimilation of Language Conglomerates , 2003 .

[167]  M. A. Valero Espada,et al.  Modal Abstraction and Replication of Processes with Data , 2005 .

[168]  Ben Y. Zhao,et al.  An Infrastructure for Fault-tolerant Wide-area Location and Routing , 2001 .

[169]  Mohan Kumar,et al.  Pervasive Computing: Enabling Technologies and Challenges , 2006, Handbook of Nature-Inspired and Innovative Computing.

[170]  Flavio D. Garcia Formal and Computational Cryptography: Protocols, Hashes and Commitments , 2008 .

[171]  Bruce H. Krogh,et al.  Lightweight detection and classification for wireless sensor networks in realistic environments , 2005, SenSys '05.

[172]  Christian Bettstetter Mobility modeling, connectivity, and adaptive clustering in ad hoc networks , 2004 .

[173]  Joost Visser,et al.  Generic traversal over typed source code representations , 2003 .

[174]  Colette Johnen,et al.  Self-stabilizing Weight-Based Clustering Algorithm for Ad Hoc Sensor Networks , 2006, ALGOSENSORS.

[175]  Ling Cheung,et al.  Reconciling nondeterministic and probabilistic choices , 2006 .

[176]  Mariëlle Stoelinga,et al.  Alea jacta est : verification of probabilistic, real-time and parametric systems , 2002 .

[177]  R. Boumen,et al.  Integration and test plans for complex manufacturing systems , 2007 .

[178]  Martijn van Veelen,et al.  Considerations on modeling for early detection of abnormalities in locally autonomous distributed systems , 2007 .

[179]  H. Scholten,et al.  CODE: A Description Language for Wireless Collaborating Objects , 2005, 2005 International Conference on Intelligent Sensors, Sensor Networks and Information Processing.

[180]  Eelco Dolstra,et al.  The purely functional software deployment model , 2006 .

[181]  James H. Aylor,et al.  Computer for the 21st Century , 1999, Computer.

[182]  G. Rozenberg,et al.  Effective models for the structure of ð-calculus processes with replication , 2001 .

[183]  Yan Jin,et al.  EEMC: An Energy-Efficient Multi-Tier Clustering Algorithm for Large-Scale Wireless Sensor Networks , 2006, 2006 International Conference on Wireless Communications, Networking and Mobile Computing.

[184]  Juan Visente Guillen Scholten,et al.  Mobile Channels for Exogenous Coordination of Distributed Systems: Semantics, Implementation and Composition , 2007 .

[185]  Diane J. Cook,et al.  How smart are our environments? An updated look at the state of the art , 2007, Pervasive Mob. Comput..

[186]  Taieb Znati,et al.  A mobility-based framework for adaptive clustering in wireless ad hoc networks , 1999, IEEE J. Sel. Areas Commun..

[187]  Jens R. Calamé,et al.  Testing reactive systems with data: enumerative methods and constraint solving , 2008 .

[188]  David R. Karger,et al.  INS/Twine: A Scalable Peer-to-Peer Architecture for Intentional Resource Discovery , 2002, Pervasive.

[189]  P. Havinga,et al.  Organizing Context Information Processing in Dynamic Wireless Sensor Networks , 2007, 2007 3rd International Conference on Intelligent Sensors, Sensor Networks and Information.

[190]  V Victor Bos,et al.  Formal specification and analysis of industrial systems , 2002 .

[191]  T. Howes,et al.  Understanding and Deploying LDAP Directory Services , 2003 .

[192]  Grzegorz Rozenberg Models of molecular computing based on molecular reactions , 2009, New Generation Computing.

[193]  Wpaj Wil Michiels Performance ratios for the differencing method , 2004 .

[194]  Jjd Joep Aerts Random redundant storage for video on demand , 2003 .

[195]  Simona Orzan,et al.  On Distributed Verification and Verified Distribution , 2004 .

[196]  Julio Solano-González,et al.  Connectivity Based k-Hop Clustering in Wireless Networks , 2003, Telecommun. Syst..

[197]  Microsystems Sun,et al.  Jini^ Architecture Specification Version 2.0 , 2003 .

[198]  E Elena Mumford,et al.  Drawing graphs for cartographic applications , 2008 .

[199]  Ana Sokolova,et al.  Coalgebraic analysis of probabilistic systems , 2005 .

[200]  Pieter H. Hartel,et al.  Service discovery at home , 2003, Fourth International Conference on Information, Communications and Signal Processing, 2003 and the Fourth Pacific Rim Conference on Multimedia. Proceedings of the 2003 Joint.

[201]  Dino Salvo Distefano,et al.  On model checking the dynamics of object-based software : a foundational approach , 2003 .

[202]  C.-B. Breunesse On JML: topics in tool-assisted verification of Java programs , 2006 .

[203]  U Uzma Khadim,et al.  Process algebras for hybrid systems : comparison and development , 2008 .

[204]  Pavan Sikka,et al.  Virtual fencing applications: Implementing and testing an automated cattle control system , 2007, Computers and Electronics in Agriculture.

[205]  Matt Welsh,et al.  Sensor networks for emergency response: challenges and opportunities , 2004, IEEE Pervasive Computing.

[206]  Charles E. Perkins,et al.  Service Location Protocol, Version 2 , 1999, RFC.

[207]  Ameer Ahmed Abbasi,et al.  A survey on clustering algorithms for wireless sensor networks , 2007, Comput. Commun..

[208]  H.M.A. van Beek,et al.  Specification and analysis of Internet applications , 2005 .

[209]  John Anderson,et al.  Wireless sensor networks for habitat monitoring , 2002, WSNA '02.

[210]  Wentian Li,et al.  Random texts exhibit Zipf's-law-like word frequency distribution , 1992, IEEE Trans. Inf. Theory.

[211]  Paulo F. Pires,et al.  A Service Approach for Architecting Application Independent Wireless Sensor Networks , 2005, Cluster Computing.

[212]  P.J.M. Havinga,et al.  AmbientRT - real time system software support for data centric sensor networks , 2004, Proceedings of the 2004 Intelligent Sensors, Sensor Networks and Information Processing Conference, 2004..

[213]  Sebastian Maneth,et al.  Models of tree translation , 2004 .

[214]  Andreas F. Molisch,et al.  Wireless Communications , 2005 .

[215]  Paul J. M. Havinga,et al.  Prototyping Service Discovery and Usage in Wireless Sensor Networks , 2007, 32nd IEEE Conference on Local Computer Networks (LCN 2007).

[216]  Holger Karl,et al.  Consistency challenges of service discovery in mobile ad hoc networks , 2004, MSWiM '04.

[217]  Daniel Kroening,et al.  Decision Procedures for Equality Logic and Uninterpreted Functions , 2008 .

[218]  Maurice H. ter Beek,et al.  Team Automata: A Formal Approach to the Modeling of Collaboration Between System Components , 2003 .

[219]  Jadwiga Indulska,et al.  Superstring: a scalable service discovery protocol for the wide-area pervasive environment , 2003, The 11th IEEE International Conference on Networks, 2003. ICON2003..

[220]  Deborah Estrin,et al.  Habitat monitoring: application driver for wireless communications technology , 2001, CCRV.

[221]  Mohammad Reza Mousavi,et al.  Structuring structural operational semantics , 2005 .

[222]  V. Sundramoorthy,et al.  At Home in Service Discovery , 2006 .

[223]  Moshe Kam,et al.  Sensor Fusion for Mobile Robot Navigation , 1997, Proc. IEEE.

[224]  Bo Li,et al.  A survey of transport protocols for wireless sensor networks , 2006, IEEE Network.

[225]  A. Varga,et al.  THE OMNET++ DISCRETE EVENT SIMULATION SYSTEM , 2003 .

[226]  Nirvana Meratnia,et al.  A distributed and self-organizing scheduling algorithm for energy-efficient data aggregation in wireless sensor networks , 2007, TOSN.

[227]  M. Torabi Dashti,et al.  Keeping Fairness Alive : Design and formal verification of optimistic fair exchange protocols , 2008 .

[228]  C. V. Ramamoorthy,et al.  An Adaptive Hierarchical Routing Protocol , 1989, IEEE Trans. Computers.

[229]  Martijn Hendriks,et al.  Model checking timed automata : techniques and applications , 2006 .

[230]  Wolter Pieters,et al.  La volonté machinale: understanding the electronic voting controversy , 2008 .

[231]  Y Yuechen Qian,et al.  Data synchronization and browsing for home environments , 2004 .

[232]  David E. Culler,et al.  Versatile low power media access for wireless sensor networks , 2004, SenSys '04.

[233]  D. Graaf,et al.  Mining semi-structured data, theoretical and experimental aspects of pattern evaluation , 2008 .

[234]  Jeroen Doumen,et al.  Searching in encrypted data , 2004 .

[235]  Paul J. M. Havinga,et al.  Enabling mobility in heterogeneous wireless sensor networks cooperating with UAVs for mission-critical management , 2008, IEEE Wireless Communications.

[236]  Anton Wijs,et al.  What to do next? Analysing and optimising system behaviour in time , 2007 .

[237]  Wei Hong,et al.  The design of an acquisitional query processor for sensor networks , 2003, SIGMOD '03.

[238]  Weisong Shi,et al.  Using Wireless Sensor Networks for Fire Rescue Applications: Requirements and Challenges , 2006, 2006 IEEE International Conference on Electro/Information Technology.

[239]  Gianluigi Ferrari,et al.  Impact of Mobility on the BER Performance of Ad Hoc Wireless Networks , 2007, IEEE Transactions on Vehicular Technology.

[240]  Kristof Van Laerhoven,et al.  Spine versus porcupine: a study in distributed wearable activity recognition , 2004, Eighth International Symposium on Wearable Computers.

[241]  Abdelsalam Helal,et al.  Konark - a service discovery and delivery protocol for ad-hoc networks , 2003, 2003 IEEE Wireless Communications and Networking, 2003. WCNC 2003..

[242]  S. P. Luttik Choice quantification in process algebra , 2002 .

[243]  A Multi-tier Ubiquitous Service Discovery Protocol for Mobile Clients , 2002 .

[244]  Bernhard Plattner,et al.  Service discovery in mobile ad hoc networks: a field theoretic approach , 2005, Sixth IEEE International Symposium on a World of Wireless Mobile and Multimedia Networks.

[245]  Stephen Chi-fai Chan,et al.  GBL: Group-Based Location Updating in Mobile Environment , 2004, DASFAA.

[246]  Ian F. Akyildiz,et al.  Sensor Networks , 2002, Encyclopedia of GIS.

[247]  Magiel Bruntink,et al.  Renovation of idiomatic crosscutting concerns in embedded systems , 2005 .

[248]  Paul J. M. Havinga,et al.  Movement-Based Group Awareness with Wireless Sensor Networks , 2007, Pervasive.

[249]  Michel A. Reniers,et al.  Hybrid process algebra , 2005, J. Log. Algebraic Methods Program..

[250]  M. B. van der Zwaag,et al.  Models and logics for process algebra , 2002 .

[251]  Timothy W. Finin,et al.  Allia: alliance-based service discovery for ad-hoc environments , 2002, WMC '02.

[252]  David E. Culler,et al.  TinyOS: An Operating System for Sensor Networks , 2005, Ambient Intelligence.

[253]  Sajal K. Das,et al.  WCA: A Weighted Clustering Algorithm for Mobile Ad Hoc Networks , 2002, Cluster Computing.

[254]  Guanling Chen,et al.  A Sensor-fusion Approach for Meeting Detection , 2004 .

[255]  Nikolay Kavaldjiev,et al.  A run-time reconfigurable Network-on-Chip for streaming DSP applications , 2006 .

[256]  René Mayrhofer,et al.  Shake Well Before Use: Authentication Based on Accelerometer Data , 2007, Pervasive.

[257]  Ossama Younis,et al.  HEED: a hybrid, energy-efficient, distributed clustering approach for ad hoc sensor networks , 2004, IEEE Transactions on Mobile Computing.

[258]  Henning Schulzrinne,et al.  GloServ: global service discovery architecture , 2004, The First Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services, 2004. MOBIQUITOUS 2004..