Search
Now showing items 1101-1109 of 1109
(Master thesis / Masteroppgave, 2005)
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å ...
(Master thesis / Hovedoppgave, 2002)
During the last decade, the computer have become more like a machine
for processing media. Now, all types of media can be integrated in the
computer, thus the computer can be regarded as a meta-medium. The
integration of ...
(Master thesis / Hovedoppgave, 2004)
The development of efficient computer systems is an important aspect of a successful company. Telecommunication companies are no exception
to this, and it's often critical that the system behaves in an
expected and efficient ...
(Master thesis / Hovedoppgave, 2002)
Various methods for formal program verification have been around for a
long time. Hoare logic is one such formalism for verification of
imperative programs. When aliasing may occur in the programs, which
is usually the ...
(Master thesis / Masteroppgave, 2005)
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 ...
(Master thesis / Masteroppgave, 2008)
Current trends in communications technology favour modular, reusable service
components delivered over converged networks. This service oriented approach gives
rise to a new breed of composite, personalised services, but ...
(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 ...
(Journal article / Tidsskriftartikkel / PublishedVersion; Peer reviewed, 2005)
This paper engages in a study of the conditions for convergence between information infrastructures. Inspired by the visions of convergence as on of the essential building blocks to achieve the goals of the Information ...
(Master thesis / Masteroppgave, 2009)
Simulation programs frequently need a large amount of input data. Code dealing with reading input data and initializing data structures can be very tedious to write, especially if the data are to be defined in graphical ...