469 search results - page 49 / 94 » Putting curry-howard to work |
DSD
2003
IEEE
14 years 28 days ago
2003
IEEE
With shrinking feature size of silicon fabrication technology, architects are putting more and more logic into a single die. While one might opt to use these transistors for build...
HICSS
2003
IEEE
14 years 28 days ago
2003
IEEE
Healthcare organizations worldwide are faced with the growing challenge of introducing structural and technological reforms and cost-effective IT solutions that will transform the...
HICSS
2003
IEEE
14 years 28 days ago
2003
IEEE
Knowledge management is a topic that has gained increasing attention since the mid-1990s. A knowledge management strategy involves consciously helping people share and put knowled...
ISSRE
2003
IEEE
14 years 27 days ago
2003
IEEE
This paper presents DARX, our framework for building applications that provide adaptive fault tolerance. It relies on the fact that multi-agent platforms constitute a very strong ...
COCO
2003
Springer
14 years 26 days ago
2003
Springer
We give machine characterisations and logical descriptions of a number of parameterized complexity classes. The focus of our attention is the class W[P], which we characterise as ...