Sciweavers

601 search results - page 43 / 121
» Writing for the Year 2000
Sort
View
PARA
2000
Springer
15 years 3 months ago
GRISK: An Internet Based Search for K-Optimal Lattice Rules
Abstract. This paper describe the implementation and underlying philosophie of a large scale distributed computation of K-optimal lattice rules. The computation is huge correspondi...
Tor Sørevik, Jan Frode Myklebust
PROFES
2000
Springer
15 years 3 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
15 years 3 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
15 years 3 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
15 years 1 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