Sciweavers

31686 search results - page 5 / 6338
» Resource typing in Guru
Sort
View
ATAL
2006
Springer
13 years 11 months ago
A comparison between mechanisms for sequential compute resource auctions
This paper describes simulations designed to test the relative efficiency of two different sequential auction mechanisms for allocating compute resources between users in a shared...
Andrew Byde
ESOP
2004
Springer
14 years 26 days ago
A Dependently Typed Ambient Calculus
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...
Cédric Lhoussaine, Vladimiro Sassone
ICALP
2003
Springer
14 years 21 days ago
Resource Access and Mobility Control with Dynamic Privileges Acquisition
µKlaim is a process language that permits programming distributed systems made up of several mobile components interacting through multiple distributed tuple spaces. We present th...
Daniele Gorla, Rosario Pugliese
IJCIS
2007
85views more  IJCIS 2007»
13 years 7 months ago
Typing and Transformational Effects in Complex Information Supply
Information plays an increasingly important role in our lives. Often we retrieve this information by querying the Web: data resources found on the web may provide the information ...
Bas van Gils, Henderik Alex Proper, Patrick van Bo...
AUTOMATICA
2006
85views more  AUTOMATICA 2006»
13 years 7 months ago
Stability analysis of network-based cooperative resource allocation strategies
Resource allocation involves deciding how to divide a resource of limited availability among multiple demands in a way that optimizes current objectives. In this brief paper we fo...
Alvaro E. Gil, Kevin M. Passino