7530 search results - page 285 / 1506 » Design and Implementation of the YAWL System |
194
click to vote
CSCW
2002
ACM
15 years 6 months ago
2002
ACM
This paper analyses the collaborative design of a high-technology product, a neuromagnetometer used in the analysis of the activity of the human cortex. The producer, Neuromag Com...
174
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
Since its first release the system level language SystemC had a significant impact on various areas in VLSI-CAD. One remarkable benefit of SystemC lies in the of abstraction le...
167
click to vote
ISCAPDCS
2008
15 years 8 months ago
2008
Abstract -- At the present time, when the usage of supercomputers has been brought into play and turned out to be more widespread, the research of Asymmetric Operating Systems has ...
148
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
This paper describes the design, implementation, and testing of a system for selecting necessary axioms from a large set also containing superfluous axioms, to obtain a proof of a...
194
click to vote
CC
2008
Springer
15 years 8 months ago
2008
Springer
This paper describes the design and implementation of a language for specifying the semantics of an instruction set, along with a run-time system to support the static analysis of ...