Sciweavers

2624 search results - page 247 / 525
» On Business Process Model Transformations
Sort
View
FM
2005
Springer
99views Formal Methods» more  FM 2005»
16 years 2 days ago
Semantics of BPEL4WS-Like Fault and Compensation Handling
BPEL4WS is one of the most important business process modelling languages. One distinct feature of it is the fully programmable fault and compensation handling mechanism, which all...
Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Z...
HICSS
2009
IEEE
108views Biometrics» more  HICSS 2009»
15 years 9 months ago
Idea Generation Techniques among Creative Professionals
The creative process has been a key topic research over the past century, but it wasn’t until the last decade that creativity became a hot topic of research in the HCI. It is an...
Scarlett R. Herring, Brett R. Jones, Brian P. Bail...
ICIP
2005
IEEE
16 years 8 months ago
A model free hybrid algorithm for real time tracking
Robustness and accuracy are major issues in real-time tracking. This paper describes a reliable tracking for markerless planar objects based on the fusion of visual cues and on th...
Éric Marchand, Muriel Pressigout
ICASSP
2009
IEEE
16 years 1 months ago
Testing fractal connectivity in multivariate long memory processes
Within the framework of long memory multivariate processes, fractal connectivity is a particular model, in which the low frequencies (coarse scales) of the interspectrum of each p...
Herwig Wendt, Antoine Scherrer, Patrice Abry, Soph...
POPL
2005
ACM
16 years 6 months 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