1554 search results - page 60 / 311 » An Overview of the Spring System |
ISCAPDCS
2004
13 years 11 months ago
2004
This paper presents a new protocol for ensuring sequential consistency in a distributed objects system. The protocol is efficient and simple. In addition to providing a high-level...
ESSLLI
2009
Springer
13 years 7 months ago
2009
Springer
This paper describes cdiprover3 a tool for proving termination of term rewrite systems by polynomial interpretations and context dependent interpretations. The methods used by cdip...
PG
2002
IEEE
14 years 3 months ago
2002
IEEE
In this paper, we develop an interactive haptic system, which can be further aid for digital Chinese painting. When an artist is holding our force feedback device, one feels like ...
ECRTS
1999
IEEE
14 years 2 months ago
1999
IEEE
Despite the significant body of results in real-time scheduling, many real world problems are not easily supported. While algorithms such as Earliest Deadline First, Rate Monotoni...
CGF
1998
13 years 9 months ago
1998
This paper describes the prototype of a facial expression editor. In contrast to existing systems the presented editor takes advantage of both medical data for the simulation and ...