Sciweavers

5339 search results - page 108 / 1068
» Controllable Delay-Insensitive Processes
Sort
View
CSCWD
2006
Springer
15 years 4 months ago
Using Isolation Spheres for Cooperative Processes Correctness
Managing cooperation in Business Processes still represents a challenge because of several problems. Concurrent access to common data, coherence of the results, organisation and c...
Adnene Guabtni, François Charoy, Claude God...
180
Voted
POPL
2005
ACM
16 years 29 days ago
Communicating quantum processes
We define a language CQP (Communicating Quantum Processes) for modelling systems which combine quantum and classical communication and computation. CQP combines the communication ...
Simon J. Gay, Rajagopal Nagarajan
124
Voted
IROS
2009
IEEE
206views Robotics» more  IROS 2009»
15 years 7 months ago
Bayesian reinforcement learning in continuous POMDPs with gaussian processes
— Partially Observable Markov Decision Processes (POMDPs) provide a rich mathematical model to handle realworld sequential decision processes but require a known model to be solv...
Patrick Dallaire, Camille Besse, Stéphane R...
92
Voted
ADBIS
2007
Springer
125views Database» more  ADBIS 2007»
15 years 6 months ago
Towards Self-Optimization of Message Transformation Processes
The Message Transformation Model (MTM), for modeling complex message transformation processes in data centric application scenarios, provides strong capabilities for describing the...
Matthias Böhm, Dirk Habich, Uwe Wloka, Jü...
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