Sciweavers

936 search results - page 31 / 188
» FSM-Hume is finite state
Sort
View
ISPDC
2003
IEEE
14 years 2 months ago
Role Activity Diagrams as Finite State Processes
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...
Costin Badica, Amelia Badica, Valentin Litoiu
SBCCI
2003
ACM
84views VLSI» more  SBCCI 2003»
14 years 2 months ago
Retiming Finite State Machines to Control Hardened Data-Paths
Ivan Augé, François Donnet, Fr&eacut...
CICLING
2003
Springer
14 years 2 months ago
Per-node Optimization of Finite-State Mechanisms for Natural Language Processing
Finite-state processing is typically based on structures that allow for efficient indexing and sequential search. However, this “rigid” framework has several disadvantages when...
Alexander Troussov, Brian O'Donovan, Seppo Koskenn...
KBSE
2002
IEEE
14 years 1 months ago
What Makes Finite-State Models More (or Less) Testable?
Finite-state machine (FSM) models are commonly used to represent software with concurrent processes. Established model checking tools can be used to automatically test FSM models,...
David Owen, Tim Menzies, Bojan Cukic
TIME
2002
IEEE
14 years 1 months ago
A Finite-State Approach to Event Semantics
Events employed in natural language semantics are characterized in terms of regular languages, each string in which can be regarded as a motion picture. The relevant finite autom...
Tim Fernando