Verification of Data-Aware Processes via Satisfiability Modulo Theories
This book is a revised version of the PhD dissertation written by the author at the University of Bozen-Bolzano in Italy. It presents a new approach to safety verification of a particular class of infinite-state systems, called Data-Aware Processes (DAPs). To do so, the developed technical machinery...
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Tác giả của công ty: | |
| Định dạng: | Điện tử eBook |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Cham :
Springer Nature Switzerland : Imprint: Springer,
2023.
|
| Phiên bản: | 1st ed. 2023. |
| Loạt: | Lecture Notes in Business Information Processing,
470 |
| Những chủ đề: | |
| Truy cập trực tuyến: | https://doi.org/10.1007/978-3-031-42746-6 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
Những quyển sách tương tự
Process Intelligence in Action Taking Process Mining to the Next Level /
Được phát hành: (2024)
Được phát hành: (2024)
Embedding Artificial Intelligence into ERP Software A Conceptual View on Business AI with Examples from SAP S/4HANA /
Bằng: Sarferaz, Siar
Được phát hành: (2024)
Bằng: Sarferaz, Siar
Được phát hành: (2024)
Generating Executable Robotic Process Automation Scripts from Unsegmented User Interface Logs
Bằng: Agostinelli, Simone
Được phát hành: (2024)
Bằng: Agostinelli, Simone
Được phát hành: (2024)
IT Controlling From IT cost and activity allocation to smart controlling /
Bằng: Gadatsch, Andreas
Được phát hành: (2023)
Bằng: Gadatsch, Andreas
Được phát hành: (2023)
Understanding the Digital and AI Transformation
Bằng: Lee, Byeong Gi
Được phát hành: (2025)
Bằng: Lee, Byeong Gi
Được phát hành: (2025)
The AI-Enabled Enterprise
Bằng: Kulkarni, Vinay, et al.
Được phát hành: (2023)
Bằng: Kulkarni, Vinay, et al.
Được phát hành: (2023)
From Data to Insights The Strategy of a Data Analytics Team /
Bằng: Mackay, John
Được phát hành: (2025)
Bằng: Mackay, John
Được phát hành: (2025)
Business Intelligence, Computational Mathematics, and Data Analytics First International Conference, IBCD 2024, Indore, India, August 18–19, 2024, Proceedings /
Được phát hành: (2025)
Được phát hành: (2025)
Advances in Artificial-Business Analytics and Quantum Machine Learning Select Proceedings of the 3rd International Conference, Com-IT-Con 2023, Volume 2 /
Được phát hành: (2024)
Được phát hành: (2024)
Artificial Intelligence for Industries of the Future Beyond Facebook, Amazon, Microsoft and Google /
Bằng: Kejriwal, Mayank
Được phát hành: (2023)
Bằng: Kejriwal, Mayank
Được phát hành: (2023)
The Modern Business Data Analyst A Case Study Introduction into Business Data Analytics with CRISP-DM and R /
Bằng: Jung, Dominik
Được phát hành: (2024)
Bằng: Jung, Dominik
Được phát hành: (2024)
Fundamentals of Business Architecture Modeling
Bằng: Řepa, Václav, et al.
Được phát hành: (2024)
Bằng: Řepa, Václav, et al.
Được phát hành: (2024)
Engineering Information Systems with Large Language Models
Được phát hành: (2025)
Được phát hành: (2025)
Recent Advances in Agent-Based Negotiation: Applications and Competition Challenges
Được phát hành: (2023)
Được phát hành: (2023)
Role of Explainable Artificial Intelligence in E-Commerce
Được phát hành: (2024)
Được phát hành: (2024)
Responsible Artificial Intelligence Challenges for Sustainable Management /
Được phát hành: (2023)
Được phát hành: (2023)
Intelligent Information Systems CAiSE Forum 2024, Limassol, Cyprus, June 3–7, 2024, Proceedings /
Được phát hành: (2024)
Được phát hành: (2024)
Intelligent Information Systems CAiSE 2025 Forum and Doctoral Consortium, Vienna, Austria, June 16-20, 2025, Proceedings /
Được phát hành: (2025)
Được phát hành: (2025)
The Effect of Information Technology on Business and Marketing Intelligence Systems
Được phát hành: (2023)
Được phát hành: (2023)
Digital Transformation for Business Sustainability Trends, Challenges and Opportunities /
Được phát hành: (2023)
Được phát hành: (2023)
Business Analysis Done Right Lessons Learned and Pitfalls Avoided /
Bằng: Zmitrowicz, Karolina
Được phát hành: (2024)
Bằng: Zmitrowicz, Karolina
Được phát hành: (2024)
E-Business. New Challenges and Opportunities for Digital-Enabled Intelligent Future 23rd Wuhan International Conference, WHICEB 2024, Wuhan, China, May 24–26, 2024, Proceedings, Part III /
Được phát hành: (2024)
Được phát hành: (2024)
E-Business. Digital Empowerment for an Intelligent Future 22nd Wuhan International Conference, WHICEB 2023, Wuhan, China, May 26–28, 2023, Proceedings, Part II /
Được phát hành: (2023)
Được phát hành: (2023)
E-Business. Digital Empowerment for an Intelligent Future 22nd Wuhan International Conference, WHICEB 2023, Wuhan, China, May 26–28, 2023, Proceedings, Part I /
Được phát hành: (2023)
Được phát hành: (2023)
E-Business. Generative Artificial Intelligence and Management Transformation 24th Wuhan International Conference on E-business, WHICEB 2025, Guangzhou, China, June 6–8, 2025, Proceedings, Part I /
Được phát hành: (2025)
Được phát hành: (2025)
E-Business. Generative Artificial Intelligence and Management Transformation 24th Wuhan International Conference on E-business, WHICEB 2025, Guangzhou, China, June 6–8, 2025, Proceedings, Part III /
Được phát hành: (2025)
Được phát hành: (2025)
E-Business. Generative Artificial Intelligence and Management Transformation 24th Wuhan International Conference on E-business, WHICEB 2025, Guangzhou, China, June 6–8, 2025, Proceedings, Part II /
Được phát hành: (2025)
Được phát hành: (2025)
Artificial Intelligence for Business Analytics Algorithms, Platforms and Application Scenarios /
Bằng: Weber, Felix
Được phát hành: (2023)
Bằng: Weber, Felix
Được phát hành: (2023)
Artificial intelligence in application Legal aspects, application potentials and use scenarios /
Được phát hành: (2024)
Được phát hành: (2024)
An Ontology Network in Finance and Economics Money, Trust, Value, Risk and Economic Exchanges /
Bằng: Moura Amaral, Glenda Carla
Được phát hành: (2025)
Bằng: Moura Amaral, Glenda Carla
Được phát hành: (2025)
Enterprise, Business-Process and Information Systems Modeling 25th International Conference, BPMDS 2024, and 29th International Conference, EMMSAD 2024, Limassol, Cyprus, June 3–4, 2024, Proceedings /
Được phát hành: (2024)
Được phát hành: (2024)
Enterprise Design Fundamentals Settling an Enterprise Business and Devising the Enterprise Organisation /
Bằng: Dietz, Jan L. G., et al.
Được phát hành: (2025)
Bằng: Dietz, Jan L. G., et al.
Được phát hành: (2025)
Public Cloud Potential in an Enterprise Environment Public Cloud as a New IT Platform to Increase Business Value /
Bằng: Feil, Niklas, et al.
Được phát hành: (2024)
Bằng: Feil, Niklas, et al.
Được phát hành: (2024)
Apply Data Science Introduction, Applications and Projects /
Được phát hành: (2023)
Được phát hành: (2023)
Business Analytics with R and Python
Bằng: Olson, David L., et al.
Được phát hành: (2024)
Bằng: Olson, David L., et al.
Được phát hành: (2024)
Perspectives in Business Informatics Research 22nd International Conference on Business Informatics Research, BIR 2023, Ascoli Piceno, Italy, September 13–15, 2023, Proceedings /
Được phát hành: (2023)
Được phát hành: (2023)
The Practice of Enterprise Modeling 16th IFIP Working Conference, PoEM 2023, Vienna, Austria, November 28 – December 1, 2023, Proceedings /
Được phát hành: (2024)
Được phát hành: (2024)
The Practice of Enterprise Modeling 17th IFIP Working Conference, PoEM 2024, Stockholm, Sweden, December 3–5, 2024, Proceedings /
Được phát hành: (2025)
Được phát hành: (2025)
Cloud Transformation The Public Cloud Is Changing Businesses /
Bằng: Frank, Roland, et al.
Được phát hành: (2023)
Bằng: Frank, Roland, et al.
Được phát hành: (2023)
Navigating the Intersection of Business, Sustainability and Technology
Được phát hành: (2023)
Được phát hành: (2023)