469 search results - page 36 / 94 » Putting curry-howard to work |
GROUP
2005
ACM
14 years 1 months ago
2005
ACM
Many studies have evaluated different uses of collaborative software. Typically, the research has focused on the shortcomings and, sometimes, the ways end users succeed or fail to...
WEBI
2004
Springer
14 years 28 days ago
2004
Springer
The semi-structured information available in HTML and similar documents provide valuable information that can be used for information extraction applications. This information tog...
AINA
2004
IEEE
13 years 11 months ago
2004
IEEE
Fault tolerance is essential to the development of reliable mobile agent system in order to guarantee continuous execution of mobile agents. For this purpose, some previous works ...
GRID
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. In this paper we report on preliminary work and architectural design carried out in the "Data Management" work package in the International Data Grid project. O...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
In the past, we have observed several large blackouts, i.e. loss of power to large areas. It has been noted by several researchers that these large blackouts are a result of a cas...