Sciweavers

2027 search results - page 208 / 406
» Process Support for Tools Interoperability
Sort
View
SPIN
1999
Springer
15 years 10 months ago
Xspin/Project - Integrated Validation Management for Xspin
One of the difficulties of using model checkers “in the large” is the management of all (generated) data during the validation trajectory. It is important that the results obta...
Theo C. Ruys
ICALT
2009
IEEE
15 years 10 months ago
Automated Planning for Personalised Course Composition
Authoring tools for building Intelligent Educational Systems must provide support to ensure flexibility, adaptability of content to the user profile, reusability and sharing of le...
Antonio Garrido, Eva Onaindia, Oscar Sapena
ICIAP
2003
ACM
16 years 6 months ago
Olympus: an ambient intelligence architecture on the verge of reality
This paper presents Olympus, a modular processing architecture for a distributed ambient intelligence. The system is aimed at detailed reporting of people wandering and gesturing ...
F. Bertamini, Roberto Brunelli, Oswald Lanz, A. Ro...
WER
2001
Springer
15 years 11 months ago
Automatic Derivation of Workflow Specifications from Organizational Structures and Use Cases
Workflow technology has reached a reasonable degree of maturity, with a number of both research prototypes and commercial systems available. However, methodological issues have rec...
María del Carmen Penadés, José...
BPM
2006
Springer
105views Business» more  BPM 2006»
15 years 10 months ago
Verifying Workflows with Cancellation Regions and OR-Joins: An Approach Based on Reset Nets and Reachability Analysis
When dealing with complex business processes (e.g., in the context of a workflow implementation or the configuration of some process-aware information system), it is important but ...
Moe Thandar Wynn, Wil M. P. van der Aalst, Arthur ...