Framework for Wireless Sensor Networks Code Generation from Formal Specification

Computer Science & Information Technology (CS & IT) ◽

10.5121/csit.2017.71204 ◽

2017 ◽

Cited By ~ 1

Author(s):

Sara Houhou ◽

Laid Kahloul ◽

Saber Benharzallah ◽

Roufaida Bettira

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Code Generation ◽

Formal Specification ◽

Wireless Sensor

Download Full-text

Code Generation from Statecharts: Simulation of Wireless Sensor Networks

2008 11th EUROMICRO Conference on Digital System Design Architectures, Methods and Tools ◽

10.1109/dsd.2008.106 ◽

2008 ◽

Cited By ~ 11

Author(s):

Marcello Mura ◽

Maria Giovanna Sami

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Code Generation ◽

Wireless Sensor

Download Full-text

Self-optimisation using runtime code generation for wireless sensor networks

Proceedings of the 17th International Conference on Distributed Computing and Networking - ICDCN '16 ◽

10.1145/2833312.2849557 ◽

2016 ◽

Cited By ~ 1

Author(s):

Caroline Quéva ◽

Damien Couroussé ◽

Henri-Pierre Charles

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Code Generation ◽

Wireless Sensor

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

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

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

Analysis and Improve Packet Delay Problem in Wireless Sensor Networks

Indian Journal Of Applied Research ◽

10.15373/2249555x/apr2014/64 ◽

2011 ◽

Vol 4 (4) ◽

pp. 210-213

Author(s):

G.RAJAVARMAN G.RAJAVARMAN ◽

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Packet Delay ◽

Wireless Sensor

Download Full-text

Survey of Jamming Attacks and Techniques in Wireless Sensor Networks

Indian Journal Of Applied Research ◽

10.15373/2249555x/aug2013/87 ◽

2011 ◽

Vol 3 (8) ◽

pp. 270-274

Author(s):

Prakash J Parmar ◽

◽

Sachin D Babar

Keyword(s):

Wireless Sensor Networks ◽

Sensor Networks ◽

Wireless Sensor ◽

Jamming Attacks

Download Full-text