This thesis describes the design and implementation of JavaSplitter, a prototype incremental proof search engine based on a variable splitting sequent calculus. The prover also includes modes for variable pure derivations, ...

Ruby er et nytt og godt alternativ innenfor de skriptespråkene som finnes i dag og har nylig blitt tatt i bruk i den vestlige delen av verden. I denne oppgaven ser jeg i hovedsak på et Ruby-grensesnitt til Diffpack og på ...

This paper discusses how a PHP development toolbox can be implemented. One toolbox has been implemented, and the implementation is described and documented in the text. The toolbox is primarily meant to help students who ...

For a long time IT-system maintenance has been reckoned as the largest expense attached to the IT-department, but there has been relatively little research on this subject. This investigation looks at IT-system maintenance ...

This thesis describes the foundation for developing a tool that compares Java programs, or different versions of a program. The tool captures syntactic differences and contextual semantic differences as well. Syntactic ...

The aim of this thesis is the specification and development of a new UML virtual machine – UMLexe- capable of executing platform independent system specifications. For executing models, computational completeness is ...

For many reasons, large and small installations of computers can benefit from Automated Configuration Management tools. All the processes from installation, configuration, to maintenance and updating the computers can ...

In this thesis we revisit a handful of well-known experiments, using modern tools, to see if results yielded from earlier experiments are valid for today's heterogeneous networks. The traffic properties we look at are ...

In this thesis we propose a model-based approach to support data integration between heterogeneous enterprise systems. It reviews literature about interoperability, and presents several aspects of data integration problems. ...

Denne oppgaven tar for seg tillit til elektronisk valg, og hvorvidt det er mulig å lage elektroniske valgsystem som velgerne kan ha tillit til. For at en velger skal kunne ha tillit til et elektronisk valgsystem, må han ...

The thesis numerically investigates the stability and convergence properties of the Parareal algorithm when it is run on the unsteady Stokes equations. The Parareal algorithm offers a parallel-in-time scheme for solving ...

The Election Markup Language (EML) is a communication language used between and within different subsystems of a computerized electoral information system. EML is defined by means of a set of 33 XML Schemas. This thesis ...

Applikasjoner som bruker IP-nettverk setter statig større krav til QoS, mens dagens IP nett kun kan tilby en best effort ytelse. Samtidig blir trådløse nettverk mer og mer populært og benyttet i stadig større grad. IEEE ...

This thesis provides contributions to the research programming language Creol (Concurrent REflective Ob ject-oriented Language). The first contribution is the EBNF grammar for Creol. The second contribution suggests how to ...

Rewriting logic can be used to prototype systems for automated deduction. In this paper, we illustrate how this approach allows experiments with deduction strategies in a flexible and conceptually satisfying way. ...

This report concentrates on presenting the predicament of life cycle mismatch between components and the system – described as component obsolescence. The problem seem to be most prevalent for microelectronics, where many ...

This thesis is based on my participation in a globally distributed development process of an Open Source Health Information System (DHIS-2). The DHIS-2 project is a collaboration between the countries of Norway, Vietnam, ...

This thesis discusses two implementations of file access controls: the UNIX Permissions (UP) and the Access Control List (ACL). We will evaluate advantages and weaknesses in these two implementations. The criteria of ...

De håndskrevne dagbøkene begynner å bli mindre og mindre populære nå som dagens teknologier klarer å gjøre det samme automatisk uten at vi trenger å tenke over det. Spesielt mobiltelefoner er blitt en av de største vinnerne ...

Forskningsarbeidet i denne oppgaven har vært rettet mot tilgjengelighet for blinde mennesker på internett. Vi har forsøkt å kartlegge hvilke hindringer blinde møter ved bruk av tjenester på internett. Vi gjorde et utvalg ...

Mobile ad-hoc networks (MANETs) provide the technical platform for efficient information sharing in emergency and rescue operations. Some the data present on the scene is highly confidential and requires protection. However, ...

Background Worldwide immunization coverage shows an increase in the past years but the validity of the official reports for measuring change over time has been questioned. Facing this problem, donor supported ...

Creating software systems by composing already existing reusable software is a vision which has been driving the development of software technologies and paradigms for a long time. By combining visual modelling and service ...

The research is based on understanding the challenges related to the design, development and implementation of a GIS tool for health care in developing countries. Specifically, the study analyses how the GIS application ...

The topic for this thesis is index management in Database management Systems (DBMS). The thesis is split in two related parts. The first part documents the design and implementation of Rindex, a platform whose goal is ...

Denne rapporten omhandler matrisemultiplikasjon i FPGA. Det er laget systemer for multiplikasjon av NxN matriser med størrelse 4x4 og 12x12. Systemene er skrevet i Händel C i dataverktøyet DK Design Suite 3.1 fra Celoxica. ...

IEEE 802.11i er en standard som spesifiserer sikkerhet i IEEE 802.11 trådløse nettverk. Denne oppgaven tar for seg oppgradering av infrastrukturbaserte 802.11 trådløse nettverk til 802.11i og ser på konsekvenser for brukeren. ...

This paper deals with security aspects of the web-portal Altinn and shows how these aspects can be formalized and modeled in the high level programming language, Maude. Thereafter there will be given examples of how this ...

The thesis looks at how QoS-aware applications (QSAs), with an Internet phone as a case, can be built from components (with Enterprise Java Beans (EJB) as the chosen component model). It also identifies limitations of the ...

In this thesis we address how a global contractor approaches the creation of a standard framework for service and performance management for application outsourcing and how this standard framework is localized. Based on a ...

A traffic sign detection system in the vehicle can be of great help for the driver. The number of accidents can be reduced by 20\% if the speed limits are followed. A system that warns the driver about speeding could ...

This master thesis looks at aspects with backup of data and restore in ad-hoc networks. Ad-hoc networks are networks made between arbitrary nodes without any form of infrastructure or central control. Backup in such ...

This thesis considers issues surrounding use and development of open source geographical information systems (GIS) as a part of the district health information systems in developing countries. The base for this thesis is ...

This project is about human–computer interaction, consisting of two parts. The first part is to analyze human behavior through the observation of machine/system behavior – solely through network traffic. By observing this ...

This is a summary of the cand. scient. thesis "En heterogen implementasjon av generiske pakker og ekspanderbare klasser i Java" (in English: "A heterogeneous implementation of generic packages and expandable classes in ...

In the present day, distributed systems are becoming more and more important. It can be difficult to stop such systems to perform an update, either because they are critical infrastructure, like air traffic control systems, ...

Short summery. In this thesis I have tried to find out what students have problems with when learning object oriented programming languages. I have studied how they solve their assignments and how well they succeed. In ...

This thesis gives an overview of the field of positioning technology. The contents of the thesis is based on information gathered from articles, the internet, meetings and interviews as well as experiences learned as a ...

The Transmission Control Protocol (TCP) has proved to be a reliable transport protocol that has withstood the test of time. It is part of the TCP/IP protocol suite deployed on the Internet, and it currently supports a ...

This is a Master’s degree thesis from the Department of Informatics, University of Oslo, Norway. It is about the user’s experience of tickets in the transition from paper-based tickets to digital Radio Frequency Identification ...

Analog to digital conversion has become, like many other processes drawn more and more into the digital domain. Delta-Sigma A/D conversion avoids some of the challenges with the digital components of traditional A/D ...

It has become more and more common to apply the Model-Driven Architecture (MDA) to development of systems based on the Service-oriented architecture (SOA), especially Web services. Standards for development of Web services ...

I datamaskiner må representasjoner baseres på biter og bytes. Dette gir ekstra utfordringer i forbindelse med representasjon av verdier som har en romlig utstrekning, fordi slike verdier ikke lar seg representere så direkte ...

Model-driven development is by many predicted to become the next big leap in software development. This thesis investigates how quality of service (QoS) concerns could be incorporated in a model-driven development process. ...

The aim of this thesis is the specification, development and empirical assessment of a new security mechanism Promon capable of protecting existing programs against control flow attacks. Buffer overflows receive special ...

The increasing use of distributed real-time embedded systems in modern application domains introduces new challenges in developing software [1]. These systems present design constraints such as low memory and reduced ...

Denne oppgaven omhandler utviklingen av et grafisk verktøy for automatisk gruppering og degruppering av enkle dataorienterte UML- klassediagrammer. Grupperingen vil resultere i klasser som kan brukes som utgangspunkt for ...

The goal of this thesis is to find a strategy for adaptive video streaming suitable for the Distributed Media Journaling project (DMJ). DMJ focuses on capturing and indexing distributed multimedia content in real time. An ...

Abstract This Master thesis is the final project at Oslo University College which is a part of the international Master degree in Network and system administration, in collaboration with the University of Oslo. This thesis ...

The goal of this thesis is to find and implement an optimal solution for efficient utilization of the varying bandwidth of a wireless network when streaming a video, between a streaming server and a mobile wireless device. ...

This thesis presents a foveated imager chip, an imager inspired by the retina in the human eye. The imager shares some functionalities of the retina, with sharp vision in the centre and motion detection in the periphery. ...

Distribuerte systemer består av et antall samarbeidende prosesser som kjører på ulike maskiner og som kommuniserer med meldingsutveklsing. Distribuerte systemer har blitt så vanlige at de utgjør en del av samfunnets ...

The thesis investigates how narrative techniques or a narrative form can support the design of political websites. The emphasis is on how known dilemmas, related to narrative and new media, can be resolved in the context ...

The first mobile commerce services emerged on the Norwegian market in the late nineties and in constant growth. This paper looks at the status on mobile commerce and e-money in Norway today, which participants exists on ...

This document contains a description of the network infrastructure belonging to Oslo University College. It takes a large a complicated network and breaks it up into smaller and more manageable parts for a closer examination. ...

Development of applications and protocols for wireless ad-hoc networks has always been a challenge. Spe-cific characteristics such as frequent topology changes due to nodes moving around, popping up or being turned off, ...

Summary This master thesis is a study of a specific process. When working with development of the security system for Øyafestivalen in Oslo, I wanted to improve the process and achieve a more structured process. To do this ...

Abstract Classical Sampling methods play an important role in the current practice of Internet measurement. With today’s high speed networks, routers cannot manage to generate complete Netflow data for every packet. They ...

Vi kombinerer to varianter av pi-kalkylen, asynkron pi-kalkyle og anvendt pi-kalkyle ("applied pi-calculus"), til en ny kalkyle: anvendt asynkron pi-kalkyle. Kalkylen modellerer asynkron kommunikasjon og tillater bruk ...

PRP for C# er en kort masteroppgave som har som mål å konvertere et eksisterende system, JavaPRP, til en ny plattform, .NET og C#. PRP er et system for å spre beregningen av en rekursiv metode til flere maskiner koblet ...

The eXplicit Control Protocol (XCP) was released as an RFC draft on October 17, 2004. In this paper we have looked into the theory behind the development of XCP. In addition, we created a working Linux implementation of ...

Denne oppgaven ser på dataflyttings- og kontekstbytteoverhead i Linux ved nedlasting og streaming. Dataflytting er en kostbar operasjon, og mange mekanismer har blitt foreslått og implementert for å redusere dataflyttingsoverhead. ...

A well-known combinatorial optimization problem is the graph partitioning problem. Since solving it optimally requires very much time, we have to settle for approximated methods. One such method is the multilevel k-way ...

The Resource reSerVation Protocol (RSVP) is a signaling protocol used chiefly by Integrated Services (IntServ) to communicate Quality of Service reservations. While RSVP has a security architecture that was designed for ...

When a collection exceeds a certain size there will be a need for tools to help organise and manage it. Collection management software is one such tool. Collectors of mainstream collectibles, such as coins and books, ...

There are currently few effective methods of entering text by the use of joysticks. Textix is a new strategy for text entry using two small joysticks, preferably controlled by thumbs. The technique is based on mimicking ...

Dette er en masteroppgave (kort type) skrevet ved Institutt for Informatikk, Universitetet i Oslo. Den handler om mobile brukeres behov for å kommunisere kontekst, tilstedeværelse og tilgjengelighet i mobile arbeidsgrupper. ...

Det er liten tvil om at digitale verktøy kan effektivisere og forenkle arbeidsoppgaver, at de påvirker arbeidsprosesser, og ofte forandrer arbeidsrutiner. Men hva med kreativitet? Kan bruken av digitale verktøy understøtte ...

The book industry in Norway consists of many different types of companies. We have the publisher who publishes the book, the Distribution Central who distributes the book from the publisher to the book store and the book ...

This thesis explores some of the possibilities web-technology offers for creating an interactive learning environment for bioinformatics on the web. A set of implemented examples on how some of the basic algorithms in ...

In this thesis, we reexamine the long discussion on which model is suitable for studying Internet traffic: Poisson or Long-tailed Internet traffic. Poisson model, adapted from telephone network, has been used since the ...

This thesis deals with end-user support, and the tools that are necessary in order to take full advantage of information from end-users. Information from end-users can be exploited to improve the support organisation, the ...

Multimedia-applikasjoner og andre applikasjoner med høy datagjennomstrømning setter strenge krav til ytelse og krever i mange tilfeller at man kan garantere et bestemt ytelsesnivå for de forskjellige delene av systemet ...

Python – Realizer is basically planned to become the original Python done in C++ and Qt class library. This to make it a brand new implemented Python interpreter with a new rapid application development application extending ...

Visualization of large quantities of structured data is difficult when the relationships are complex. Each information element can be linked to several others at the same time, so it is not possible to merely display ...

Jeg har i denne oppgaven studert metoder for å utføre divisjon og kvadratrot av binære tall. Fokus for oppgaven har vært multiplikative divisjons- og kvadratrotalgoritmer basert på numerisk tilnærming av resiprokalet og ...

Abstract The focus of this project will be on studying the behaviour of throughput changes of the cell when nodes send their data in different bit rate. The main goal of this thesis was to develop techniques and tools ...

This project presents a new CMOS-MEMS pressure sensor including an analog-to-digital converter on chip. The entire system is fabricated in a standard 0.6um CMOS process from Austria Micro Systems (AMS), with only one ...

Det er viktig å anvende teorier fra andre disipliner enn informatikk for å gi et mer nyansert bilde av fagfeltet enn hva det selv klarer å gi. Informatikk er mer enn programmering og det trengs mer enn ren teknisk kunnskap ...

This thesis will examine a method for efficient rendering of realistic water surfaces in a 3D terrain visualization engine, using modern graphics hardware and state-of-the-arts rendering techniques. The method produces a ...

In the last few decades, multiple-valued logics have been proposed as a possible alternative or enrichment to binary logic. Multiple-valued circuits replace the two states of binary logics with finite or infinite sets ...

MAS (Multi-Agent Systems), classifiers and other AI (Artificial Intelligence) techniques are increasingly becoming more common. The capability to handle complex and advanced problems by MAS was explored in this thesis. An ...

The marked for ICT outsourcing is under continuous growth. The trial and fail approach from the early outsourcing projects is being replaced by professional approach that offers a broad specter of services. However, many ...

We live in the information age. The development of tools contributing to more efficient use of the Internet, the world’s largest source of information, is therefore important. This thesis contributes to this development ...

In distributed systems applications must compete for access to resources. Existing algorithms for competing use of resources often only offer the best effort-guarantee. Best effort has no guarantees for the time data uses ...

Many of today's critical systems offers services that depend upon the correct behaviour of one single physical unit. An attacker able to gain control over one component by exploiting a vulnerability its software, only needs ...

In today's modern society, the increasing demands for connectivity and accessibility place computers in ever larger internetworks. As more and more computers become globally accessible, the number of threats from random ...

This research falls under the area of design and implementation of information systems in developing countries. I have studied the health information systems in Tanzania using case studies in Ilala Municipal, situated in ...

This study investigated the factors contributing to unsustainable health information systems and low level of use. Approaches to development and implementation of an integrated district-based health information system ...

The goal of this thesis was to develop an application facilitating patient monitoring by providing a roaming monitor that a physician can carry with him or her at any time. The thesis itself presents an overview of issues ...

It is generally recognized that aggregated network traffic is self similar and that employment of traditional Poisson generators in network simulations may give misleading results when assessing performance. Many methods ...

Sammendrag Flernivålogikk er ikke så mye brukt i kommersielle systemer, på grunn av enkelte problemer med denne typen logikk. I denne oppgaven skal man lage et system ved hjelp av flernivålogikk. Flernivålogikk har enkelte ...

This thesis is a study in the field of quality of service (QoS) aware component-based middleware and separation of concerns. QoS enabled middleware tries to preserve the safe-deployment property of components. QoS is a ...

The research presented in this Masters Thesis identifies the comprehension strategies used by novice programmers during maintenance tasks on a previously unknown application in Java. In addition, the difficulties the ...

The research presented in this thesis evaluates three methods for data collection during software engineering experiments: the concurrent and retrospective think-aloud methods and the feedback-collection method. A controlled ...

Denne oppgaven handler om bruk av kommunikasjonsteknologier i en distribuert forskningsgruppe. Mitt hovedfokus var å utforske hvilke kommunikasjonsteknologier som blir benyttet til hvilke formål, hvordan tilstedeværelse ...

The hidden node phenomenon is a well known problem in wireless networks. This problem has impacts both on performance and stability in the network. By the introduction of 802.11k these problems can be minimized with the ...

A data warehouse enables enterprise-wide analysis and reporting functionality that is usually used to support decision-making. Data warehousing system integrates data from different data sources. Typically, the data are ...

This thesis is drawn from an ongoing large-scale action research project Health Information Systems Program (HISP), which aims to develop sustainable computer based Health Information Systems (HIS) in and for developing ...