• 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-10 of 10

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
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 ...
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 ...
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 ...
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 ...
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 ...
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)
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 ...
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 ...
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.
 
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 Issued
2017 (10)
Document Type
Forskningsrapport (10)
AuthorBerg, Henning (2)Giese, Martin (2)Karlsen, Leif Harald (2)Abraham, Erika (1)Arshad, Hamed (1)... View MorePeer ReviewedPeer reviewed (1)
RSS Feeds
feedRSS 2.0
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy