Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Richard Hull"'
Publikováno v:
Deutsch, A; Hull, R; & Vianu, V. (2014). Automatic Verification of Database-Centric Systems. SIGMOD RECORD, 43(3), 5-17. UC San Diego: Retrieved from: http://www.escholarship.org/uc/item/10z362p7
ACM SIGMOD Record, vol 43, iss 3
SIGMOD RECORD, vol 43, iss 3
ACM SIGMOD Record, vol 43, iss 3
SIGMOD RECORD, vol 43, iss 3
Automatic Verification of Database-Centric Systems Alin Deutsch Richard Hull Victor Vianu UC San Diego IBM Yorktown Research Center UC San Diego & INRIA Saclay deutsch@cs.ucsd.edu vianu@cs.ucsd.edu hull@us.ibm.com INTRODUCTION area of business proces
Publikováno v:
Service-Oriented Computing ISBN: 9783319462943
ICSOC
ICSOC
Shared ledger technologies, as exemplified by Blockchain, provide a new framework for supporting business collaborations that is based on having a high-reliability, shared, trusted, privacy-preserving, nonrepudiable data repository that includes prog
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2fe2a493ecd65abf78839da973830105
https://doi.org/10.1007/978-3-319-46295-0_2
https://doi.org/10.1007/978-3-319-46295-0_2
Autor:
Fabiana Fournier, Richard Hull, Mark H. Linehan, Piwadee Noi Sukaviriya, Sridhar Maradugu, Riccardo De Masellis, Stacy F. Hobson, Anil Nigam, Manmohan Gupta, Elio Damaggio, Fenno F. Terry Heath, Roman Vaculin
Publikováno v:
DEBS
A promising approach to managing business operations is based on business artifacts, a.k.a. business entities (with lifecycles). These are key conceptual entities that are central to guiding the operations of a business, and whose content changes as
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783540751823
BPM
BPM
Business process (BP) modeling is a building block for design andmanagement of business processes. Two fundamental aspects of BP modelingare: a formal framework that well integrates both control flow and data, and a setof tools to assist all phases o
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d325d6683a055f03679ae40274eee966
https://doi.org/10.1007/978-3-540-75183-0_21
https://doi.org/10.1007/978-3-540-75183-0_21