469 search results - page 79 / 94 » Putting curry-howard to work |
WCRE
2008
IEEE
14 years 1 months ago
2008
IEEE
The increasing amount of data available about software systems poses new challenges for re- and reverse engineering research, as the proposed approaches need to scale. In this con...
ACSAC
2007
IEEE
14 years 1 months ago
2007
IEEE
Special purpose trusted computing devices are currently being deployed to offer many services for which the general purpose computing paradigm is unsuitable. The nature of the ser...
DATE
2007
IEEE
14 years 1 months ago
2007
IEEE
Partitioning a memory into multiple blocks that can be independently accessed is a widely used technique to reduce its dynamic power. For embedded systems, its benefits can be ev...
IROS
2007
IEEE
14 years 1 months ago
2007
IEEE
— This paper puts forward an approach for a mobile robot to recognize the human’s manipulative actions from different single camera views. While most of the related work in act...
ISORC
2007
IEEE
14 years 1 months ago
2007
IEEE
As E-businesses are becoming ubiquitous, enhancing the performance and scalability of ebusiness systems has become an increasingly important topic of investigation. As Vitruvius (...