229 search results - page 13 / 46 » Formal Modeling of RESTful Systems Using Finite-State Machin... |
183
click to vote
FDL
2004
IEEE
15 years 9 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
171
click to vote
RULEML
2009
Springer
16 years 8 days ago
2009
Springer
Abstract. Event processing rules may be prescribed in many different ways, including by finite state machines, graphical methods, ECA (event-conditionaction) rules or reactive rule...
142
click to vote
COLING
2010
15 years 22 days ago
2010
We use robust and fast Finite-State Machines (FSMs) to solve scriptural translation problems. We describe a phonetico-morphotactic pivot UIT (universal intermediate transcription)...
179
click to vote
FM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
172
click to vote
APIN
2002
15 years 5 months ago
2002
This paper describes a new learning by example mechanism and its application for digital circuit design automation. This mechanism uses finite state machines to represent the infer...