Search
Now showing items 21-30 of 53
(Research report / Forskningsrapport, 2012)
In emergency intervention and rescue operations, the coordination and collaboration of the rescue personnel is highly important for the success of the mission. Data networks formed between the devices carried by the rescue ...
(Research report / Forskningsrapport, 2010)
We present a partial correctness proof system for ABS, an imperative, concurrent and object-oriented language which provides asynchronous communication model that is suitable for loosely coupled objects in the distributed ...
(Research report / Forskningsrapport, 2013)
Publish/subscribe (pub/sub) is a popular communication paradigm in the design of largescale distributed systems. A provider of a pub/sub service (whether centralized, peer-assisted, or based on a federated organization of ...
(Research report / Forskningsrapport, 2014)
Publish/subscribe (pub/sub) is a popular communication paradigm in the design of largescale distributed systems. A fundamental challenge in deploying pub/sub systems on a data center or a cloud infrastructure is efficient ...
(Research report / Forskningsrapport, 2016)
Railway systems designs deal with complex and large-scale, safety-critical infrastructures, where formal methods play an important role, especially in verifying the safety of so-called interlockings through model checking. ...
(Research report / Forskningsrapport, 2014)
Congestion occurs at a bottleneck along an Internet path; multiple flows between the same sender and receiver pairs can benefit from using only a single congestion control instance when they share the same bottleneck. These ...
(Research report / Forskningsrapport, 2017)
We present a representation of spatial data that supports answering of qualitative queries (involving e.g. containment and overlap), using less time than numerical computations on coordinates, and less space than explicitly ...
(Research report / Forskningsrapport, 2017)
In model-driven engineering approaches, models are considered firstclass entities. The composition of models is a necessity for modelling software systems. Structural composition of models has been studied thoroughly during ...
(Research report / Forskningsrapport, 2017)
Refactoring is an essential operation in software engineering, with the purpose of improving the structural qualities of software. An emerging trend in software engineering is the use of model-driven approaches in which ...
(Research report / Forskningsrapport, 2017)
The concrete problem this paper addresses is the following: Given a set of objects with a spatial interpretation and a set of qualitative relations, construct a bintree representation that returns the same answers to queries ...