1299 search results - page 254 / 260 » On the Correctness of Operating System Kernels |
AGENTS
2001
Springer
13 years 11 months ago
2001
Springer
The goal of this project is to develop a pedestrian mobility aid for the elderly. In order for this type of assistive technology to be useful and accepted by its intended user com...
RT
2001
Springer
13 years 11 months ago
2001
Springer
This paper presents a technique for representing and displaying high dynamic-range texture maps (HDRTMs) using current graphics hardware. Dynamic range in real-world environments o...
ECOOPW
1999
Springer
13 years 11 months ago
1999
Springer
Code duplication is an important problem in application maintenance. Tools exist that support code duplication detection. However, few of them propose a solution for the problem, ...
AGENTS
1998
Springer
13 years 11 months ago
1998
Springer
of other components. This abstract presents an implemented illustration of such explicit component synergy and its usefulness in dynamic multi-agent environments. In such environme...
STOC
1989
ACM
13 years 10 months ago
1989
ACM
This paper takes the next step in developing the theory of average case complexity initiated by Leonid A Levin. Previous works Levin 84, Gurevich 87, Venkatesan and Levin 88] have...