Sciweavers

220 search results - page 16 / 44
» Declarative Process Modeling in BPMN
Sort
View
ISSRE
2010
IEEE
14 years 11 months ago
Automating System Tests Using Declarative Virtual Machines
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...
Sander van der Burg, Eelco Dolstra
90
Voted
ECAI
2004
Springer
15 years 6 months ago
Analysis of Design Process Dynamics
To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a ...
Tibor Bosse, Catholijn M. Jonker, Jan Treur
WECWIS
2006
IEEE
151views ECommerce» more  WECWIS 2006»
15 years 6 months ago
DAG Synchronization Constraint Language for Business Processes
Correct synchronization among activities is critical in a business process. Current workflow languages such as BPEL specify the control flow of processes explicitly. However, thei...
Qinyi Wu, Akhil Sahai
AGI
2011
14 years 4 months ago
Extending Cognitive Architectures with Semantic Resources
This paper presents an integrated modeling framework where the learning and knowledge retrieval mechanisms of the ACT-R cognitive architecture are combined with a semantic resource...
Alessandro Oltramari, Christian Lebiere
BTW
2005
Springer
177views Database» more  BTW 2005»
15 years 6 months ago
Composing Web Services Specifications: Experiences in Implementing Policy-Driven Transactional Processes
: The Web Services architecture defines various specifications that applications may wish to use in combination. In this paper, we investigate the composition of the Web services s...
Stefan Tai