2432 search results - page 21 / 487 » High-level approach to modeling of observed system behavior |
FLAIRS
2001
15 years 1 months ago
2001
To successfully interact with users in providing useful information, intelligent user interfaces need a mechanism for recognizing, characterizing, and predicting user actions. In ...
105
click to vote
SIGSOFT
2010
ACM
14 years 9 months ago
2010
ACM
In this thesis, I will improve the state-of-the-art for capturing, analyzing, and refining functional requirements by providing support for synthesizing, analyzing, and refining M...
DSRT
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...
ATC
2009
Springer
15 years 6 months ago
2009
Springer
We present a resource management algorithm based upon guided “walks” within a system state space. Walks are guided via simple predictions of optimum behavior whose accuracy inc...
INFOCOM
2006
IEEE
15 years 5 months ago
2006
IEEE
— Polymorphic worms can change their byte sequence as they replicate and propagate, thwarting the traditional signature analysis techniques used by many intrusion detection syste...