ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Ad-hoe sensor networks: modeling, specification and verification
Second IEEE International Workshop on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2003. Proceedings
◽
10.1109/idaacs.2003.1249521
◽
2004
◽
Cited By ~ 1
Author(s):
V.A. Oleshchuk
Keyword(s):
Sensor Networks
◽
Specification And Verification
Download Full-text
Related Documents
Cited By
References
Wireless Sensor Networks for the Surveillance of Wide Date Palm Forests: (Specification and Verification Levels)
Procedia Computer Science
◽
10.1016/j.procs.2015.07.252
◽
2015
◽
Vol 56
◽
pp. 598-603
Author(s):
Laid Kahloul
Keyword(s):
Wireless Sensor Networks
◽
Sensor Networks
◽
Date Palm
◽
Wireless Sensor
◽
Specification And Verification
Download Full-text
Formal specification and verification of reconfigurable wireless sensor networks
2015 IEEE 12th International Multi-Conference on Systems, Signals & Devices (SSD15)
◽
10.1109/ssd.2015.7348099
◽
2015
◽
Cited By ~ 2
Author(s):
Hanen Grichi
◽
Olfa Mosbahi
◽
Mohamed Khalgui
Keyword(s):
Wireless Sensor Networks
◽
Sensor Networks
◽
Formal Specification
◽
Wireless Sensor
◽
Formal Specification And Verification
◽
Specification And Verification
Download Full-text
Modeling, specification and verification of ad-hoc sensor networks using SPIN
Computer Standards & Interfaces
◽
10.1016/j.csi.2005.01.017
◽
2005
◽
Vol 28
(2)
◽
pp. 159-165
◽
Cited By ~ 1
Author(s):
Vladimir A. Oleshchuk
Keyword(s):
Sensor Networks
◽
Ad Hoc
◽
Specification And Verification
◽
Ad Hoc Sensor Networks
Download Full-text
Principles of Wireless Sensor Networks
10.1017/cbo9781139030960
◽
2012
◽
Cited By ~ 1
Author(s):
Mohammad S. Obaidat
◽
Sudip Misra
Keyword(s):
Wireless Sensor Networks
◽
Sensor Networks
◽
Wireless Sensor
Download Full-text
Optimizing Sensor Combinations and Processing Parameters in Dynamic Sensor Networks
Proceedings of the 32nd International Technical Meeting of the Satellite Division of The Institute of Navigation (ION GNSS+ 2019)
◽
10.33012/2019.16885
◽
2019
◽
Author(s):
Nicolas Garcia-Fernandez
◽
Steffen Schön
Keyword(s):
Sensor Networks
◽
Processing Parameters
◽
Dynamic Sensor Networks
Download Full-text
Energy Management in Sensor Networks for Environmental Monitoring.
Environmental Semeiotics
◽
10.3383/es.1.1.2
◽
2008
◽
Vol 1
(1)
◽
pp. 20-41
Author(s):
G. ANASTASI
◽
M. CONTI
◽
M. DI FRANCESCO
◽
E. GREGORI
◽
A. PASSARELLA
Keyword(s):
Sensor Networks
◽
Environmental Monitoring
◽
Energy Management
Download Full-text
Load balancing in Wireless Sensor Networks by Optimal Placement of Base Stations using kd-Tree
International Journal of Computing Communication and Instrumentation Engineering
◽
10.15242/ijccie.iae0316010
◽
2016
◽
Vol 3
(1)
◽
Keyword(s):
Wireless Sensor Networks
◽
Sensor Networks
◽
Load Balancing
◽
Base Stations
◽
Wireless Sensor
◽
Optimal Placement
Download Full-text
Types of Attacks Penetrating Wireless Sensor Networks and Strategies to Overcome Them
International Conference Data Mining, Civil and Mechanical Engineering (ICDMCME’2015) Feb. 1-2, 2015 Bali (Indonesia)
◽
10.15242/iie.e0215021
◽
2015
◽
Keyword(s):
Wireless Sensor Networks
◽
Sensor Networks
◽
Wireless Sensor
Download Full-text
Energy Efficient, Fault Tolerant Routing LEACH (EF-LEACH) Protocol for Wireless Sensor Networks
International Conference on Advances in Engineering and Technology (ICAET'2014) March 29-30, 2014 Singapore
◽
10.15242/iie.e0314044
◽
2014
◽
Keyword(s):
Wireless Sensor Networks
◽
Sensor Networks
◽
Energy Efficient
◽
Fault Tolerant
◽
Wireless Sensor
◽
Leach Protocol
Download Full-text
A Power Optimization Method in Large-Scale Wireless Sensor Networks Using a Two-Stage Meta-Heuristic Algorithm
IEICE Proceeding Series
◽
10.15248/proc.2.302
◽
2014
◽
Vol 2
◽
pp. 302-305
Author(s):
Ryohei Sato
◽
Hidehiro Nakano
◽
Arata Miyauchi
Keyword(s):
Wireless Sensor Networks
◽
Sensor Networks
◽
Heuristic Algorithm
◽
Large Scale
◽
Power Optimization
◽
Optimization Method
◽
Wireless Sensor
◽
Two Stage
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close