14 search results - page 1 / 3 » Standardized course generation process using Dynamic Fuzzy P... |
ESWA
2008
13 years 5 months ago
2008
SDL
2003
13 years 6 months 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
13 years 10 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 4 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 4 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...