Search
Search Results
-
Media Synchronisation for Television Services Through HbbTV
Media synchronisation is getting renewed attention with ecosystems of smart televisions and connected devices enabling novel media consumption...
-
TASTD: A Real-Time Extension for ASTD
In ASTD, real-time models are not natively supported. Real-time requirements are pervasive in many systems, like control systems and cybersecurity....
-
Erdos: A Novel Blockchain Consensus Algorithm with Equitable Node Selection and Deterministic Block Finalization
The introduction of blockchain technology has brought about significant transformation in the realm of digital transactions, providing a secure and...
-
Decentralized Brains: A Reference Implementation with Performance Evaluation
Decentralized Brains is a concept developed for multiple parallel control of decentralized collaborative swarms and systems. This systems...
-
Concurrent Programming
We now consider a subject that is substantially different from those seen in the previous chapters. Up to now, we have considered sequential...
-
Control Schemes for Hybrid AC-DC Microgrid
With expanding usage of renewable energy sources, the popularity of microgrids (MG) is also on the rise. Research is ongoing in the field of hybrid...
-
Assessing Velar Gestures Timing in European Portuguese Nasal Vowels with RT-MRI Data
European Portuguese (EP) nasal vowels are characterised by their dynamic nature entailing a gradual variation from an oral into a nasal...
-
NoC-based hardware software co-design framework for dataflow thread management
Applications running in a large and complex manycore system can significantly benefit from adopting the dataflow model of computation. In a dataflow...
-
Towards making computers conscious: trends and challenges
The question of consciousness has puzzledmany great philosophersfrom time immemorial and rightly so because of the fact that our brain is made up of...
-
Integrating Owicki–Gries for C11-Style Memory Models into Isabelle/HOL
Weak memory presents a new challenge for program verification and has resulted in the development of a variety of specialised logics. For C11-style...
-
Erweiterung der Klassifikation von Funktionalitäten von Supply Chain Management Informationssystemen
The purpose of this study is to extend the taxonomy of supply chain management information system (SCM IS) functionalities to support their...
-
Modelling an Automotive Software System with TASTD
At the ABZ2020 Conference, the case study track proposed to model an Adaptive Exterior Light System and a Speed Control System: the former controls...
-
Modelling a Mechanical Lung Ventilation System Using TASTD
For the ABZ2024 conference, the proposed case study consists of modelling an adaptive outdoor mechanical lung ventilation system. The mechanical lung...
-
Model-Agnostic Federated Learning
Since its debut in 2016, Federated Learning (FL) has been tied to the inner workings of Deep Neural Networks (DNNs); this allowed its development as...
-
Nebenläufige Programmierung
Nebenläufigkeit ist die Eigenschaft eines Programms, zwei oder mehrere Aktivitäten so ausführen, dass alle voranschreiten.
-
Realisability of Control-State Choreographies
Choreographies prescribe the rendez-vous synchronisation of messages in a system of communicating finite state machines. Such a system is called...
-
WebLabel: OpenLABEL-compliant multi-sensor labelling
Annotated datasets have become crucial for training Machine Learning (ML) models for develo** Autonomous Vehicles (AVs) and their functions....
-
Student and teacher impact on the use of telepresence classrooms
Hybrid learning environments saw significant growth due to the COVID-19 pandemic but persist beyond it, one example is the telepresence classroom....
-
Auditing of AI: Legal, Ethical and Technical Approaches
AI auditing is a rapidly growing field of research and practice. This review article, which doubles as an editorial to Digital Society’s topical...
