English
Related papers

Related papers: Monitoring and Intervention: Concepts and Formal M…

200 papers

We study the tracking problem, namely, estimating the hidden state of an object over time, from unreliable and noisy measurements. The standard framework for the tracking problem is the generative framework, which is the basis of solutions…

Machine Learning · Computer Science 2010-01-19 Kamalika Chaudhuri , Yoav Freund , Daniel Hsu

Effective activity and event monitoring is an essential aspect of digital forensic readiness. Techniques for capturing log and other event data are familiar from conventional networked hosts and transfer directly to the Cloud context. In…

Cryptography and Security · Computer Science 2024-05-06 George R. S. Weir , Andreas Aßmuth

Technology adoption research aims to determine the reasons why and how individuals, corporations, and industries start using new technology. Furthermore, technology adoption itself is decomposed into underlying sub-processes which are…

Applications · Statistics 2023-03-21 Vahidin Jeleskovic , David Alexander Behrens , Wolfgang Karl Härdle

Surgical procedures are often not "standardised" (i.e., defined in a unique and unambiguous way), but rather exist as implicit knowledge in the minds of the surgeon and the surgical team. This reliance extends to pre-surgery planning and…

Cryptography and Security · Computer Science 2024-08-12 Ioana Sandu , Rita Borgo , Prokar Dasgupta , Ramesh Thurairaja , Luca Viganò

As machine learning (ML) components become increasingly integrated into software systems, the emphasis on the ethical or responsible aspects of their use has grown significantly. This includes building ML-based systems that adhere to…

Software Engineering · Computer Science 2023-10-11 Hira Naveed

Group meetings are frequent business events aimed to develop and conduct project work, such as Big Room design and construction project meetings. To be effective in these meetings, participants need to have an engaged mental state. The…

Computer Vision and Pattern Recognition · Computer Science 2016-09-01 Maria Frank , Ghassem Tofighi , Haisong Gu , Renate Fruchter

Cloud service owners need to continuously monitor their services to ensure high availability and reliability. Gaps in monitoring can lead to delay in incident detection and significant negative customer impact. Current process of monitor…

Networking and Internet Architecture · Computer Science 2024-03-14 Pooja Srinivas , Fiza Husain , Anjaly Parayil , Ayush Choure , Chetan Bansal , Saravan Rajmohan

The practicality of a video surveillance system is adversely limited by the amount of queries that can be placed on human resources and their vigilance in response. To transcend this limitation, a major effort under way is to include…

Computer Vision and Pattern Recognition · Computer Science 2014-05-16 Samaneh Khoshrou , Jaime S. Cardoso , Luis F. Teixeira

Trust and reputation models for distributed, collaborative systems have been studied and applied in several domains, in order to stimulate cooperation while preventing selfish and malicious behaviors. Nonetheless, such models have received…

Logic in Computer Science · Computer Science 2016-07-11 Alessandro Aldini

A range of integrated modeling approaches have been developed to enable a holistic representation of business process logic together with all relevant business rules. These approaches address inherent problems with separate documentation of…

Information Retrieval · Computer Science 2025-06-18 Tianwa Chen , Barbara Weber , Graeme Shanks , Gianluca Demartini , Marta Indulska , Shazia Sadiq

Behavior modeling and software architecture specification are attracting more attention in software engineering. Describing both of them in integrated models yields numerous advantages for coping with complexity since the models are…

Software Engineering · Computer Science 2019-07-30 Sabah Al-Fedaghi

Field data is an invaluable source of information for testers and developers because it witnesses how software systems operate in real environments, capturing scenarios and configurations relevant to end-users. Unfortunately, collecting…

Software Engineering · Computer Science 2017-08-25 Oscar Cornejo , Daniela Briola , Daniela Micucci , Leonardo Mariani

The future of transportation is being shaped by technology, and one revolutionary step in improving road safety is the incorporation of robotic systems into driver monitoring infrastructure. This literature review explores the current…

Robotics · Computer Science 2024-01-30 Farhin Farhad Riya , Shahinul Hoque , Xiaopeng Zhao , Jinyuan Stella Sun

Predictive process monitoring is concerned with the analysis of events produced during the execution of a process in order to predict the future state of ongoing cases thereof. Existing techniques in this field are able to predict, at each…

Machine Learning · Computer Science 2018-06-21 Irene Teinemaa , Niek Tax , Massimiliano de Leoni , Marlon Dumas , Fabrizio Maria Maggi

Intelligent information systems that contain emergent elements often encounter trust problems because results do not get sufficiently explained and the procedure itself can not be fully retraced. This is caused by a control flow depending…

Computers and Society · Computer Science 2021-04-30 Michael Guckert , Nils Gumpfer , Jennifer Hannig , Till Keller , Neil Urquhart

A complex pervasive system is typically composed of many cooperating \emph{nodes}, running on machines with different capabilities, and pervasively distributed across the environment. These systems pose several new challenges such as the…

Software Engineering · Computer Science 2015-03-17 Nicolo' Maria Calcavecchia , Elisabetta Di Nitto

Complex systems' modeling and simulation are powerful ways to investigate a multitude of natural phenomena providing extended knowledge on their structure and behavior. However, enhanced modeling and simulation require integration of…

Operators performing high-stakes, safety-critical tasks - such as air traffic controllers, surgeons, or mission control personnel - must maintain exceptional cognitive performance under variable and often stressful conditions. This paper…

Human-Computer Interaction · Computer Science 2025-06-30 Maciej Grzeszczuk , Grzegorz Pochwatko , Barbara Karpowicz , Stanisław Knapiński , Wiesław Kopeć

The area of research includes control theory, dynamic systems, parameters of the external environment, mode, integral indicators, British standards. The main idea of the article is information security. The activity of a large-scale object…

Optimization and Control · Mathematics 2025-01-29 Sergey Masaev , Andrey Minkin , Yuri Bezborodov , Dmitry Edimichev , Yass Salal

We examine one particular dimension of AI governance: how to monitor and audit AI-enabled products and services throughout the AI development lifecycle, from pre-deployment testing to post-deployment auditing. Combining principles from…

Artificial Intelligence · Computer Science 2026-05-18 Parand A. Alamdari , Toryn Q. Klassen , Sheila A. McIlraith