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. ...

Public health systems rely on many different components: the institutions of Ministry of Health; the health staff and the information and communication systems used by these organizations to collect, analyze and disseminate ...

Streamed multimedia is becoming common on the Internet as the bandwidths increase for end-users. To stream data with high bitrates to many concurrent users, servers are needed that can handle these extreme loads. Implementing ...

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 ...

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 thesis presents an analysis of the information infrastructure for distribution of music to mobile phones. The focus is kept on the users/ listeners throughout the thesis. This study is of importance as there are no ...

En måte å oppdage ukjente genmodifiseringer er å konstruere et mikroarray med et bestemt probesett. Probesettet er valgt ut ved biokombinatoriske reduksjoner som beskrevet av Nesvold (Nesvold et.al, 2005). Før den endelige ...

Denne oppgaven inngår som en del av Creol-prosjektet. Creol er et høy-nivå objekt-orientert modelleringsspråk for åpne distribuerte systemer. Språket er formelt definert med semantikk i omskrivningslogikk. I Creol tilbys ...

Automatisk identifisering av komplette genmodeller i eukaryotiske organismer er fortsatt en utfordrende oppgave (Zhang, 2002). Selv om det er konstante forbedringer i søkenøyaktigheten til gensøkingsprogrammer klarer de ...

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 ...

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 master thesis is a culmination of two experiments performed with children. The children got to play with Lego Mindstorms, build and program their custom made Lego robots. The first of the experiments was performed ...

I dag blir datamaskiner kun brukt som avanserte skrivemaskiner hos bokforlagene. J.W. Cappelens Forlag ønsker å effektivisere prosessene et manus går igjennom fra det kommer fra forfatter til det skal sendes til trykk ved ...

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 ...

Risk handling of oil recovery projects has become more important as the biggest and least complicated oil fields have been exploited. As exploitation of smaller or more complex oil fields are not as obviously profitable, ...

Software development has reached a new step in the evolution of software developing tools and languages. From the beginning of software development there has been major changes in how software is developed. From the basic ...

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 ...

This thesis investigates the challenges of scaling and standardizing Health Information Systems (HISs) in the context of developing countries. This investigation is based on case studies and action research interventions ...

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 ...

Målet med denne oppgaven er å undersøke hvilken innvirkning en utvidelse av den tradisjonelle forståelsen av begrepet mobilitet til å omfatte ikke bare fysisk og tidsmessig kontekst, men også sosial kontekst, har på ...

Systems where data is collected using arrays of sensors will usually contain a beamformer. When the number of active channels in the sensor array is large, as it often is in imaging systems like sonar and medical ultrasound, ...

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 ...

Rindex (a short for RAM Index) is designed as a platform to be used top of a traditional database management system (DBMS). The main focus for this project has been on how to maximize the usage of the available main memory ...

Today’s computer networks have gone from typically being a small local area network, to wide area networks, where users and servers are interconnected with each other from all over the world. This development has gradually ...

Oppgaven ”Unntakshåndtering i modellering og programmering” tar for seg utfordringen med å lage mekanismer for unntakshåndtering i UML 2 sine sekvensdiagrammer. Unntakshåndtering i sekvensdiagrammer er så langt ikke del ...

Abstract This is a master thesis from a collaboration between Oslo University College and Uninett Research. Uninett have a passive monitoring device on a 2.5 Gbps backbone link between Trondheim and Narvik. They uses ...

Abstract This master thesis presents the effect that security has on a sensor network. A wireless sensor network is composed of a magnitude of sensors that together form a sensor network through self- organizing and self- ...

Generic Packages with Expandable Classes is a statically type safe programming mechanism which combines type parameterisation on the package level with class expansion. The former makes the mechanism useful for solving ...

This document is my master thesis at the Institute of Informatics, University of Oslo. This is a multiple case study where the focus is estimating web based software projects. For consultants in the software industry, the ...

By making use of a distributed file system, users of physically distributed computers are allowed to share data and storage resources. This paper compares three distributed filesystems: the Sun NFS filesystem, Samba and ...

This thesis is based on an action research project where I have participated in the development of internationalisation support to a computerised health information system. The project is a Vietnamese-Norwegian collaboration ...

This research falls under the domain of information systems development in developing countries. The context of the research is Zanzibar, Tanzania. The main objective of this research was to study the existing HIS, identify ...

The thesis is about different approaches to model driven development. Much of the IT industries history can be summarized as a quest for faster and better methods for system development. This thesis has taken a closer look ...

This thesis is about software development practices, including the project management aspects, in the context of global software outsourcing. It was focused on the issues of achieving quality product namely here: software. ...

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, ...

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 ...

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 ...

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. ...

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 ...

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, ...

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. ...

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 ...

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 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. ...

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 ...

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 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 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 ...

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 ...

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 ...

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 ...

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 ...

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 ...

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, ...

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 ...

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 ...

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. ...

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 ...

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 ...

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. ...

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 ...

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 ...

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, ...

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 ...

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. ...

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 ...

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 ...

Knowledge management is an emerging discipline and the number of books and articles are growing rapidly. Still there does not exist one ambiguous definition the writers agree on, but they agree that knowledge management ...

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 ...

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 ...

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 ...

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 ...

As the Internet has become one of the most wide spread communication channel today the need for new and better services will continuously be required. From the start of the Internet, ARPANET \cite{RFC0871}, most of the ...

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 ...

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 ...

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 ...

The thesis takes a look at the new UML 2.0 specification, with focus on sequence diagrams. It deals with development of a sequence diagram editor for the new specification. Sequence diagram editors have more functionality ...

Writing code in a low-level programming language is considered to be more difficult, more error-prone, more time-consuming and expensive than writing the same code in a high-level language. A lot of software is implemented ...

Abstract 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 ...

This master's thesis investigates the suitability of using the real-time formalism and tool Real-Time Maude to formally model and analyze wireless sensor networks. Real-Time Maude's applicability to wireless sensor networks ...

Altinn is a Norwegian portal for public reporting over the internet. The application can be seen as the “flagship” for how the use of IT is supposed to ease reporting to the government for businesses, organizations, and ...