186 search results - page 30 / 38 » Formal Modeling and Analysis of the Modbus Protocol |
CAV
2006
Springer
15 years 2 months ago
2006
Springer
We present an approach for applying symmetry reduction techniques to probabilistic model checking, a formal verification method for the quantitative analysis of systems with stocha...
ICCV
1995
IEEE
15 years 1 months ago
1995
IEEE
We present a novel motion-based approach for the part determination and shape estimation of a human’s body parts. The novelty of the technique is that neither a prior model of t...
105
click to vote
FORMATS
2003
Springer
15 years 3 months ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
GC
2004
Springer
15 years 3 months ago
2004
Springer
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...
CNSR
2007
IEEE
15 years 5 days ago
2007
IEEE
Wireless sensor networks have mainly been designed for information-collecting purposes, such as habitat monitoring, product process tracing, battlefield surveillance, etc. In orde...