• English
    • Norsk
  • English 
    • English
    • Norsk
  • Administration
Search 
  •   Home
  • Det matematisk-naturvitenskapelige fakultet
  • Institutt for informatikk
  • Institutt for informatikk
  • Search
  •   Home
  • Det matematisk-naturvitenskapelige fakultet
  • Institutt for informatikk
  • Institutt for informatikk
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-100 of 155

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Code Diversification Mechanisms for Internet of Things (Revised Version 2) 
Tokas, Shukun; Owe, Olaf; Johansen, Christian (Research report / Forskningsrapport, 2020)
Building Confidence using Beliefs and Arguments in Security Class Evaluations for IoT (long version) 
Shrestha, Manish; Johansen, Christian; Noll, Josef (Research report / Forskningsrapport, 2020)
We have previously proposed a security classification methodology for IoT systems and have applied it to the smart grid and smart home domain. This method departs from classical risk analysis and certification methods in ...
Tool Support for Security Classification for Internet of Things (long version) 
Shrestha, Manish; Johansen, Christian; Moghadam, Maunya D.; Johansen, Johanna; Noll, Josef (Research report / Forskningsrapport, 2020)
DevSecOps is the extension of DevOps with security aspects and tools throughout all the stages of the software development life cycle. DevOps has become a popular way of developing modern software, especially in the Internet ...
LGCC: Food Chain Multi-Hop Congestion Control 
Teymoori, Peyman; Welzl, Michael (Research report / Forskningsrapport, 2020)
Technological advancements have provided wireless links with very high capacity for 5G mobile networks and WiFi 6, which will be widely deployed by 2025; however, the capacity heavily fluctuates, violating the assumption ...
Tagungsband des 36ten Jahrestreffens der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte". Proc. of the 36th Annual Meeting of the GI Working Group "Programming Languages and Computing Concepts" 
Unknown author (Research report / Forskningsrapport, 2019)
The GI Working Group“Programming Languages and Computing Concepts” arranges since 1984 each spring a workshop in the the “Physikzentrum Bad Honnef” (a convention centre of the German Physical Society). The meeting serves ...
Criteria for Security Classification of Smart Home Energy Management Systems (long version) 
Shrestha, Manish; Johansen, Christian; Noll, Josef (Research report / Forskningsrapport, 2019)
Internet of Things (IoT) is a growing field and its use in home automation is one of the dominating application areas. The heterogeneity and limited capacity of storage and processing power make the security of IoT systems ...
Estimating an Additive Path Cost with Explicit Congestion Notification 
Teymoori, Peyman; Hayes, David Andrew; Welzl, Michael; Gjessing, Stein (Research report / Forskningsrapport, 2019)
Abstract—Network Utility Maximization (NUM) is a well accepted theoretical concept that describes how congestion controls could cooperate to achieve an ideal sending rate allocation, for given utility functions of senders ...
A privacy-preserving framework for outsourcing location-based services to the cloud 
Zhu, Xiaojie; Ayday, Erman; Vitenberg, Roman (Research report / Forskningsrapport, 2018)
Thanks to the popularity of mobile devices a large number of location-based services (LBS) have emerged. While a large number of privacy-preserving solutions for LBS have been proposed, most of these solutions do not ...
Tagungsband des 35ten Jahrestreffens der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte" 
Unknown author (Research report / Forskningsrapport, 2018)
The GI Working Group“Programming Languages and Computing Concepts” arranges since 1984 each spring a workshop in the the “Physikzentrum Bad Honnef” (a convention centre of the German Physical Society). The meeting serves ...
Proceedings of the PhD Symposium at iFM’18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’18) 
Unknown author (Research report / Forskningsrapport, 2018)
Operational Semantics of a Weak Memory Model with Channel Synchronization 
Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker (Research report / Forskningsrapport, 2018)
A multitude of weak memory models exists supporting various types of relaxations and different synchronization primitives. On one hand, they must be lax enough to allow for hardware and compiler optimizations; on the other, ...
Self-Organizing Media Streaming for Many-to-many Interaction 
Provensi, Lucas Luiz; Singh, Abhishek Kumar; Eliassen, Frank; Vitenberg, Roman (Research report / Forskningsrapport, 2017)
In this research report we propose a self-organizing media streaming solution that supports multiple interacting participants as well as a large number of observers. This solution is aimed at a number of emerging multimedia ...
Generic Metamodel Refactoring with Automatic Detection of Applicability and Co-evolution of Artefacts 
Berg, Henning; Yu, Ingrid Chieh (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 ...
Integration of Operational Language Semantics using Exported Namespaces 
Berg, Henning (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 ...
An Efficient Representation of Qualitative Spatial Information using Bintrees 
Karlsen, Leif Harald; Giese, Martin (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 ...
Qualitatively Correct Bintrees With Roles 
Karlsen, Leif Harald; Giese, Martin (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 ...
A Faceted Search Index for Graph Queries 
Klungre, Vidar Norstein (Research report / Forskningsrapport, 2017)
This report explains the details of a configurable index structure that allows to perform efficiently the kinds of filtering operations required to implement faceted search over RDF data. Unlike previous systems, it is ...
Proceedings of the PhD Symposium at iFM’17 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM’17) 
Unknown author (Research report / Forskningsrapport, 2017)
An operational semantics for a weak memory model with buffered writes, message passing, and goroutines 
Fava, Daniel Schnetzer; Steffen, Martin; Stolz, Volker; Valle, Stian (Research report / Forskningsrapport, 2017)
In this paper, we formalize an operational semantics of a weak memory model similar to the one in Go, concentrating on buffered writes, i.e., ignoring the possibility of buffered reads.
Vulture – Variable Aggressiveness Ultra Low Impact Transport Using Receiver-based Flow-control Mechanism 
Li, Qian; Welzl, Michael (Research report / Forskningsrapport / SubmittedVersion, 2017)
Less than Best Effort (LBE) transports are transport protocols that use spare bandwidth left by Best Effort (BE) transports to fulfill their own data transfer tasks. Such kind of protocols can be used by non-delay/bandwidth ...
Comparing Implementations of Secure Messaging Protocols (long version) 
Johansen, Christian; Mujaj, Aulon; Arshad, Hamed; Noll, Josef (Research report / Forskningsrapport / PublishedVersion; Peer reviewed, 2017)
In recent years, it has come to attention that governments have been doing mass surveillance of personal communications without the consent of the citizens. As a consequence of these revelations, developers have begun ...
Rule-Based Consistency Checking of Railway Infrastructure Designs 
Luteberget, Bjørnar Steinnes; Johansen, Christian; Steffen, Martin (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. ...
Non-interleaving Operational Semantics for the Pi-calculus - technicalities 
Johansen, Christian; Norman, Håkon; Hildebrandt, Thomas (Research report / Forskningsrapport, 2016)
We provide a non-interleaving operational semantics for the pi-calculus as asynchronous transition systems, which generalizes the standard interleaving structural operational semantics and unfolds to standard, stable prime ...
Reflections on Behavioural Computer Science 
Johansen, Christian; Pedersen, Tore; Jøsang, Audun (Research report / Forskningsrapport, 2016)
The rapidly increasing pervasiveness and integration of computers in human and animal society calls for a broad discipline under which this development can be studied. We argue that to design and use technology one needs ...
Zephyrus2: On the Fly Deployment Optimization using SMT and CP Technologies - Technical Report 
Mauro, Jacopo (Research report / Forskningsrapport, 2016)
Modern cloud applications consist of software components deployed on multiple virtual machines. Deploying such applications is error prone and requires detailed system expertise. The deployment optimization problem is about ...
Offpad: Offline personal authenticating device: implementations and applications 
Johansen, Christian; Jøsang, Audun; Migdal, Denis (Research report / Forskningsrapport, 2016)
Identity and authentication solutions often lack usability and scalability, or do not provide high enough authentication assurance. The concept of Lucidman (Local User-Centric Identity Management) is an approach to providing ...
Reflections on Behavioural Computer Science 
Johansen, Christian; Pedersen, Tore; Jøsang, Audun (Research report / Forskningsrapport / PublishedVersionAcceptedVersionPublishedVersionAcceptedVersion; Peer reviewed, 2016)
The rapidly increasing pervasiveness and integration of computers in human and animal society calls for a broad discipline under which this development can be studied. We argue that to design and use technology one needs ...
Usable Authentication with an Offline Trusted Device Proxy Architecture (long version) 
Johansen, Christian; Jøsang, Audun; Migdal, Denis (Research report / Forskningsrapport / PublishedVersion, 2016)
Client platform infection poses a significant threat to secure user authentication. Com- bining vulnerable client platforms with special security devices, as often the case in e- banking, can increase significantly the ...
Addendum to a survey of HTTP caching on the Semantic Web 
Kjernsmo, Kjetil (Research report / Forskningsrapport, 2015)
A Note on the Complexity of Some Quality of Information Optimisation Problems in Sensor Networks 
Munthe-Kaas, Ellen (Research report / Forskningsrapport, 2014)
We prove that a selection of quality of information optimisation problems related to event detection in sensor networks are NP-hard.
Innovation in HCI: what can we learn from design thinking? 
Culén, Alma Leora; Følstad, Asbjørn (Research report / Forskningsrapport, 2014)
A Probabilistic Strategy Language for Probabilistic Rewrite Theories and its Application to Cloud Computing 
Bentea, Lucian; Ølveczky, Peter Csaba (Research report / Forskningsrapport, 2014)
Several formal models combine probabilistic and nondeterministic features. To allow their probabilistic simulation and statistical model checking by means of pseudo-random number sampling, all sources of nondeterminism ...
Probabilistic Real-Time Rewrite Theories and Their Expressive Power 
Bentea, Lucian; Ølveczky, Peter Csaba (Research report / Forskningsrapport, 2014)
Unbounded data structures, advanced functions and data types, and/or different forms of communication are often needed to model large and complex probabilistic real-time systems such as wireless sensor network algorithms. ...
Compositional and sound seasoning about active objects with shared futures 
Din, Crystal Chang; Owe, Olaf (Research report / Forskningsrapport, 2014)
Distributed and concurrent object-oriented systems are difficult to analyze due to the complexity of their concurrency, communication, and synchronization mechanisms. The future mechanism extends the traditional method ...
Cost-Effective Resource Allocation for Deploying Pub/Sub on Cloud 
Setty, Vinay Jayarama (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 ...
Coupled Congestion Control for RTP Media 
Islam, Safiqul; Welzl, Michael; Gjessing, Stein; Khademi, Naeem (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 ...
Formalization and Simulation of alpha-Synuclein Aggregation and Propagation under Different Pathobiological Conditions in PSMaude 
Bentea, Lucian; Ølveczky, Peter Csaba; Bentea, Eduard (Research report / Forskningsrapport, 2014)
PSMaude is a probabilistic extension of Maude that provides an expressive probabilistic strategy language to quantify the nondeterminism in probabilistic rewrite theories, allowing the user to specify different probabilistic ...
Class modeling of OSLC resources 
Zhang, Weiqing (Research report / Forskningsrapport, 2013)
This report investigates the possibilities of modeling OSLC Resources with Class Models, and also transforming these models into OSLC server and client code fragments that use these resources.
Maximizing the Number of Satisfied Subscribers in Pub/Sub Systems Under Capacity Constraints 
Setty, Vinay Jayarama; Vitenberg, Roman; Kreitz, Gunnar; Urdaneta, Guido; van Steen, Maarten (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 ...
A comparison of runtime assertion checking and theorem proving for concurrent and distributed systems 
Din, Crystal Chang; Owe, Olaf; Bubel, Richard (Research report / Forskningsrapport, 2013)
We investigate the usage of a history-based specification approach for concurrent and distributed systems. In particular, we compare two approaches on checking that those systems behave according to their specification. ...
The New AQM Kids on the Block: Much Ado About Nothing? 
Khademi, Naeem; Ros, David; Welzl, Michael (Research report / Forskningsrapport, 2013)
Active Queue Management (AQM) design has again come into the spotlight of network operators, vendors and OS developers. This reflects the growing concern and sensitivity about the end-to-end latency perceived by today’s ...
Dynamic Structural Operational Semantics (preliminary version) 
Johansen, Christian; Owe, Olaf (Research report / Forskningsrapport / SubmittedVersion; Peer reviewed, 2012)
We introduce Dynamic SOS as a framework for describing semantics of programming languages that include dynamic software upgrades. Dynamic SOS is built on top of theModular SOS of P.Mosses, with an underlying category theory ...
An approach to compositional reasoning about concurrent objects and futures 
Din, Crystal Chang; Dovland, Johan; Owe, Olaf (Research report / Forskningsrapport, 2012)
Distributed and concurrent object-oriented systems are difficult to analyze due to the complexity of their concurrency, communication, and synchronization mechanisms. Rather than performing analysis at the code level of ...
Delay Tolerant Streaming in Rescue Scenarios: Requirements Analysis and Resulting Industrial Issues - Version 2 
Rodriguez-Fernandez, Daniel; Kristiansen, Stein; Lindeberg, Morten Gunnar Bjørner; Drugan, Ovidiu Valentin; Cabrero, Sergio; Plagemann, Thomas Peter; Goebel, Vera Hermine; Munthe-Kaas, Ellen; Pañeda, Xabiel Garcia; Omang, Knut (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 ...
Behaviour inference for deadlock checking 
Pun, Ka I.; Steffen, Martin; Stolz, Volker (Research report / Forskningsrapport, 2012)
This report extends our behavioral type and effect system for detecting dealocks in [8] by polymorphism and formalizing type inference (wrt. the lock types. Our inference is defined for a simple concurrent, first-order ...
Bounded RDF Data Transformations 
Skjæveland, Martin G; Stolpe, Audun (Research report / Forskningsrapport, 2012)
RDF data transformations are transformations of RDF graphs to RDF graphs which preserve in different degree the data content in the source to the target. These transformation therefore give special attention to the data ...
Observable interface behavior and inheritance 
Ábrahám, Erika; Tran, Thi Mai Thuong; Steffen, Martin (Research report / Forskningsrapport, 2011)
Feil nr (409) på tittelbladet. Skal være Research report nr 406.
Estimating resource bounds for software transactions 
Tran, Thi Mai Thuong; Steffen, Martin; Truong, Hoang (Research report / Forskningsrapport, 2011)
We present an effect based static analysis to calculate upper and lower bounds on the memory resource consumption in a transactional calculus. The calculus is a concurrent variant of Featherweight Java extended by transactional ...
TTSS'11 - 5th International Workshop on Harnessing Theories for Tool Support in Software 
Kyas, Marcel; Meng, Sun; Stolz, Volker (Research report / Forskningsrapport, 2011)
The aim of the workshop is to bring together practitioners and researchers from academia, industry and government to present and discuss ideas about: • How to deal with the complexity of software projects by multi-view ...
Implementing timed extensions of Petri nets in Real-Time Maude 
Majewski, Krzysztof Michal (Research report / Forskningsrapport, 2011)
We study three timed extensions of Petri nets. We demonstrate methods for transforming these types of Petri nets into Real-Time Maude programs. This lays the groundwork for a timed Petri net analysis tool in which these ...
A logic-based approach to decision making : (extended version) 
Ivanovska, Magdalena; Giese, Martin (Research report / Forskningsrapport, 2011)
We propose a novel approach to the well-studied problem of making a nite, ordered sequence of decisions under uncertainty. Most existing work in this area concentrates on graphical representations of decision problems, ...
8th International Symposium on Formal Aspects of Component Software : prelinary proceedings 
Arbab, Farhad; Õlveczky, Peter Csaba (Research report / Forskningsrapport, 2011)
Reachability analysis of complex planar hybrid systems 
Hansen, Hallstein; Schneider, Gerardo; Steffen, Martin (Research report / Forskningsrapport, 2011)
Hybrid systems are systems that exhibit both discrete and continuous behavior. Reachability, the question of whether a system in one state can reach some other state, is undecidable for hybrid systems in general. The ...
Deadlock checking by a behavioral effect system for lock handling 
Pun, Ka I.; Steffen, Martin; Stolz, Volker (Research report / Forskningsrapport, 2011)
Deadlocks are a common error in programs with lock-based concurrency and are hard to avoid or even to detect. One way for deadlock prevention is to statically analyze the program code to spot sources of potential deadlocks. ...
A denotational model for component-based risk analysis 
Brændeland, Gyrd; Refsdal, Atle; Stølen, Ketil (Research report / Forskningsrapport, 2011)
Risk analysis is an important tool for developers to establish the appropriate protection level of a system. Unfortunately, the shifting environment of components and component-based systems is not adequately addressed by ...
Towards an object-oriented modeling language for probabalistic open distributed systems 
Bentea, Lucian; Owe, Olaf (Research report / Forskningsrapport, 2010)
In this paper, we propose a probabilistic extension of the Creol modeling language, called PCreol, for which we give the operational semantics in Probabilistic Rewrite Logic. We give details on the implementation of a ...
iRefIndex : Interaction Reference Index : International Conference on Intelligent Systems for Molecular Biology (ISMB), Stockholm, Sweden, June 27-July 02, 2009 : Poster E29 
Razick, Sabry; Donaldson, Ian M. (Research report / Forskningsrapport, 2010)
iRefIndex provides an index of protein interactions available in a number of primary interaction databases. This index allows the user to search for a protein and retrieve a non-redundant list of interactors for that ...
Using model-driven risk analysis in component-based development 
Brændeland, Gyrd; Stølen, Ketil (Research report / Forskningsrapport, 2010)
Modular system development causes challenges for security and safety as upgraded subcomponents may interact with the system in unforeseen ways. Due to their lack of modularity, conventional risk analysis methods are poorly ...
Observable behavior of distributed systems : component reasoning for concurrent objects 
Din, Crystal Chang; Dovland, John; Johnsen, Einar Broch; Owe, Olaf (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 ...
Design and prototype of a system to integrate and visualize biological interaction data : International Conference on Intelligent Systems for Molecular Biology (ISMB), Vienna, Austria: (July 21-25, 2007) : Poster 
Razick, Sabry; Donaldson, Ian M. (Research report / Forskningsrapport, 2010)
Biomolecular interaction data is an increasingly important bioinformatics dataset used to examine biological systems. However, these data are spread across multiple databases and expressed in disparate data structures and ...
Safe commits for transactional featherweight Java 
Steffen, Martin; Tran, Thi Mai Thuong (Research report / Forskningsrapport, 2009)
Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional features into programming languages is Transactional ...
Computing all pairs (lambda,mu) such that lambda is a double eigenvalue of A + mu B 
Jarlebring, Elias; Kvaal, Simen; Michiels, Wim (Research report / Forskningsrapport, 2009)
Double eigenvalues are not generic for matrices without any particular structure. A matrix depending linearly on a scalar parameter, A+ mu B, will however generically have double eigenvalues for some values of the parameter ...
Time exceptions in sequence diagrams 
Halvorsen, Oddleif; Runde, Ragnhild Kobro; Haugen, Øystein (Research report / Forskningsrapport, 2008)
UML sequence diagrams partially describe a system. We show how the description may be augmented with exceptions triggered by the violation of timing constraints and compare our approach to those of the UML 2.1 simple time ...
Relaxing goodness is still good for SPDIs 
Pace, Gordon J.; Schneider, Gerardo (Research report / Forskningsrapport, 2008)
Polygonal hybrid systems (SPDIs) are planar hybrid systems, whose dynamics are defined in terms of constant differential inclusions, one for each of a number of polygonal regions partitioning the plane. The reachability ...
Executable interface specifications for testing asynchronous Creol components 
Grabe, Immo; Steffen, Martin; Torjussen, Arild B. (Research report / Forskningsrapport, 2008)
Creol is a high-level, object-oriented language for distributed systems, featuring active objects and asynchronous method calls. In this paper we present a behavioral interface speci cation language over communication trace ...
FLACOS’08 Workshop proceedings 
Pace, Gordon J.; Schneider, Gerardo (Research report / Forskningsrapport, 2008)
The 2nd Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS’08) is held in Malta. The aim of the workshop is to bring together researchers and practitioners working on language-based solutions ...
CL - a logic for reasoning about legal contracts: - Semantics 
Prisacariu, Christian; Schneider, Gerardo (Research report / Forskningsrapport, 2008)
The work reported here is concerned with the definition of a logic (which we call CL) for reasoning about legal contracts. The report presents the syntax of the logic and the associated semantics. There are two semantics ...
An algebraic structure for the action-based contract language CL theoretical results 
Prisacariu, Christian; Schneider, Gerardo (Research report / Forskningsrapport, 2007)
Fuzzy logic-based approximate event notification in sparse MANETs 
Lekova, Anna; Skjelsvik, Katrine Stemland; Plagemann, Thomas; Goebel, Vera (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 ...
Model checking contracts : a case study 
Pace, Gordon; Prisacariu, Christian; Schneider, Gerardo (Research report / Forskningsrapport, 2007)
Specification and Refinement of Soft Real-time Requirements Using Sequence Diagrams 
Refsdal, Atle; Husa, Knut Eilif; Stølen, Ketil (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 ...
Weaving of UML sequence diagrams using STAIRS 
Grønmo, Roy; Sørensen, Fredrik; Møller-Pedersen, Birger; Krogdahl, Stein (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 ...
A fully general operational semantics for UML sequence diagrams with potential and mandatory choice 
Lund, Mass Soldahl; Stølen, Ketil (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 ...
Using routing information to optimize synchronization of replicated event notification mediators in sparse MANETs 
Plagemann, Thomas; Skjelsvik, Katrine Stemland; Puzar, Matija; Drugan, Ovidiu; Goebel, Vera; Munthe-Kaas, Ellen (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 ...
Relating computer systems to sequence diagrams with underspecification, inherent nondeterminism and probabilistic choice : Part 2 
Refsdal, Atle; Runde, Ragnhild Kobro; Stølen, Ketil (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 ...
Relating computer systems to sequence diagrams with underspecification, inherent nondeterminism and probabilistic choice : Part 1 
Runde, Ragnhild Kobro; Refsdal, Atle; Stølen, Ketil (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 ...
Towards a formal definition of electronic contracts 
Prisacariu, Christian; Schneider, Gerardo (Research report / Forskningsrapport, 2007)
Behavioral interface description of an object-oriented language with futures and promises 
Ábrahám, Erika; Grabe, Immo; Grüner, Andreas; Steffen, Martin (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 ...
On the decidability of the reachability problem for GSPDIs 
Schneider, Gerardo (Research report / Forskningsrapport, 2007)
Towards a Framework of Authentication and Authorization Patterns for Ensuring Availability in Service Composition 
Rossebø, Judith Ellen Yarranton; Bræk, Rolv (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 ...
The pragmatics of STAIRS 
Runde, Ragnhild Kobro; Haugen, Øystein; Stølen, Ketil (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 ...
Lydkvalitetet i DAB digitalradio : Audio quality in DAB digital radio 
Holm, Sverre (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 ...
Modeling and analysis of a 40 GHz MIMO system for fixed wireless access 
Bøhagen, Frode; Orten, Pål; Øien, Geir E. (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) ...
Lazy behavioral subtyping 
Dovland, Johan; Johnsen, Einar B.; Owe, Olaf; Steffen, Martin (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 ...
STAIRS case study : the BuddySync system 
Runde, Ragnhild Kobro (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 ...
Developing mobile middleware : an analysis of rescue and emergency operations 
Sanderson, Norun Christine; Skjelsvik, Kathrine Stemland; Drugan, Ovidiu Valentin; Pu ar, Matija; Göbel, Vera; Munthe-Kaas, Ellen; Plagemann, Thomas (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 ...
Towards integration of XML in the Creol object-oriented language 
Torjusen, Arild; Owe, Olaf; Schneider, Gerardo (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 ...
Refining UML interactions with underspecification and nondeterminism 
Runde, Ragnhild Kobro; Haugen, Øystein; Stølen, Ketil (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 ...
A compositional proof system for dynamic object systems 
Dovland, Johan; Johnsen, Einar B.; Owe, Olaf (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 ...
Design of capacity-optimal high-rank line-of-sight MIMO channels 
Bøhagen, Frode; Orten, Pål; Øien, Geir E. (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 ...
Why timed sequence diagrams require three-event semantics 
Haugen, Øystein; Husa, Knut Eilif; Runde, Ragnhild Kobro; Stølen, Ketil (Research report / Forskningsrapport, 2006)
STAIRS is an approach to the compositional development of sequence diagrams supporting the specification of mandatory as well as potential behavior. In order to express the necessary distinction between black-box and ...
Contract-based Internet service software development : a proposal 
Giambagi, Pablo; Owe, Olaf; Schneider, Gerardo; Ravn, Anders P. (Research report / Forskningsrapport, 2006)
Static analysis of SPDIs for state-space reduction 
Pace, Gordon; Schneider, Gerardo (Research report / Forskningsrapport, 2006)
Multiresolution analysis based on quadratic Hermite interpolation : Part 1: piecewise polynomial curves 
Dæhlen, Morten; Lyche, Tom; Mørken, Knut; Seidel, Hans-Peter (Research report / Forskningsrapport, 2006)
We study two simple multiresoultion analyses and their stability in the L1-norm: Faber decomposition and C1 quadratic Hermite interpolation, both with nonuniform knot sequences. The use of the L1 norm is natural in many ...
Challenges in Combining Overlay Networks and Cooperative Caching 
Johnsen, Frank Trethan; Hafsøe, Trude; Plagemann, Thomas; Goebel, Vera (Research report / Forskningsrapport, 2006)
The trends over the recent years show an increase in streaming media transported across the Internet in addition to al- ready abundant web traffic, increasing the need for distri- bution schemes that efficiently handle ...
A semantic paradigm for component-based specification integrating a notion of security risk 
Brændeland, Gyrd; Stølen, Ketil (Research report / Forskningsrapport, 2006)
We propose a semantic paradigm for component-based specification supporting the documentation of security risk behaviour. By security risk, we mean behaviour that constitutes a risk with regard to ICT security aspects, ...
Elements and stakeholders of network simulation 
Göktürk, Erek (Research report / Forskningsrapport, 2006)
In this paper, elements of network simulations are identified and defined to provide a clear terminology for discourse on network simulators. Then we identify the two stakeholders involved in conducting network simulation ...
Parametric subtypes in ABEL : [revised version] 
Batiansen, Tore Jahn (Research report / Forskningsrapport, 2006)
Multicast in a Heterogeneous Cellular and Ad Hoc Network : Specification of an Ad Hoc Routing Protocol with Cellular Assistance 
Hauge, Mariann (Research report / Forskningsrapport, 2006)
The Ad Hoc Routing Protocol with Cellular Assistance is intended to be used for high-bandwidth streaming on a heterogeneous 3G-cellular and Ad Hoc IEEE 802.11 network architecture. This report describes the protocol in ...
Underspecification, inherent nondeterminism and probability in sequence diagrams 
Refsdal, Atle; Runde, Ragnhild Kobro; Stølen, Ketil (Research report / Forskningsrapport, 2006)
Nondeterminism in specifications may be used for at least two different purposes. One is to express underspecification, which means that the specifier for the same environment behavior allows several alternative behaviors ...
  • «
  • 1
  • 2
  • »
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy
 

 

For students / employeesSubmit master thesisAccess to restricted material

Browse

All of DUOCommunities & CollectionsBy Issue DateAuthorsTitlesThis CollectionBy Issue DateAuthorsTitles

For library staff

Login

Discover

Date Issued2010 - 2020 (60)2000 - 2009 (59)1990 - 1999 (34)1980 - 1989 (1)1979 - 1979 (1)Document Type
Forskningsrapport (155)
Doktoravhandling (1)AuthorSteffen, Martin (14)Stølen, Ketil (14)Owe, Olaf (13)Johansen, Christian (12)Schneider, Gerardo (12)... View MorePeer ReviewedPeer reviewed (3)
RSS Feeds
feedRSS 2.0
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy