Technical reports published in 2010
TR-2010-136
The Activity-Based Computing Project – A Software Architecture for Pervasive Computing
Final Report – The Strategic Research Council, grant no. #2106-04-0019
Author: Jakob E. Bardram
TR-2010-135
An Implementation of Bigraph Matching
Authors:Arne John Glenstrup, Troels Christoffer Damgaard, Lars Birkedal, and Espen Højsgaard
TR-2010-134
The Container Stowage Problem
Authors: Kira Janstrup, Trine Høyer Rose, Kent Høl Andersen, and
Rune Møller Jensen TR-2010-133
A Constraint Programming Model for Fast Optimal Stowage of Container Vessel Bays Authors:
Alberto Delgado Ortegón,
Rune Møller Jensen, Kira Janstrup, Trine Høyer Rose, and Kent Høl Andersen
TR-2010-132
The λσ-Calculus and Strong Normalization Author:
Anders Schack-Nielsen TR-2010-130
Fieldwork Report for the Nucleic Acid Technology Lab Author:
Juan David Hincapié-Ramos TR-2010-129
Detecting differences between versions of Microsoft Dynamics NAV
Author: Morten Rhiger
TR-2010-128
Architecture-Level Evolvability Assessment: Assessing Sustainability of Software Product Evolution
Author: Hataichanok Unphon
TR-2010-124
Realizability Semantics of Parametric Polymorphism, General References, and Recursive TypesAuthors:
Lars Birkedal,
Kristian Støvring, and Jacob Thamsborg
TR-2010-123
A 3-Phase Randomized Constraint Based Local Search Algorithm for Stowing Under Deck Locations of Container Vessel BaysAuthors:
Dario Pacino and
Rune Møller Jensen