31686 search results - page 209 / 6338 » Resource typing in Guru |
ECBS
2002
IEEE
14 years 2 months ago
2002
IEEE
Resource heterogeneity offers a new challenge to portability of resource critical applications such as multimedia or interactive applications. Under heterogeneous environments, a ...
ESCIENCE
2006
IEEE
14 years 1 months ago
2006
IEEE
ct In this paper we present an extension to devise and implement advance reservation as part of the scheduling and resource management services of the ASKALON Grid application deve...
OHS
2000
Springer
14 years 27 days ago
2000
Springer
One of the deficiencies of the World Wide Web is that the Web does not have a memory. Web resources always display one revision only, namely the latest one. In addition, once a Web...
CL
2000
Springer
14 years 1 months ago
2000
Springer
Generalized databases will be examined, in which attributes can be sets of attributes, or sets of sets of attributes, and other higher type constructs. A precise semantics will be ...
TYPES
2000
Springer
14 years 27 days ago
2000
Springer
We present a formalization of the halting problem in Agda, a language based on Martin-L