8446 search results - page 223 / 1690 » A Process Compensation Language |
156
click to vote
CONCUR
1999
Springer
15 years 10 months ago
1999
Springer
Statecharts is a visual language for specifying the behavior of reactive systems. The language extends nite-state machines with concepts of hierarchy, concurrency, and priority. De...
181
click to vote
IPPS
1999
IEEE
15 years 10 months ago
1999
IEEE
In this paper we describe one experiment in which a new coordination language, called MANIFOLD, is used to restructure an existing sequential Fortran code from computational uid dy...
190
click to vote
KONVENS
2000
15 years 10 months ago
2000
Speech repairs occur often in spontaneous spoken dialogues. The ability to detect and correct those repairs is necessary for any spoken language system. We present a framework to ...
163
click to vote
UML
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we propose a verification methodology for System-OnChip (SoC) design using Unified Modeling Language (UML). We introduce UML as a formal model to analyze a...