Sciweavers

8446 search results - page 233 / 1690
» A Process Compensation Language
Sort
View
AMW
2010
15 years 8 months ago
What You Must Remember When Processing Data Words
We provide a Myhill-Nerode-like theorem that characterizes the class of data languages recognized by deterministic finite-memory automata (DMA). As a byproduct of this characteriza...
Michael Benedikt, Clemens Ley, Gabriele Puppis
FM
2009
Springer
116views Formal Methods» more  FM 2009»
16 years 1 months ago
Language and Tool Support for Class and State Machine Refinement in UML-B
Mar Yah Said, Michael J. Butler, Colin F. Snook
TALIP
2010
86views more  TALIP 2010»
15 years 1 months ago
An Information-Extraction System for Urdu - A Resource-Poor Language
Smruthi Mukund, Rohini K. Srihari, Erik Peterson
TALIP
2010
61views more  TALIP 2010»
15 years 1 months ago
Transliteration for Resource-Scarce Languages
Manoj Kumar Chinnakotla, Om P. Damani, Avijit Sato...
EWSPT
2003
Springer
15 years 11 months ago
Formalizing Rework in Software Processes
Abstract. This paper indicates how effective software-process programming languages can lead to improved understandings of critical software processes, as well as improved process ...
Aaron G. Cass, Stanley M. Sutton Jr., Leon J. Oste...