1002 search results - page 124 / 201 » Reasoning about Object Structures Using Ownership |
CHI
1993
ACM
14 years 3 months ago
1993
ACM
An evaluation of earcons was carried out to see whether they are an effective means of communicating information in sound. An initial experiment showed that earcons were better th...
SAC
2005
ACM
14 years 4 months ago
2005
ACM
More and more software projects are using COTS (Commercialoff-the-shelf) components. Using COTS components brings both advantages and risks. To manage some risks in using COTS com...
CTRSA
2009
Springer
14 years 6 months ago
2009
Springer
Abstract. A redactable signature scheme for a string of objects supports verification even if multiple substrings are removed from the original string. It is important that the re...
ICRA
2009
IEEE
14 years 5 months ago
2009
IEEE
— In this paper we present our efforts to design a system for feeding back useful haptic information from a highly dynamic running robot to a remote operator using a haptic devic...
CC
2004
Springer
14 years 4 months ago
2004
Springer
Abstract. This paper presents the design, implementation and experimental evaluation of a practical region-based partial dead code elimination (PDE) algorithm on predicated code in...