Annonce September 2006

annonce@lrde.epita.fr

3 participants
3 discussions

[Annonce] Publi: Modeling of Sensor Networks Using XRM
by Akim Demaille 15 Sep '06

15 Sep '06

[Désolé pour l'éventuel doublon, nous avions des problèmes avec notre gestion des news.] « Modeling of Sensor Networks Using XRM » Akim Demaille, Sylvain Peyronnet, Benoît Sigoure http://publis.lrde.epita.fr/200609-ISOLA Accepted to 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2006) Sensor networks are composed of small electronic devices that embed processors, sensors, batteries, memory and communication capabilities. One of the main goals in the design of such systems is the handling of the inherent complexity of the nodes, exarcerbated by the huge number of nodes in the network. For these reasons, it becomes very difficult to model and verify such systems. In this paper, we investigate the main characteristics of sensor nodes, discuss the use of a language derived from Reactive Modules for their modeling, and propose a language (and a tool set) that ease the modeling of this kind of systems.

1 0

[Annonce] nouvelle publi
by Thierry GERAUD 11 Sep '06

11 Sep '06

Publication « Project EFIGI: Automatic Classification of Galaxies » by ThierryGeraud et al. appeared in press - Sep 2006. http://www.lrde.epita.fr/cgi-bin/twiki/view/Publications/200512-ADASS /mnt/doc/lrde/papers/geraud.05.adass.pdf

1 0

[Annonce] Nouvelle publication
by Didier Verna 11 Sep '06

11 Sep '06

J'avais oublié d'en parler à la réunion précédente: j'ai également écrit un article sur CurVe pour le PracTeX Journal paru le 15 Août. http://www.tug.org/pracjourn/ -- El Didou

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

Annonce September 2006