101 search results - page 18 / 21 » Error Correcting Analysis for Tree Languages |
MODELS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper describes our experiences in defining the processes associated with preparing and administrating chemotherapy and then using those process definitions as the b...
DFG
2004
Springer
14 years 9 days ago
2004
Springer
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
DOCENG
2007
ACM
14 years 15 days ago
2007
ACM
Genre, like layout, is an important factor in effective communication, and automated tools which assist in genre compliance are thus of considerable value. Genres are reusable met...
CD
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...
RTCSA
1999
IEEE
14 years 26 days ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...