303 search results - page 41 / 61 » Typing Safe Deallocation |
SAC
2004
ACM
14 years 3 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 4 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 3 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...
ISCIS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Communication, a fundamental concept in computing, allows two pieces of software to interact and to exchange information. It is an important aspect of mobile agent system...