Sciweavers

662 search results - page 81 / 133
» Behavior Based Integration of Composite Business Processes
Sort
View
EMISA
2002
Springer
14 years 9 months ago
A new reduction method for the analysis of large workflow models
Abstract: This paper presents a new net-reduction methodology to facilitate the analysis of large workflow models. We propose an enhanced algorithm based on reducible subnet identi...
Loucif Zerguini, Kees M. van Hee
CADUI
2004
14 years 11 months ago
A Design Toolkit for Hypermedia Applications Based on Ariadne Development Method
The development process of hypermedia applications implies very specific problems mainly related, first, to the use of navigational structures, interactive behaviours and multimed...
Susana Montero, Camino Fernández, Juan Manu...
ICTAC
2009
Springer
14 years 7 months ago
Integration Testing from Structured First-Order Specifications via Deduction Modulo
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
Delphine Longuet, Marc Aiguier
CAISE
1999
Springer
15 years 2 months ago
Modeling Dynamic Domains with ConGolog
In this paper, we describe the process specification language ConGolog and show how it can be used to model business processes for requirements analysis. In ConGolog, the effects...
Yves Lespérance, Todd G. Kelley, John Mylop...
ENGL
2006
135views more  ENGL 2006»
14 years 9 months ago
An Integral Plus States Adaptive Neural Control of Aerobic Continuous Stirred Tank Reactor
A direct adaptive neural network control system with and without integral action term is designed for the general class of continuous biological fermentation processes. The control...
Ieroham S. Baruch, Petia Georgieva, Josefina Barre...