English
Related papers

Related papers: Implementing a Case Management Modeling and Notati…

200 papers

Memory consistency models (MCMs) are at the heart of concurrent programming. They represent the behaviour of concurrent programs at the chip level. To test these models small program snippets called litmus test are generated, which show…

Programming Languages · Computer Science 2018-08-30 Ruth Hoffmann , Özgür Akgün , Susmit Sarkar

The MISE Project (Mediation Information System Engineering) aims at providing collaborating organizations with a Mediation Information System (MIS) in charge of supporting interoperability of a collaborative network. MISE proposes an…

Software Engineering · Computer Science 2015-10-01 Frederick Benaben , Nicolas Boissel-Dallier , Herve Pingaud , Jean-Pierre Lorre

Motivated by the increasing demand for multi-source data integration in various scientific fields, in this paper we study matrix completion in scenarios where the data exhibits certain block-wise missing structures -- specifically, where…

Methodology · Statistics 2025-08-19 Runbing Zheng , Minh Tang

This paper presents the application of a meta model and single underlying model on an applied avionics system design use case. System models, safety assurance cases and safety requirements are maintained in a central repository. This…

Software Engineering · Computer Science 2021-06-03 Jef Stegen , Stefan Dutre , Joe Zhensheng Guo , Marc Zeller , Stefan Rothbauer

The integration (interoperability) of highly disparate systems is an open topic of research in many domains. A common approach for getting two highly disparate systems to be interoperable, is through an agreed-upon protocol (e.g., via…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-04-27 Kim Nevelsteen , Martin Wehlou

Process mining involves discovering, monitoring, and improving real processes by extracting knowledge from event logs in information systems. Process mining has become an important topic in recent years, as evidenced by a growing number of…

Software Engineering · Computer Science 2021-04-01 Sabah Al-Fedaghi

BPMN is a specification language widely used by industry and researchers for business process modeling and execution. It defines clearly how to articulate its concepts, but do not provide mechanism to represent the semantics of the produced…

Software Engineering · Computer Science 2020-12-18 Sérgio Guerreiro , Pedro Sousa

Colleges and Universities have been established to provide educational services to the people. Like any other organization, the school has processes and procedures similar to business or industry that involve admissions, processing of data,…

The Mediation Information System Engineering project is currently finishing its second iteration (MISE 2.0). The main objective of this scientific project is to provide any emerging collaborative situation with methods and tools to deploy a…

Software Engineering · Computer Science 2015-10-01 Frederick Benaben , Wenxin Mu , Nicolas Boissel-Dallier , Anne-Marie Barthe-Delanoë , Sarah Zribi , Herve Pingaud

With the pandemic of COVID-19, people around the world increasingly work from home. Each natural person typically has several digital identities with different associated information. During the last years, various identity and access…

Cryptography and Security · Computer Science 2021-08-17 Daniela Pöhn , Peter Hillmann

Recommender system of the e-commerce platform usually serves multiple business scenarios. Multi-scenario Recommendation (MSR) is an important topic that improves ranking performance by leveraging information from different scenarios. Recent…

Information Retrieval · Computer Science 2024-07-30 Xiufeng Shu , Ruidong Han , Xiang Li , Wei Lin

Current challenges of the manufacturing industry require modular and changeable manufacturing systems that can be adapted to variable conditions with little effort. At the same time, production recipes typically represent important company…

Software Engineering · Computer Science 2022-11-07 Aljosha Köcher , Luis Miguel Vieira da Silva , Alexander Fay

The design of business processes involves the usage of modeling languages, tools and methodologies. In this paper we highlight and address a relevant limitation of the Business Process Modeling Notation (BPMN): its weak data representation…

Software Engineering · Computer Science 2009-07-14 Matteo Magnani , Danilo Montesi

Using parallel embedded systems these days is increasing. They are getting more complex due to integrating multiple functionalities in one application or running numerous ones concurrently. This concerns a wide range of applications,…

Distributed, Parallel, and Cluster Computing · Computer Science 2022-07-18 Hasna Bouraoui , Chadlia Jerad , Omar Romdhani , Jeronimo Castrillon

Decentralized applications rely on non-centralized technical infrastructures and coordination principles. Without trusted third parties, their execution is not controlled by entities exercising centralized coordination but is instead…

Distributed, Parallel, and Cluster Computing · Computer Science 2023-07-31 Felix Härer

Migration legacy systems to cloud platforms is a knowledge intensive process. There is an ever increasing body of knowledge reporting empirical scenarios of successful and problematic cloud migration. Reusing this body of knowledge,…

Software Engineering · Computer Science 2022-02-17 Mahdi Fahmideh , Jun Yan , Jun Shen , Aakash Ahmad , Davoud Mougouei , Anup Shrestha

Enterprise Integration Patterns (EIP) are a collection of widely used stencils for integrating enterprise applications and business processes. These patterns represent a "de-facto" standard reference for design decisions when integrating…

Software Engineering · Computer Science 2014-03-18 Daniel Ritter

The demand of transparency of clinical research results, the need of accelerating the process of transferring innovation in the daily medical practice as well as assuring patient safety and product efficacy make it necessary to extend the…

Software Engineering · Computer Science 2013-01-10 Daniela Luzi , Fabrizio Pecoraro

We present an alternative translation from CCS to an extension of CSP based on m-among-n synchronisation (called CSPmn). This translation is correct up to strong bisimulation. Unlike the g-star renaming approach ([4]), this translation is…

Logic in Computer Science · Computer Science 2022-09-13 Gerard Ekembe Ngondi , Vasileios Koutavas , Andrew Butterfield

The context caching technique is employed to accelerate the Multimodal Large Language Model (MLLM) inference by prevailing serving platforms currently. However, this approach merely reuses the Key-Value (KV) cache of the initial sequence of…

Machine Learning · Computer Science 2025-09-23 Shiju Zhao , Junhao Hu , Rongxiao Huang , Jiaqi Zheng , Guihai Chen