Search results for "Tribute"

Formal verification of a Cooperative Automatic Repeat reQuest MAC protocol

2012

Author's version of an article published in the journal: Computer Standards & Interfaces. Also available from the publisher at: http://dx.doi.org/10.1016/j.csi.2011.12.001 Cooperative communications, in which a relay node helps the source node to deliver its packets to the destination node, are able to obtain significant benefits in terms of transmission reliability, coverage extension and energy efficiency. A Cooperative Automatic Repeat reQuest (C-ARQ) MAC protocol has been recently proposed to exploit cooperative diversity at the MAC layer. in this paper, we validate the integrity and the validity of the C-ARQ protocol using formal methods. The protocol logic is modeled in SDL and implem…

Distributed estimation and control of water distribution networks by logical consensus

2014

In this study we present a methodology for backflow detec- tion through the interpretation of results from a network of Automatic Meter Reading. The approach is based on the so– called logical consensus theory and consists of a distributed failure detection and system reconfiguration. The effective- ness of the proposed method is showed through simulation within a prototypical water distribution network.

Internet of Things : a gateway centric solution for providing IoT connectivity

2016

The Internet of Things (IoT) is revolutionising the traditional Internet by extending it with smart everyday objects. Wearables, smart grids and home automation systems are just a few examples of the IoT. A noteworthy point is that the amount of devices connected to the Internet will rapidly grow with the IoT. The IoT typically involves devices that are constrained in terms of energy, memory and processing resources. Therefore, they also limit applying the existing Internet protocols to the IoT. New protocols have been designed for the IoT, all the way from the physical layer, to the application layer. This thesis presents an implementation for an IoT gateway, which enables connectivity to …

Radiation effects on optical frequency domain reflectometry fiber-based sensor

2015

International audience; We investigate the radiation effects on germanosilicate optical fiber acting as the sensing element of optical frequency domain reflectometry devices. Thanks to a new setup permitting to control temperature during irradiation, we evaluate the changes induced by 10 keV x rays on their Rayleigh response up to 1 MGy in a temperature range from −40°C up to 75°C. Irradiation at fixed temperature points out that its measure is reliable during both irradiation and the recovery process. Mixed temperature and radiation measurements show that changing irradiation temperature leads to an error in distributed measurements that depends on the calibration procedure. These results …

Study and development of innovative measurement methods and systems for anti-islanding protection in smart grids

2014

Un metodo ibrido per il riconoscimento dell'islanding in reti di media e bassa tensione in presenza di generazione distribuita

2013

A Design Theory for Secure Information Systems Design Methods

2006

Many alternative methods for designing secure information systems (SIS) have been proposed to ensure system security. However, within all the literature on SIS methods, there exists little theoretically grounded work that addresses the fundamental requirements and goals of SIS design. This paper first uses design theory to develop a SIS design theory framework that defines six requirements for SIS design methods, and second, shows how known SIS design methods fail to satisfy these requirements. Third, the paper describes a SIS design method that does address these requirements and reports two empirical studies that demonstrate the validity of the proposed framework. peerReviewed

P2PRealm - Peer-to-Peer Network Simulator

2006

Peer-to-peer realm (P2PRealm) is an efficient peer-to-peer network simulator for studying algorithms based on neural networks. In contrast to many simulators, which emphasize on detailed network simulation, the speed of simulation in P2PRealm is essential, because neural networks require a time consuming training phase. Efficiency has been obtained by optimizing training loops inside the simulator, using Java native interface (JNI) as well as distributing the simulator to hundreds of workstations using the P2PDisCo platform. In this paper we describe the architecture of P2PRealm and its input/output interfaces. Also, we present the mechanisms used for internally optimizing the implementatio…

Pellet: A Practical OWL-DL Reasoner

2007

In this paper, we present a brief overview of Pellet: a complete OWL-DL reasoner with acceptable to very good performance, extensive middleware, and a number of unique features. Pellet is the first sound and complete OWL-DL reasoner with extensive support for reasoning with individuals (including nominal support and conjunctive query), user-defined datatypes, and debugging support for ontologies. It implements several extensions to OWL-DL including a combination formalism for OWL-DL ontologies, a non-monotonic operator, and preliminary support for OWL/Rule hybrid reasoning. Pellet is written in Java and is open source.

A New Environment for Distributed Multiple Vehicles Dynamics Control and Simulation

2007

Although there are many simulation softwares, the 3D multi-vehicle field needs further study. This paper describes a lightweight, full portable software environment for development, simulation and control of vehicles. This environment simulates ground wheeled vehicles and their environment. Multi vehicle study can be done adding the vehicle mathematical model and the 3D graphical model. The scenario is displayed as a 3D virtual reality environment in which all the objects are rendered using a combination of 3D primitive and/or pre-built 3D objects loaded from file. Since the software is made up of a set of multi-treading object-oriented Java classes, there are many advantages as portability…