English
Related papers

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

200 papers

Advances in IoT technologies combined with new algorithms have enabled the collection and processing of high-rate multi-source data streams that quantify human behavior in a fine-grained level and can lead to deeper insights on individual…

Mathematical models are increasingly a part of microbiological research. Here, we share our perspective on how modeling advances the discipline by: (i) enforcing logical consistency, (ii) enabling quantitative prediction, (iii) extracting…

Other Quantitative Biology · Quantitative Biology 2026-04-22 Jamie A. Lopez , Amir Erez

Prescriptive process monitoring approaches leverage historical data to prescribe runtime interventions that will likely prevent negative case outcomes or improve a process's performance. A centerpiece of a prescriptive process monitoring…

Artificial Intelligence · Computer Science 2022-06-17 Mahmoud Shoush , Marlon Dumas

Threat modelling is the process of identifying potential vulnerabilities in a system and prioritising them. Existing threat modelling tools focus primarily on technical systems and are not as well suited to interpersonal threats. In this…

Cryptography and Security · Computer Science 2025-05-06 Kieron Ivy Turk , Anna Talas , Alice Hutchings

Monitoring is a critical component in fog environments: it promptly provides insights about the behavior of systems, reveals Service Level Agreements (SLAs) violations, enables the autonomous orchestration of services and platforms, calls…

Systems and Control · Electrical Eng. & Systems 2022-05-10 Vera Colombo , Alessandro Tundo , Michele Ciavotta , Leonardo Mariani

Observability helps ensure the reliability and maintainability of cloud-native applications. As software architectures become increasingly distributed and subject to change, it becomes a greater challenge to diagnose system issues…

Software Engineering · Computer Science 2025-10-06 Carlos Albuquerque , Filipe F. Correia

Software engineering concepts and processes are worthy of formal study; and yet we seldom formalize them. This "research ideas" article explores what a theory of software engineering could and should look like. Software engineering research…

Software Engineering · Computer Science 2025-02-25 Bertrand Meyer

The integration of artificial intelligence (AI) into daily life, particularly through information retrieval and recommender systems, has necessitated advanced user modeling and profiling techniques to deliver personalized experiences. These…

Artificial Intelligence · Computer Science 2024-02-22 Erasmo Purificato , Ludovico Boratto , Ernesto William De Luca

Analyzing student behavior in educational scenarios is crucial for enhancing teaching quality and student engagement. Existing AI-based models often rely on classroom video footage to identify and analyze student behavior. While these…

Computers and Society · Computer Science 2025-03-11 Xian Gao , Jiacheng Ruan , Jingsheng Gao , Mingye Xie , Zongyun Zhang , Ting Liu , Yuzhuo Fu

Tracking transforming objects holds significant importance in various fields due to the dynamic nature of many real-world scenarios. By enabling systems accurately represent transforming objects over time, tracking transforming objects…

Computer Vision and Pattern Recognition · Computer Science 2024-07-09 You Wu , Yuelong Wang , Yaxin Liao , Fuliang Wu , Hengzhou Ye , Shuiwang Li

Cognition is the process of knowing. As carried out by a dynamical system, it is the process by which the system absorbs information into its state. A complex network of agents cognizes knowledge about its environment, internal dynamics and…

Multiagent Systems · Computer Science 2022-07-13 Jack Hall

Providing accurate/suitable information on behaviors in sma\-rt environments is a challenging and crucial task in pervasive computing where context-awareness and pro-activity are of fundamental importance. Behavioral identifications enable…

Logic in Computer Science · Computer Science 2016-01-21 Radoslaw Klimek

Cognition is a core part of and a common topic among philosophy of mind, psychology, neuroscience, AI, and cognitive science. Through a mechanistic lens, I propose a framework of defining, modeling, and analyzing cognition mechanisms.…

Artificial Intelligence · Computer Science 2023-11-20 Amir Fayezioghani

Cloud monitoring activity involves dynamically tracking the Quality of Service (QoS) parameters related to virtualized resources (e.g., VM, storage, network, appliances, etc.), the physical resources they share, the applications running on…

Distributed, Parallel, and Cluster Computing · Computer Science 2013-12-24 Khalid Alhamazani , Rajiv Ranjan , Karan Mitra , Fethi Rabhi , Samee Ullah Khan , Adnene Guabtni , Vasudha Bhatnagar

In programming, protocols are everywhere. Protocols describe the pattern of interaction (or communication) between software systems, for example, between a user-space program and the kernel or between a local application and an online…

Programming Languages · Computer Science 2022-11-08 Laura Bocchi , Dominic Orchard , A. Laura Voinea

Process mining on business process execution data has focused primarily on orchestration-type processes performed in a single organization (intra-organizational). Collaborative (inter-organizational) processes, unlike those of orchestration…

Databases · Computer Science 2025-06-27 Daniel Calegari , Andrea Delgado

Over the last decades, the Internet and mobile technology have consolidated the digital as a public sphere of life. Designers are asked to create engaging digital experiences. However, in some cases engagement is seen as a psychological…

Computers and Society · Computer Science 2017-11-02 Marc Miquel-Ribe

Business success of companies heavily depends on the availability and performance of their client applications. Due to modern development paradigms such as DevOps and microservice architectural styles, applications are decoupled into…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-02-10 Sina Niedermaier , Falko Koetter , Andreas Freymann , Stefan Wagner

The European adoption of smart electricity meters triggers the developments of new value-added service for smart energy and optimal consumption. Recently, several algorithms and tools have been built to analyze smart meter's data. This…

Other Computer Science · Computer Science 2018-07-10 Egon Kidmose , Emad Ebeid , Rune Hylsberg Jacobsen

We review the observations and the basic laws describing the essential aspects of collective motion -- being one of the most common and spectacular manifestation of coordinated behavior. Our aim is to provide a balanced discussion of the…

Statistical Mechanics · Physics 2012-08-16 Tamás Vicsek , Anna Zafeiris
‹ Prev 1 8 9 10 Next ›