365 search results - page 55 / 73 » Types for Safe Locking |
HASKELL
2006
ACM
14 years 2 months ago
2006
ACM
Correct handling of concurrently accessed external resources is a demanding problem in programming. The standard approaches rely on database transactions or concurrency mechanisms...
ADBIS
2005
Springer
14 years 2 months ago
2005
Springer
A key observation is that the invariants in database management determine the mapping steps of the supporting architecture. Referring to the multi-layered architecture of record-or...
ICRA
2003
IEEE
14 years 2 months ago
2003
IEEE
In this paper, a finishing system with a mounted abrasive tool is proposed for finishing of metallic molds. The shape of the mounted abrasive tool is a ball-end type. When a metal...
ICRA
1999
IEEE
14 years 1 months ago
1999
IEEE
Teleoperated robots in harsh environments have a significant likelihood of failures. It has been shown in previous work that a common type of failure such as that of a joint "...
CCS
2008
ACM
13 years 11 months ago
2008
ACM
The access control provided by a physical lock is based on the assumption that the information content of the corresponding key is private -- that duplication should require eithe...