Sciweavers

31686 search results - page 3 / 6338
» Resource typing in Guru
Sort
View
CORR
2009
Springer
71views Education» more  CORR 2009»
13 years 3 months ago
Uniqueness Typing for Resource Management in Message-Passing Concurrency
Edsko de Vries, Adrian Francalanza, Matthew Hennes...
TACS
2001
Springer
13 years 9 months ago
A Typed Process Calculus for Fine-Grained Resource Access Control in Distributed Computation
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
Daisuke Hoshina, Eijiro Sumii, Akinori Yonezawa
SIGIR
2003
ACM
13 years 10 months ago
Decision-Theoretic Resource Selection for Different Data Types in MIND
In a federated digital library system, it is too expensive to query every accessible library. Resource selection is the task to decide to which libraries a query should be routed. ...
Henrik Nottelmann, Norbert Fuhr
GRID
2006
Springer
13 years 5 months ago
Metascheduling Multiple Resource Types using the MMKP
Grid computing involves the transparent sharing of computational resources of many types by users across large geographic distances. The altruistic nature of many current grid reso...
Daniel C. Vanderster, Nikitas J. Dimopoulos, Randa...
ACSAC
2004
IEEE
13 years 9 months ago
Nabs: A System for Detecting Resource Abuses via Characterization of Flow Content Type
One of the growing problems faced by network administrators is the abuse of computing resources by authorized and unauthorized personnel. The nature of abuse may vary from using u...
Kulesh Shanmugasundaram, Mehdi Kharrazi, Nasir D. ...