670 search results - page 91 / 134 » Real Time Model Checking Using Timed Concurrent State Machin... |
DISCEX
2003
IEEE
14 years 28 days ago
2003
IEEE
Efforts toward automated detection and identification of multistep cyber attack scenarios would benefit significantly from a methodology and language for modeling such scenario...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
Markov models have been widely utilized for modelling user web navigation behaviour. In this work we propose a dynamic clustering-based method to increase a Markov model's ac...
CW
2002
IEEE
14 years 18 days ago
2002
IEEE
Multimedia presentation systems require flexible support for the modeling of multimedia content models. Many presentation systems provide the synchronized, sequential or concurren...
ALS
2003
Springer
14 years 26 days ago
2003
Springer
Despite recent successes in control theoretical programs for limb control, behavior-based cognitive approaches for control are somewhat lacking behind. Insights in psychology and ...
IEEEARES
2006
IEEE
14 years 1 months ago
2006
IEEE
There is an increasing demand for highly reliable systems in the safety conscious climate of today’s world. When a fault does occur there are two desirable outcomes. Firstly, de...