7530 search results - page 215 / 1506 » Design and Implementation of the YAWL System |
162
click to vote
ACE
2003
15 years 8 months ago
2003
This paper describes the development, implementation and evaluation of a new teaching approach for a large first year undergraduate course in information systems at the University...
210
click to vote
CONCUR
2009
Springer
15 years 4 months ago
2009
Springer
We introduce a new programming language called BlenX. It is strongly inspired to process calculi and it is an evolution of Betabinders. It has been specifically designed and implem...
187
click to vote
MAM
2008
15 years 6 months ago
2008
This paper presents a design methodology for a hybrid Hardwarein-the-Loop (HIL) tester tool, based on both discrete event system theory, given by timed automata, and continuous sy...
180
click to vote
ICCD
2003
IEEE
16 years 3 months ago
2003
IEEE
Multiple clock domains are a challenge for hardware specification and verification. We present a method for specifying the relations between multiple clocks, and for modeling th...
358
click to vote
Lecture Notes
The Lecture notes covers database architecture, design, administration, and implementation. Evaluation and use of database-management systems for computers, with emphasis on microc...