4895 search results - page 733 / 979 » Tools for Grammar Engineering |
134
click to vote
FM
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Control diagrams are routinely used by engineers in the design of control systems. Yet, currently the formal verification of programs that implement the diagrams is a ch...
187
click to vote
FSMNLP
2005
Springer
16 years 3 days ago
2005
Springer
This paper describes the implementation and system details of Klex, a finite-state transducer lexicon for the Korean language, developed using XRCE’s Xerox Finite State Tool (XF...
141
click to vote
ICESS
2005
Springer
16 years 3 days ago
2005
Springer
This paper presents a self-correcting control unit design using Hamming codes for finite state machine (FSM) state encoding. The adopted technique can correct single-bit errors and...
161
click to vote
ICSOC
2005
Springer
16 years 3 days ago
2005
Springer
Web Services are entailing a major shift of perspective in software engineering: software is used and not owned, and operation happens on machines that are out of the user control....
152
click to vote
SERA
2005
Springer
16 years 2 days ago
2005
Springer
In recent years, embedded systems have become so complex and the development time to market is required to be shorter than before. As embedded systems include more functions for n...