229 search results - page 26 / 46 » Formal Modeling of RESTful Systems Using Finite-State Machin... |
131
Voted
ERSHOV
2003
Springer
15 years 9 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
148
Voted
EACL
2006
ACL Anthology
15 years 5 months ago
2006
ACL Anthology
Multimodal grammars provide an expressive formalism for multimodal integration and understanding. However, handcrafted multimodal grammars can be brittle with respect to unexpecte...
155
Voted
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
Parameterized model checking refers to any method that extends traditional, finite-state model checking to handle systems arbitrary number of processes. One popular approach to thi...
140
click to vote
RTAS
2006
IEEE
15 years 9 months ago
2006
IEEE
Distributed hard real-time systems require guaranteed communication. One common approach is to restrict network access by enforcing a time-division multiple access (TDMA) schedule...
145
Voted
ICSEA
2006
IEEE
15 years 9 months ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...