关注
Elio Damaggio
标题
引用次数
引用次数
年份
Introducing the guard-stage-milestone approach for specifying business entity lifecycles
R Hull, E Damaggio, F Fournier, M Gupta, F Heath, S Hobson, M Linehan, ...
Web Services and Formal Methods: 7th International Workshop, WS-FM 2010 …, 2011
2912011
Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events
R Hull, E Damaggio, R De Masellis, F Fournier, M Gupta, FT Heath III, ...
Proceedings of the 5th ACM international conference on Distributed event …, 2011
2372011
On the equivalence of incremental and fixpoint semantics for business artifacts with Guard–Stage–Milestone lifecycles
E Damaggio, R Hull, R Vaculín
Information Systems 38 (4), 561-584, 2013
1912013
Artifact systems with data dependencies and arithmetic
E Damaggio, A Deutsch, V Vianu
ACM Transactions on Database Systems (TODS) 37 (3), 1-36, 2012
1352012
Semantic data integration in P2P systems
D Calvanese, E Damaggio, G De Giacomo, M Lenzerini, R Rosati
International Workshop on Databases, Information Systems, and Peer-to-Peer …, 2003
882003
Automatic verification of data-centric business processes
E Damaggio, A Deutsch, R Hull, V Vianu
International conference on business process management, 3-16, 2011
492011
Deployment of modular applications from the cloud to local devices
C Street, E Damaggio, J Perez, A Dar, MR Yagley, SJ George, ...
US Patent 11,204,816, 2021
162021
Cloud management of low-resource devices via an intermediary device
SJ George, CW Skinner, C Street, E Damaggio, J Perez, O Bloch, ...
US Patent 11,182,224, 2021
122021
Hobson
R Hull, E Damaggio, F Fournier, M Gupta, F Heath III
Stacy, Linehan, Mark, Maradugu, Sridhar, Nigam, Anil, Sukaviriya, Piyawadee …, 0
9
Piwadee Noi Sukaviriya, and Roman Vaculin. Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events
R Hull, E Damaggio, R De Masellis, F Fournier, M Gupta, FT Heath III, ...
Proc. of DEBS 11, 51-62, 2011
82011
Creation of modular applications with corresponding twins in the cloud
E Damaggio, A Dar, AK Gande, J Perez, SJ George, CW Skinner
US Patent 11,204,815, 2021
72021
Cloud modification of modular applications running on local devices
SJ George, CW Skinner, E Damaggio, A Dar, AK Gande, SS Pradhan, ...
US Patent 10,698,747, 2020
72020
Hierarchical split of application between cloud and edge
SJ George, CW Skinner, C Street, E Damaggio, MR Yagley, V Puranik, ...
US Patent 11,354,174, 2022
62022
Modular applications using a common provisioning service
E Damaggio, C Street, EN Asanghanwa, ARDNP Ribeiro, DL Barry, ...
US Patent 10,970,138, 2021
62021
A Formal Introduction to Business Artifacts with Guard-Stage-Milestone Lifecycles
R Hull, E Damaggio, R De Masellis, F Fournier, M Gupta, IIIFT Heath, ...
vol 257593, 1-33, 2011
62011
A formal introduction to business artifacts with guard-stage-milestone lifecycles, Version 0.8, May, 2011. Draft IBM Research internal report
R Hull, E Damaggio, R De Masellis, F Fournier, M Gupta, F Heath III, ...
6
Distribution of events in edge devices
SJ George, CW Skinner, E Damaggio, A Dar, MR Yagley, V Puranik, ...
US Patent 11,221,892, 2022
42022
Querying contract databases based on temporal behavior
E Damaggio, A Deutsch, D Zhou
Proceedings of the 2011 ACM SIGMOD International Conference on Management of …, 2011
12011
Verification of business process specifications with arithmetic and data dependencies
E Damaggio
University of California, San Diego, 2011
12011
Declarative IoT data control
E Damaggio
US Patent 11,997,438, 2024
2024
系统目前无法执行此操作,请稍后再试。
文章 1–20