Search
Search Results
-
Comprehensive Systems: A formal foundation for Multi-Model Consistency Management
Model management is a central activity in Software Engineering. The most challenging aspect of model management is to keep inter-related models...
-
Evaluation of LLM Tools for Feedback Generation in a Course on Concurrent Programming
The emergence of Large Language Models (LLMs) has marked a significant change in education. The appearance of these LLMs and their associated...
-
Adaptation for Energy Saving in Time-Triggered Systems Using Meta-scheduling with Sample Points
Time-triggered systems offer significant advantages in embedded applications due to temporal predictability, implicit synchronisation and avoidance... -
Multi-instance Mining: Discovering Synchronisation in Artifact-Centric Processes
In complex systems one can often identify various entities or artifacts. The lifecycles of these artifacts and the loosely coupled interactions... -
A New Metric for Multithreaded Parallel Programs Overhead Time Prediction
The paper proposes a metric that evaluates the overhead introduced into parallel programs by the additional operations that parallelism implicitly... -
Comparing the expressiveness of the \(\pi \) -calculus and CCS
This paper shows that the \(\pi \) -calculus with implicit... -
Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming
In the field of Model-Driven Engineering, Triple Graph Grammars (TGGs) play an important role as a rule-based means of implementing consistency...
-
Wearable augmentative and alternative communication (wAAC): a novel solution for people with complex communication needs
Communication is a vital skill of a human’s life. People with different types of disabilities may have Complex Communication Needs and may need a...
-
Remarks on the cellular automaton global synchronisation problem: deterministic versus stochastic models
In the global synchronisation problem, one is asked to find a cellular automaton which has the property that every initial condition evolves into a...
-
Contextuality in Distributed Systems
We present a lattice of distributed program specifications, whose ordering represents implementability/refinement. Specifications are modelled by... -
From Information and Communication Technology to the Smart Tourism Experience: Value Co-creation
Tourism contemplates dynamics that are socially, culturally, and economically relevant and that imply mobility, for personal or professional... -
Assetmanagement von Software und Public Cloud Diensten
In diesem Kapitel geben die Autoren einen Überblick über das klassische Software Assetmanagement, dessen strategischen Nutzen für die sich ändernden... -
Featured Team Automata
We propose featured team automata to support variability in the development and analysis of teams, which are systems of reactive components that... -
Local2Global: a distributed approach for scaling representation learning on graphs
We propose a decentralised “ local2global ” approach to graph representation learning, that one can a-priori use to scale any embedding technique. Our local2global...
-
Towards automating microservices orchestration through data-driven evolutionary architectures
This paper briefly outlines current literature on evolutionary architectures and current links with microservices orchestration and data integration....
-
Human Emotion Detection Through Hybrid Approach
Improper synchronisation, data correlation and relationship between human emotions are common issues in emotion detection via facial expressions in... -
Long-term memory-induced synchronisation can impair collective performance in congested systems
We investigate the hypothesis that long-term memory in populations of agents can lead to counterproductive emergent properties at the system level....
-
A Federated Simulation Framework for Cross-organisational Processes
Simulation is a significant tool that can be used to evaluate, monitor and enhance the processes and to predict the behaviour of a system in a... -
SMT-based generation of symbolic automata
Open pNets are formal models that can express the behaviour of open systems, either synchronous, asynchronous, or heterogeneous. They are endowed...
-
Research on Recognition of Facial Expressions and Micro-Expressions for Robot Design
It is said that humans make their first impressions of a person 7% by verbal communication and 93% by visual and auditory communication. When robots...