474 search results - page 87 / 95 » A Framework for Comparing Type Systems for Database Programm... |
ICTL
1994
14 years 24 days ago
1994
Commonsense knowledge often omits the temporal incidence of facts, and even the ordering between occurrences is only available for some of their instances. Reasoning about the temp...
ASPLOS
1996
ACM
14 years 26 days ago
1996
ACM
This paper describes Shasta, a system that supports a shared address space in software on clusters of computers with physically distributed memory. A unique aspect of Shasta compa...
ECOOP
2009
Springer
14 years 9 months ago
2009
Springer
To improve software productivity, when constructing new software systems, programmers often reuse existing libraries or frameworks by invoking methods provided in their APIs. Those...
ECBS
2000
IEEE
14 years 1 months ago
2000
IEEE
Because there are di erent types of software (e.g., language, application, target environment, etc.), di erent software certi cation methodologies are needed. Software process imp...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
Content delivery networks have evolved beyond traditional distributed caching. With services such as Akamai's EdgeComputing it is now possible to deploy and run enterprise bu...