229 search results - page 3 / 46 » Formal Modeling of RESTful Systems Using Finite-State Machin... |
125
click to vote
ACSD
1998
IEEE
15 years 3 months ago
1998
IEEE
We implement a finite state machine (FSM) domain for specifying and simulating control functionality of a system within the Ptolemy software environment. The FSM domain is success...
EUROMICRO
2009
IEEE
15 years 3 months ago
2009
IEEE
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
126
click to vote
TCS
2010
14 years 10 months ago
2010
There has been much interest in testing from finite state machines (FSMs) as a result of their suitability for modelling or specifying state-based systems. Where there are multip...
COLING
1992
15 years 24 days ago
1992
A language-independent framework for syntactic finlte-state parsing is discussed. The article presents a framework, a formalism, a compiler and a parser for grammars written in th...
IPPS
2009
IEEE
15 years 6 months ago
2009
IEEE
Given a set of n different deterministic finite state machines (DFSMs) modeling a distributed system, we examine the problem of tolerating f crash or Byzantine faults in such a ...