Sciweavers

1477 search results - page 214 / 296
» Token flow control
Sort
View
WECWIS
2006
IEEE
151views ECommerce» more  WECWIS 2006»
14 years 4 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
CAMP
2005
IEEE
14 years 3 months ago
A Plug-and-Play Architecture for Cognitive Video Stream Analysis
— This paper presents an architecture for cognitive analysis of streaming video, in which a new module can easily be plugged in, to add to or even compete with existing functiona...
Thor List, José Bins, Robert B. Fisher, Dav...
ISORC
2005
IEEE
14 years 3 months ago
Automated Model Checking and Testing for Composite Web Services
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong C...
AIED
2005
Springer
14 years 3 months ago
Computer Games as Intelligent Learning Environments: A River Ecosystem Adventure
Our goal in this work has been to bring together the entertaining and flow characteristics of video game environments with proven learning theories to advance the state of the art ...
Jason Tan, Chris Beers, Ruchi Gupta, Gautam Biswas
DSVIS
2005
Springer
14 years 3 months ago
Mapping ConcurTaskTrees into UML 2.0
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...
Leonel Nóbrega, Nuno Jardim Nunes, Helder C...