Sciweavers

376 search results - page 16 / 76
» Year 2000
Sort
View
PROFES
2000
Springer
13 years 11 months ago
Modeling and Analysis of Software Aging Process
This paper proposes a model of successful maintenance that can represent how maintainability of each software module changes as it ages. We found that some of the metrics, measured...
Akito Monden, Shin-ichi Sato, Ken-ichi Matsumoto, ...
STACS
2000
Springer
13 years 11 months ago
On the Competitive Ratio of the Work Function Algorithm for the k-Server Problem
The k-server problem is one of the most fundamental online problems. The problem is to schedule k mobile servers to visit a sequence of points in a metric space with minimum total...
Yair Bartal, Elias Koutsoupias
WCRE
2000
IEEE
13 years 11 months ago
Reverse Engineering from Assembler to Formal Specifications via Program Transformations
The FermaT transformation system, based on research carried out over the last sixteen years at Durham University, De Montfort University and Software Migrations Ltd., is an indust...
Martin P. Ward
HCI
2007
13 years 9 months ago
Summary of Usability Evaluations of an Educational Augmented Reality Application
We summarize three evaluations of an educational augmented reality application for geometry education, which have been conducted in 2000, 2003 and 2005 respectively. Repeated forma...
Hannes Kaufmann, Andreas Dünser
AAAI
2000
13 years 9 months ago
Semantics and Inference for Recursive Probability Models
In recent years, there have been several proposals that extend the expressive power of Bayesian networks with that of relational models. These languages open the possibility for t...
Avi Pfeffer, Daphne Koller