488 search results - page 43 / 98 » On the Formal Generation of Process Redesigns |
123
click to vote
MEMOCODE
2008
IEEE
15 years 8 months ago
2008
IEEE
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
120
click to vote
IUI
1997
ACM
15 years 6 months ago
1997
ACM
FUSE (Formal User Interface Specification Environment) is an integrated user interface development environment that offers tool-based support for all phases of the interface desig...
100
click to vote
ACL
2006
15 years 3 months ago
2006
Unification grammars are widely accepted as an expressive means for describing the structure of natural languages. In general, the recognition problem is undecidable for unificati...
105
click to vote
SCCC
2008
IEEE
15 years 8 months ago
2008
IEEE
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In this work an automatic meth...
104
click to vote
ICECCS
1997
IEEE
15 years 6 months ago
1997
IEEE
Software architectures can play a role in improving the testing process of complex systems. In particular, descriptions of the software architecture can be useful to drive integra...