365 search results - page 50 / 73 » Types for Safe Locking |
ACSC
2007
IEEE
14 years 3 months ago
2007
IEEE
Mobile technology is particularly suited to a fully distributed (replicated) architecture for collaborative work. Users can maintain their own document copies, and can continue to...
SAC
2004
ACM
14 years 2 months ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
— We address the problem of learning terrain traversability properties from visual input, using automatic mechanical supervision collected from sensors onboard an autonomous vehi...
HICSS
2006
IEEE
14 years 3 months ago
2006
IEEE
National surveys demonstrate that millions of crimes go unreported in the United States. Several reasons may contribute to this lack of reporting and we are investigating these po...
CSFW
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...