Search
Search Results
-
Stability of Regional Orthomodular Posets Under Synchronisation and Refinement
The regions of a condition/event transition system can be used to identify the sequential components of the distributed system it represents. With...
-
Eye Movement and Visual Target Synchronization Level Detection Using Deep Learning
In recent years, deep learning has been widely used in the eye-tracking area. Eye-tracking has been studied to diagnose neurological and...
-
Scheduling Deep Learning Training in GPU Cluster Using the Model-Similarity-Based Policy
Training large neural networks with huge amount of data using multiple Graphic Processing Units (GPUs) became widespread with the emergence of Deep...
-
Measuring Overhead Costs of Federated Learning Systems by Eavesdrop**
This paper addresses the issue of communication overhead costs of federated learning including transmission bandwidth and synchronisation efforts....
-
Advantages and disadvantages of (dedicated) model transformation languages
ContextModel driven development envisages the use of model transformations to evolve models. Model transformation languages, developed for this task,...
-
An Adaptive Social Network Model for Expatriate Integration Based on Bonding by Homophily and Interaction Connects
This paper introduces a new view on modelling expatriate integration by map** connections between expats and between expats and the local...
-
Multi-view data capture for dynamic object reconstruction using handheld augmented reality mobiles
We propose a system to capture nearly synchronous frame streams from multiple and moving handheld mobiles that is suitable for dynamic object 3D...
-
Static detection of equivalent mutants in real-time model-based mutation testing
Model-based mutation testing has the potential to effectively drive test generation to reveal faults in software systems. However, it faces a typical...
-
Probabilistic Model Checking of BPMN Processes at Runtime
Business Process Model and Notation (BPMN) is a standard business process modelling language that allows users to describe a set of structured tasks,...
-
Model-Based Engineering for Robotics with RoboChart and RoboTool
Use of simulation to support the design of software for robotic systems is pervasive. Typically, roboticists draw a state machine using an informal...
-
SedimentNet — a 1D-CNN machine learning model for prediction of hydrodynamic forces in rapidly varied flows
In natural free surface flows, sediment particles in the surface layer of a sediment bed are moved and entrained by the fluctuating hydrodynamic...
-
Inter Thread/Process Synchronisation
In this chapter we will look at several facilities supported by both the threading and...
-
Towards Model Checking Video Streams Using VoxLogicA on GPUs
We present a feasibility study on the use of spatial logic model checking for real-time analysis of high-resolution video streams with the tool...
-
A Programming Interface for Creating Data According to the SPAR Ontologies and the OpenCitations Data Model
The OpenCitations Data Model (OCDM) is a data model for bibliographic metadata and citations based on the SPAR Ontologies and developed by...
-
Contextuality in Distributed Systems
We present a lattice of distributed program specifications, whose ordering represents implementability/refinement. Specifications are modelled by...
-
Embedding Formal Verification in Model-Driven Software Engineering with Slco: An Overview
In 2009, the Simple Language of Communicating Objects (Slco) Domain-Specific Language was designed. Since then, a range of tools have been developed...
-
A Survey of WSN Efficient Network Restoration Model Using Genetic Algorithms
Recently, wireless sensor networks (WSNs) are attaining a lot of attention and application, particularly in challenging environments like battlefield...
-
A security framework to enhance IoT device identity and data access through blockchain consensus model
In today’s technology landscape, the Internet of Things (IoT) has gained significant momentum due to its wide-ranging applications across diverse...
-
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...
-
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...