English
Related papers

Related papers: Verification of Query Completeness over Processes …

200 papers

A significant portion of the effort involved in advanced process control, process analytics, and machine learning involves acquiring and preparing data. Literature often emphasizes increasingly complex modelling techniques with incremental…

Systems and Control · Electrical Eng. & Systems 2023-04-07 Lim C. Siang , Shams Elnawawi , Lee D. Rippon , Daniel L. O'Connor , R. Bhushan Gopaluni

The capability to store data about business processes execution in so-called Event Logs has brought to the diffusion of tools for the analysis of process executions and for the assessment of the goodness of a process model. Nonetheless,…

In this paper we introduce the notion of Demand-Weighted Completeness, allowing estimation of the completeness of a knowledge base with respect to how it is used. Defining an entity by its classes, we employ usage data to predict the…

Artificial Intelligence · Computer Science 2018-05-01 Andrew Hopkinson , Amit Gurdasani , Dave Palfrey , Arpit Mittal

Data is the central asset of today's dynamically operating organization and their business. This data is usually stored in database. A major consideration is applied on the security of that data from the unauthorized access and intruders.…

Databases · Computer Science 2013-08-25 Manish Sharma , Atul Chaudhary , Santosh Kumar

Process mining is a new emerging research trend over the last decade which focuses on analyzing the processes using event log and data. The raising integration of information systems for the operation of business processes provides the…

Software Engineering · Computer Science 2019-09-16 B. Kamala

Rules based approaches for data quality solutions often use business rules or integrity rules for data monitoring purpose. Integrity rules are constraints on data derived from business rules into a formal form in order to allow…

Software Engineering · Computer Science 2017-04-21 Thanh Thoa Pham Thi , Markus Helfert

Fact-checking is the process of evaluating the veracity of claims (i.e., purported facts). In this opinion piece, we raise an issue that has received little attention in prior work -- that some claims are far more difficult to fact-check…

Computation and Language · Computer Science 2022-02-08 Prakhar Singh , Anubrata Das , Junyi Jessy Li , Matthew Lease

The present study deals with Transparent Data Encryption which is a technology used to solve the problems of security of data. Transparent Data Encryption means encrypting databases on hard disk and on any backup media. Present day global…

Databases · Computer Science 2013-03-05 Dr. Anwar Pasha Deshmukh , Dr. Riyazuddin Qureshi

Data quality is vital for user experience in products reliant on data. As solutions for data quality problems, researchers have developed various taxonomies for different types of issues. However, although some of the existing taxonomies…

Databases · Computer Science 2024-05-28 Qiaolin Qin , Heng Li , Ettore Merlo

Assessing and improving the quality of data are fundamental challenges for data-intensive systems that have given rise to applications targeting transformation and cleaning of data. However, while schema design, data cleaning, and data…

Databases · Computer Science 2017-03-28 Rada Chirkova , Jon Doyle , Juan L. Reutter

The most successful organizations in the world are data-driven businesses. Data is at the core of the business of many organizations as one of the most important assets, since the decisions they make cannot be better than the data on which…

Databases · Computer Science 2021-02-24 Fernando Gualo , Moisés Rodríguez , Javier Verdugo , Ismael Caballero , Mario Piattini

In modern organizations, Information and Communication Technologies are used to support the organizations' activities. To manage the quality of the organization processes, audit processes are implemented. Also, the audit processes can aim…

Other Computer Science · Computer Science 2012-01-04 Marius Popa

This study investigates factors influencing employees' perceptions of the usefulness of Business Process Management Systems (BPMS) in commercial settings. It explores the roles of system dependency, system quality, and the quality of…

Human-Computer Interaction · Computer Science 2025-03-24 Alicia Martin-Navarro , Maria Paula Lechuga-Sancho , Marek Szelagowski , Jose Aurelio Medina-Garrido

The book gives a detailed exposition of basic concepts and results of a theory of processes. The presentation of theoretical concepts and results is accompanied with illustrations of their application to solving various problems of…

Logic in Computer Science · Computer Science 2010-09-14 Andrew M. Mironov

Formal software verification uses mathematical techniques to establish that software has certain properties. For example, that the behaviour of a software system satisfies certain logically-specified properties. Formal methods have a long…

Software Engineering · Computer Science 2019-03-12 Michael Winikoff

Business process models abstract complex business processes by representing them as graphical models. Their layout, solely determined by the modeler, affects their understandability. To support the construction of understandable models it…

Software Engineering · Computer Science 2017-01-18 Andrea Burattin , Vered Bernstein , Manuel Neurauter , Pnina Soffer , Barbara Weber

In the era of revolution, the development of softwares are increasing daily. The quality of software impacts the most in software development. To ensure the quality of the software it needs to be reviewed and updated. The effectiveness of…

Software Engineering · Computer Science 2021-07-23 Shaykh Siddique

One of the most valuable assets of an organization is its organizational data. The analysis and mining of this potential hidden treasure can lead to much added-value for the organization. Process mining is an emerging area that can be…

Software Engineering · Computer Science 2016-07-05 Asef Pourmasoumi , Ebrahim Bagheri

The requirements in automation, digitalization, and fast computations have loaded the IT sector with expectations of highly reliable, efficient, and cost-effective software. Given that the process of testing, verification, and validation of…

Software Engineering · Computer Science 2022-09-08 Durga Shree N , Sree Dharinya S , Dasari Vijayasree , Nadendla Sai Roopa , Anugu Arun

Data is one of the most important assets of the information age, and its societal impact is undisputed. Yet, rigorous methods of assessing the quality of data are lacking. In this paper, we propose a formal definition for the quality of a…

Machine Learning · Computer Science 2020-05-13 Netanel Raviv , Siddharth Jain , Jehoshua Bruck