201 search results - page 17 / 41 » Design, Implementation and Deployment of State Machines Usin... |
107
Voted
ASM
2005
ASM
15 years 8 months ago
2005
ASM
Abstract. This paper presents a new approach to model and test hierarchical Graphical User Interfaces (GUIs). We exploit the structure of Hierarchical Finite State Machines (HFSMs)...
114
click to vote
ICAI
2009
15 years 16 days ago
2009
- We address the issues of improving the feature generation methods for the value-function approximation and the state space approximation. We focus the improvement of feature gene...
120
Voted
IJCAI
2007
15 years 4 months ago
2007
This article proposes a Diagnosis Interchange Format (DIF), an XML-based interchange format for Model-Based Diagnosis (MBD). Its main purposes are to allow sharing of diagnostic m...
115
Voted
SRDS
2007
IEEE
15 years 9 months ago
2007
IEEE
Constructing logical machines out of collections of physical machines is a well-known technique for improving the robustness and fault tolerance of distributed systems. We present...
106
Voted
ICNP
2007
IEEE
15 years 9 months ago
2007
IEEE
— We treat the problem of large-scale TCP poisoning: an attacker, who is able to monitor TCP packet headers in the network, can deny service to all flows traversing the monitori...