Sciweavers

1675 search results - page 163 / 335
» Compositional Model-Based Design
Sort
View
WIMOB
2008
IEEE
14 years 3 months ago
A Mechanism Design-Based Secure Architecture for Mobile Ad Hoc Networks
—To avoid the single point of failure for the certificate authority (CA) in MANET, a decentralized solution is proposed where nodes are grouped into different clusters. Each clu...
Abderrezak Rachedi, Abderrahim Benslimane, Hadi Ot...
SEFM
2007
IEEE
14 years 3 months ago
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
Bernhard K. Aichernig, Bernhard Peischl, Martin We...
ICDAR
2003
IEEE
14 years 2 months ago
N-Gram and N-Class Models for On line Handwriting Recognition
This paper highlights the interest of a language model in increasing the performances of on-line handwriting recognition systems. Models based on statistical approaches, trained o...
Freddy Perraud, Christian Viard-Gaudin, Emmanuel M...
IPPS
1999
IEEE
14 years 1 months ago
Dependability Evaluation of Fault Tolerant Distributed Industrial Control Systems
Modern distributed industrial control systems need improvements in their dependability. In this paper we study the dependability of a fault tolerant distributed industrial control ...
José Carlos Campelo, Pedro Yuste, Francisco...
WSC
2007
13 years 11 months ago
Agent-based modeling and simulation of wildland fire suppression
Simulation of wildland fire suppression is useful to evaluate deployment plans of firefighting resources and to experiment different fire suppression strategies and tactics. Previ...
Xiaolin Hu, Yi Sun