Search
Now showing items 1-23 of 23
(Research report / Forskningsrapport, 2007)
(Research report / Forskningsrapport, 2007)
Mobile Ad-Hoc Networks (MANETs) are an important communication infrastructure to support emergency and rescue operations. To address the frequent disconnections and network partitions that might occur, we have developed a ...
(Research report / Forskningsrapport, 2007)
(Research report / Forskningsrapport, 2007)
Soft real-time requirements are often related to communication in distributed systems. Therefore it is interesting to understand how UML sequence diagrams can be used to specify such requirements. We propose a way of ...
(Research report / Forskningsrapport, 2007)
In this report we explore aspect-oriented modeling for UML 2.0 sequence diagrams. We ensure that the aspect weaving is semantics-based by using a formal trace model for sequence diagrams. A major challenge is to handle ...
(Research report / Forskningsrapport, 2007)
UML sequence diagrams is a specification language that has proved itself to be of great value in system development. When put to applications such as simulation, testing and other kinds of automated analysis there is a ...
(Research report / Forskningsrapport, 2007)
Mobile Ad-Hoc Networks maintain information about reachable nodes in the routing table. In many application scenarios, human groups play an important role. This is visible at the network level as independent network ...
(Research report / Forskningsrapport, 2007)
This paper formalizes the observable interface behavior of an concurrent, objectoriented language with futures and promises. The calculus captures the core of Creol, a language, featuring in particular asynchronous method ...
(Research report / Forskningsrapport, 2007)
Having a sequence diagram specification and a computer system, we need to answer the question: Is the system compliant with the sequence diagram specification in the desired way? We present a procedure for answering this ...
(Research report / Forskningsrapport, 2007)
Having a sequence diagram specification and a computer system, we need to answer the question: Is the system compliant with the sequence diagram specification in the desired way? We present a procedure for answering this ...
(Research report / Forskningsrapport, 2007)
(Research report / Forskningsrapport, 2007)
(Research report / Forskningsrapport, 2007)
During the past decade, the telecommunication environment has evolved from single operator featuring voice services to multi-operator featuring a range of different types of services. Services are being provided today in ...
(Research report / Forskningsrapport, 2007)
STAIRS is a method for the compositional development of interactions in the setting of UML 2.0. In addition to defining denotational trace semantics for the main aspects of interactions, STAIRS focuses on how interactions ...
(Research report / Forskningsrapport, 2007)
Late binding allows flexible code reuse but complicates formal reasoning significantly, as a method call’s receiver class is not statically known. This is especially true when programs are incrementally developed by extending ...
(Research report / Forskningsrapport, 2007)
This paper presents a case study evaluating the use of STAIRS when specifying a system for connecting service providers and people requesting those services. As part of the case study, we give an example of how STAIRS may ...
(Research report / Forskningsrapport, 2007)
The throughput of a possible future fixed wireless access multiple-input multiple-output (MIMO) system operating at high frequencies is investigated. We extend our previous theoretical work on MIMO for line-of-sight (LOS) ...
(Research report / Forskningsrapport, 2007)
This analysis of the audio quality of DAB has been made independently of the broadcasting companies and aims at balancing their information.
Through measurement of the audio signal and through informal listening, we have ...
(Research report / Forskningsrapport, 2007)
The coordination and collaboration of the personnel from various organisations involved in a rescue operation is important for a successful operation. Data networks can facilitate effective collaboration by providing an ...
(Research report / Forskningsrapport, 2007)
The integration of XML documents in object-oriented programming languages is becoming paramount with the advent of the use of Internet in new applications like web services. Such integration is not easy in general and ...
(Research report / Forskningsrapport, 2007)
STAIRS is an approach to the compositional development of UML interactions, such as sequence diagrams and interaction overview diagrams. An important aspect of STAIRS is the ability to distinguish between underspecification ...
(Research report / Forskningsrapport, 2007)
Current object-oriented approaches to distributed programs may be criticized in several respects. First, method calls are generally synchronous, which leads to much waiting in distributed and unstable networks. Second, the ...
(Research report / Forskningsrapport, 2007)
This paper describes a technique for realizing a high-rank channel matrix in a line-of-sight (LOS) multiple-input multiple-output (MIMO) transmission scenario. This is beneficial for systems which are unable to make use ...