Formal Modeling and Validation of a Power-Ecient
暂无分享,去创建一个
[1] Jun Sun,et al. Specifying and Verifying Sensor Networks: An Experiment of Formal Methods , 2008, ICFEM.
[2] Ali Abedi,et al. Game theoretic power allocation in sparsely distributed clusters of wireless sensors (GPAS) , 2009, IWCMC.
[3] Rachel Cardell-Oliver,et al. Formal specification and analysis of performance variation in sensor network diffusion protocols , 2004, MSWiM '04.
[4] Gordon D. Plotkin,et al. A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..
[5] Ashutosh Sabharwal,et al. Using Predictable Observer Mobility for Power Efficient Design of Sensor Networks , 2003, IPSN.
[6] Zhu Han,et al. Coalitional game theory for communication networks , 2009, IEEE Signal Processing Magazine.
[7] Emanuel Melachrinoudis,et al. Exploiting Sink Mobility for Maximizing Sensor Networks Lifetime , 2005, Proceedings of the 38th Annual Hawaii International Conference on System Sciences.
[8] Athanassios Boulis,et al. From Simulation to Real Deployments in WSN and Back , 2007, 2007 IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks.
[9] Fernando Boronat,et al. Improving networks using group-based topologies , 2008, Comput. Commun..
[10] Sinem Coleri Ergen,et al. Lifetime analysis of a sensor network with hybrid automata modelling , 2002, WSNA '02.
[11] Annabelle McIver,et al. Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols , 2009, Methods, Models and Tools for Fault Tolerance.
[12] Edmund M. Yeh,et al. Distributed energy management algorithm for large-scale wireless sensor networks , 2007, MobiHoc '07.
[13] Wei Hong,et al. Approximate Data Collection in Sensor Networks using Probabilistic Models , 2006, 22nd International Conference on Data Engineering (ICDE'06).
[14] Giuseppe Anastasi,et al. Mobile-Relay Forwarding in Opportunistic Networks , 2018, Adaptation and Cross Layer Design in Wireless Networks.
[15] José Meseguer,et al. Redesign of the LMST Wireless Sensor Protocol through Formal Modeling and Statistical Model Checking , 2008, FMOODS.
[16] Mani B. Srivastava,et al. SensorSim: a simulation framework for sensor networks , 2000, MSWIM '00.
[17] Peter Csaba Ölveczky,et al. Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude , 2009, Theor. Comput. Sci..
[18] José Meseguer,et al. Conditioned Rewriting Logic as a United Model of Concurrency , 1992, Theor. Comput. Sci..
[19] H. Inaltekin,et al. The Analysis of Nash Equilibria of the One-Shot Random-Access Game for Wireless Networks and the Behavior of Selfish Nodes , 2008, IEEE/ACM Transactions on Networking.
[20] Einar Broch Johnsen,et al. An Object-Oriented Component Model for Heterogeneous Nets , 2007, FMCO.
[21] Cauligi S. Raghavendra,et al. Compression techniques for wireless sensor networks , 2004 .
[22] Deborah Estrin,et al. Networking issues in wireless sensor networks , 2003, J. Parallel Distributed Comput..
[23] Deborah Estrin,et al. Geography-informed energy conservation for Ad Hoc routing , 2001, MobiCom '01.
[24] Ian F. Akyildiz,et al. Wireless sensor networks: a survey , 2002, Comput. Networks.
[25] Injong Rhee,et al. How much energy saving does topology control offer for wireless sensor networks? - A practical study , 2007, Comput. Commun..
[26] Jie Wu,et al. An unequal cluster-based routing protocol in wireless sensor networks , 2009, Wirel. Networks.
[27] Ilangko Balasingham,et al. Group Selection by Nodes in Wireless Sensor Networks Using Coalitional Game Theory , 2011, 2011 16th IEEE International Conference on Engineering of Complex Computer Systems.
[28] Allen Gersho,et al. Vector quantization and signal compression , 1991, The Kluwer international series in engineering and computer science.
[29] Mario Di Francesco,et al. Energy conservation in wireless sensor networks: A survey , 2009, Ad Hoc Networks.
[30] Wang Yi,et al. Model-based validation of QoS properties of biomedical sensor networks , 2008, EMSOFT '08.
[31] David J. Goodman,et al. Power control for wireless data , 2000, IEEE Wirel. Commun..
[32] Zixiang Xiong,et al. Distributed source coding for sensor networks , 2004, IEEE Signal Processing Magazine.
[33] Narciso Martí-Oliet,et al. Towards Maude 2.0 , 2000, WRLA.
[34] Narciso Martí-Oliet,et al. All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic , 2007, All About Maude.
[35] 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.
[36] Tony Fountain,et al. "Token" equilibria in sensor networks with multiple sponsors , 2005, 2005 International Conference on Collaborative Computing: Networking, Applications and Worksharing.
[37] Stephen B. Wicker,et al. Game theory and the design of self-configuring, adaptive wireless networks , 2001, IEEE Commun. Mag..
[38] Ding-Zhu Du,et al. Improving Wireless Sensor Network Lifetime through Power Aware Organization , 2005, Wirel. Networks.
[39] L.F.W. van Hoesel,et al. Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks , 2007, IFM.