English
Related papers

Related papers: Catalog of Formalized Application Integration Patt…

200 papers

This experience report presents a model-driven approach to legacy system modernization that inserts an enriched, technology-agnostic intermediate model between the legacy codebase and the modern target platform, and reports on its…

Software Engineering · Computer Science 2026-02-05 Tobias Böhm , Jens Guan Su Tien , Mohini Nonnenmann , Tom Schoonbaert , Bart Carpels , Andreas Biesdorf

In this work-in-progress, we investigate the certification of AI systems, focusing on the practical application and limitations of existing certification catalogues in the light of the AI Act by attempting to certify a publicly available AI…

Computers and Society · Computer Science 2025-02-19 Gregor Autischer , Kerstin Waxnegger , Dominik Kowald

Responsible AI is widely considered as one of the greatest scientific challenges of our time and is key to increase the adoption of AI. Recently, a number of AI ethics principles frameworks have been published. However, without further…

Artificial Intelligence · Computer Science 2023-09-29 Qinghua Lu , Liming Zhu , Xiwei Xu , Jon Whittle , Didar Zowghi , Aurelie Jacquet

The use of rewriting-based visual formalisms is on the rise. In the formal methods community, this is due also to the introduction of adhesive categories, where most properties of classical approaches to graph transformation, such as those…

Logic in Computer Science · Computer Science 2025-05-28 Roberto Biondo , Davide Castelnovo , Fabio Gadducci

The development of high-quality software or software-intensive systems requires custom-tailored process models that fit the organizational and project goals as well as the development contexts. These models are a necessary prerequisite for…

Software Engineering · Computer Science 2014-01-20 Jürgen Münch

Semantic data and knowledge infrastructures must reconcile two fundamentally different forms of representation: natural language, in which most knowledge is created and communicated, and formal semantic models, which enable…

Computation and Language · Computer Science 2026-03-24 Lars Vogt

Business systems these days need to be agile to address the needs of a changing world. In particular the discipline of Enterprise Application Integration requires business process management to be highly reconfigurable with the ability to…

Software Engineering · Computer Science 2007-05-23 Sebastien Gaspard , Florida Estrella , Richard McClatchey , Regis Dindeleux

Modern order and lattice theory provides convenient mathematical tools for pattern mining, in particular for condensed irredundant representations of pattern spaces and their efficient generation. Formal Concept Analysis (FCA) offers a…

Discrete Mathematics · Computer Science 2019-06-10 Aimene Belfodil , Sergei Kuznetsov , Mehdi Kaytoue

Edge Intelligence (EI) integrates Edge Computing (EC) and Artificial Intelligence (AI) to push the capabilities of AI to the network edge for real-time, efficient and secure intelligent decision-making and computation. However, EI faces…

Machine Learning · Computer Science 2024-01-26 Xiaojie Wang , Beibei Wang , Yu Wu , Zhaolong Ning , Song Guo , Fei Richard Yu

The wide spread of mobile devices in the consumer market has posed a number of new issues in the design of internet applications and their user interfaces. In particular, applications need to adapt their interaction modalities to different…

Human-Computer Interaction · Computer Science 2017-01-26 Enrico Bertini , Giuseppe Santucci

This contribution explores how the integration of Artificial Intelligence (AI) into organizational practices can be effectively framed through a socio-technical perspective to comply with the requirements of Human-centered AI (HCAI).…

Human-Computer Interaction · Computer Science 2026-01-30 Thomas Herrmann

Artificial Intelligence (AI) has made impressive progress in recent years and represents a key technology that has a crucial impact on the economy and society. However, it is clear that AI and business models based on it can only reach…

Enterprise workloads are dominated by deterministic, structured, and knowledge-dependent tasks operating under strict cost, latency, and reliability constraints. While these are often addressed through large language model (LLM) deployment…

Artificial Intelligence · Computer Science 2026-05-12 Kuldeep Singh , Anson Bastos , Isaiah Onando Mulang'

The trustworthiness of AI applications has been the subject of recent research and is also addressed in the EU's recently adopted AI Regulation. The currently emerging foundation models in the field of text, speech and image processing…

Modern enterprise computing systems integrate numerous subsystems to resolve a common task by yielding emergent behavior. A widespread approach is using services implemented with Web technologies like REST or OpenAPI, which offer an…

Software Engineering · Computer Science 2025-07-29 Robin D. Pesl

The Future Internet is becoming a reality, providing a large-scale computing environments where a virtually infinite number of available services can be composed so to fit users' needs. Modern service-oriented applications will be more and…

Software Engineering · Computer Science 2015-12-25 Marco Autili , Amleto Di Salle , Alexander Perucci , Massimo Tivoli

The rise of new modes of interaction with AI skyrocketed the popularity, applicability, and amount of use cases. Despite this evolution, conceptual integration is falling behind. Studies suggest that there is hardly a systematization in…

General Economics · Economics 2023-12-14 Martin Semmann , Mahei Manhei Li

Organizations face an ever-changing threat landscape. They must continuously dedicate significant efforts to protect their assets, making their adoption of increased cybersecurity automation inevitable. However, process automation requires…

Computation and Language · Computer Science 2025-07-18 Quentin Goux , Nadira Lammari

The increasing integration of Artificial Intelligence across multiple industry sectors necessitates robust mechanisms for ensuring transparency, trust, and auditability of its development and deployment. This topic is particularly important…

Cryptography and Security · Computer Science 2025-03-31 Kar Balan , Robert Learney , Tim Wood

The success of a number of projects has been shown to be significantly improved by the use of a formalism. However, there remains an open issue: to what extent can a development process based on a singular formal notation and method…

Software Engineering · Computer Science 2013-11-26 Rainer Gmehlich , Katrin Grau , Alexei Iliasov , Michael Jackson , Felix Loesch , Manuel Mazzara
‹ Prev 1 4 5 6 7 8 10 Next ›