14 search results - page 1 / 3 » Standardized course generation process using Dynamic Fuzzy P... |
ESWA
2008
13 years 11 months ago
2008
SDL
2003
14 years 7 days ago
2003
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
APN
2004
Springer
14 years 4 months ago
2004
Springer
Process mining offers a way to distill process models from event logs originating from transactional systems in logistics, banking, e-business, health-care, etc. The algorithms us...
INFSOF
2008
13 years 11 months ago
2008
The Business Process Execution Language for Web Services (BPEL) has emerged as the de-facto standard for implementing processes. Although intended as a language for connecting web ...
IJCSA
2008
13 years 11 months ago
2008
ADAPTAPlan project provides dynamic assistance for reducing authors' effort in developing instructional design tasks using user modelling, planning and machine learning techn...