50 search results - page 3 / 10 » Diagnosability Analysis of a Class of Hierarchical State Mac... |
ICML
2005
IEEE
14 years 8 months ago
2005
IEEE
We present Variable Influence Structure Analysis, an algorithm that dynamically performs hierarchical decomposition of factored Markov decision processes. Our algorithm determines...
ISSRE
2002
IEEE
14 years 11 days ago
2002
IEEE
A number of strategies have been proposed for state-based class testing. An important proposal was made by Chow [5] and adapted by Binder [3]: It consists in deriving test sequenc...
TOOLS
1999
IEEE
13 years 11 months ago
1999
IEEE
The goal of this paper is to obtain a one-to-one correspondence between state machines as e.g. used in UML and object-oriented programming languages. A proposal is made for a lang...
ICST
2009
IEEE
14 years 2 months ago
2009
IEEE
We propose a novel testing approach that combines information from UML sequence models and state machine models. Current approaches that rely solely on sequence models do not cons...
VLDB
2007
ACM
14 years 7 months ago
2007
ACM
Whenever an intrusion occurs, the security and value of a computer system is compromised. Network-based attacks make it difficult for legitimate users to access various network ser...