31686 search results - page 19 / 6338 » Resource typing in Guru |
ENVSOFT
2007
13 years 7 months ago
2007
Nodal network approaches are a common framework for considering water allocation in river basins. In this type of model framework, a river basin is represented as a series of node...
FGCS
2008
13 years 7 months ago
2008
As the adoption of grid computing in organizations expands, the need for wise utilization of different types of resources also increases. A volatile resource, such as a desktop co...
CN
1999
13 years 7 months ago
1999
This work focuses on characterizing information about Web resources and server responses that is relevant to Web caching. The approach is to study a set of URLs at a variety of si...
HASKELL
2008
ACM
13 years 8 months ago
2008
ACM
We present Haskell libraries that statically ensure the safe use of resources such as file handles. We statically prevent accessing an already closed handle or forgetting to clos...
ICFP
2003
ACM
14 years 7 months ago
2003
ACM
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementat...