Sciweavers

1875 search results - page 58 / 375
» Automatic Network Protocol Analysis
Sort
View
NETWORKING
2007
14 years 18 days ago
Simple Models for the Performance Evaluation of a Class of Two-Hop Relay Protocols
We evaluate the performance of a class of two-hop relay protocols for mobile ad hoc networks. The interest is on the multicopy two-hop relay (MTR) protocol, where the source may ge...
Ahmad Al Hanbali, Arzad Alam Kherani, Philippe Nai...
TII
2008
176views more  TII 2008»
13 years 11 months ago
Adaptive Multilevel Code Update Protocol for Real-Time Sensor Operating Systems
In wireless sensor networks each sensor node has very limited resources, and it is very difficult to find and collect them. For this reason, updating or adding programs in sensor n...
Sangho Yi, Hong Min, Yookun Cho, Jiman Hong
DALT
2004
Springer
14 years 2 months ago
Norm Verification and Analysis of Electronic Institutions
Electronic institutions are a formalism to define and analyse protocols among agents with a view to achieving global and individual goals. In this paper we propose a definition of ...
Wamberto Weber Vasconcelos
SIGSOFT
2007
ACM
14 years 12 months ago
SLEDE: lightweight verification of sensor network security protocol implementations
Finding flaws in security protocol implementations is hard. Finding flaws in the implementations of sensor network security protocols is even harder because they are designed to p...
Youssef Hanna
PAMI
2008
189views more  PAMI 2008»
13 years 11 months ago
A Marked Point Process of Rectangles and Segments for Automatic Analysis of Digital Elevation Models
This work presents a framework for automatic feature extraction from images using stochastic geometry. Features in images are modeled as realizations of a spatial point process of ...
Mathias Ortner, Xavier Descombes, Josiane Zerubia