Result 1 to 20 of 192 total
On the equivalence of incremental and fixpoint semantics for business artifacts with guard-stage-milestone lifecycles. (English)
Rinderle-Ma, Stefanie (ed.) et al., Business process management. 9th international conference, BPM 2011, Clermont-Ferrand, France, August 30‒September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23058-5/pbk). Lecture Notes in Computer Science 6896, 396-412 (2011).
1
Automatic verification of data-centric business processes. (English)
Rinderle-Ma, Stefanie (ed.) et al., Business process management. 9th international conference, BPM 2011, Clermont-Ferrand, France, August 30‒September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23058-5/pbk). Lecture Notes in Computer Science 6896, 3-16 (2011).
2
io-port 05924158 Hull, Richard;
Damaggio, Elio;
Fournier, Fabiana;
Gupta, Manmohan;
Heath, Fenno (Terry) III;
Hobson, Stacy;
Linehan, Mark;
Maradugu, Sridhar;
Nigam, Anil;
Sukaviriya, Piyawadee;
Vaculin, Roman
Introducing the guard-stage-milestone approach for specifying business entity lifecycles. (English)
Bravetti, Mario (ed.) et al., Web services and formal methods. 7th international workshop, WS-FM 2010, Hoboken, NJ, USA, September 16‒17, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-19588-4/pbk). Lecture Notes in Computer Science 6551, 1-24 (2011).
3
A research methodology for evaluating location aware experiences. (English)
Pers. Ubiquitous Comput 15, No. 1, 53-60 (2011).
4
io-port 70107049 Hull, Richard;
Damaggio, Elio;
De Masellis, Riccardo;
Fournier, Fabiana;
Gupta, Manmohan;
Heath, Fenno Terry;
Hobson, Stacy;
Linehan, Mark H.;
Maradugu, Sridhar;
Nigam, Anil;
Sukaviriya, Piyawadee Noi;
Vaculín, Roman
Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events (English)
DEBS, 51-62 (2011).
5
Towards flexible service interoperation using business artifacts (English)
EDOC, 20-21 (2011).
6
Declarative business artifact centric modeling of decision and knowledge intensive business processes (English)
EDOC, 151-160 (2011).
7
On the equivalence of incremental and fixpoint semantics for business artifacts with guard-stage-milestone lifecycles (English)
BPM, 396-412 (2011).
8
Automatic verification of data-centric business processes (English)
BPM, 3-16 (2011).
9
Priming, sense-making and help: analysis of player behaviour in an immersive theatrical experience. (English)
Pervasive Mobile Comput. 6, No. 5, 499-511 (2010).
10
Business process management. 8th international conference, BPM 2010, Hoboken, NJ, USA, September 13‒16, 2010. Proceedings. (English)
Lecture Notes in Computer Science 6336. Berlin: Springer (ISBN 978-3-642-15617-5/pbk). xiii, 359~p. EUR~57.78 (2010).
11
Priming, sense-making and help: analysis of player behaviour in an immersive theatrical experience (English)
Pervasive and Mobile Computing 6, No. 5, 499-511 (2010).
12
io-port 70240736 Hull, Richard;
Damaggio, Elio;
Fournier, Fabiana;
Gupta, Manmohan;
Heath, Fenno Terry;
Hobson, Stacy;
Linehan, Mark H.;
Maradugu, Sridhar;
Nigam, Anil;
Sukaviriya, Piyawadee;
Vaculín, Roman
Introducing the guard-stage-milestone approach for specifying business entity lifecycles (English)
WS-FM, 1-24 (2010).
13
Policy-aware sender anonymity in location based services (English)
ICDE, 133-144 (2010).
14
Business artifacts: A data-centric approach to modeling business operations and processes. (English)
Bull. Tech. Comm. Data Eng. 32, No. 3, 3-9 (2009).
15
Telco meets the web: programming shared-experience services. (English)
Bell Labs Tech. J. 14, No. 3, 167-185 (2009).
16
Artifact-centric workflow dominance. (English)
Baresi, Luciano (ed.) et al., Service-oriented computing. 7th international joint conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24‒27, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10382-7/pbk). Lecture Notes in Computer Science 5900, 130-143 (2009).
17
Facilitating workflow interoperation using artifact-centric hubs. (English)
Baresi, Luciano (ed.) et al., Service-oriented computing. 7th international joint conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24‒27, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-10382-7/pbk). Lecture Notes in Computer Science 5900, 1-18 (2009).
18
Facilitating workflow interoperation using artifact-centric hubs (English)
ICSOC/ServiceWave, 1-18 (2009).
19
Artifact-centric workflow dominance (English)
ICSOC/ServiceWave, 130-143 (2009).
20
Result 1 to 20 of 192 total