488 search results - page 27 / 98 » On the Formal Generation of Process Redesigns |
COLING
1990
15 years 28 days ago
1990
Tense and aspect, together with mood and modality, usually form the entangled structure of a complex verb. They are often hard to translate by machines, because of both syntactic ...
120
click to vote
FDL
2007
IEEE
15 years 6 months ago
2007
IEEE
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
104
click to vote
ICAC
2005
IEEE
15 years 5 months ago
2005
IEEE
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed enterprise applications. This paper provides two contributions to the...
93
Voted
WSC
1998
15 years 1 months ago
1998
Simulation modeling provides an effective and powerful approach for capturing and analyzing complex manufacturing systems. More and more decisions are based on computer generated ...
120
click to vote
TSE
2010
14 years 10 months ago
2010
— Describing and managing activities, resources and constraints of software development processes is a challenging goal for many organizations. A first generation of Software Pro...