Wireless Sensor Networks in Motion - Clustering Algorithms for Service Discovery and Provisioning
暂无分享,去创建一个
[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..