Sciweavers

31686 search results - page 2 / 6338
» Resource typing in Guru
Sort
View
PPAM
2005
Springer
13 years 10 months ago
A Meta-scheduling Service for Co-allocating Arbitrary Types of Resources
Oliver Wäldrich, Philipp Wieder, Wolfgang Zie...
ENTCS
2010
89views more  ENTCS 2010»
13 years 4 months ago
Categorical Models for Simply Typed Resource Calculi
Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzon...
ENTCS
2007
93views more  ENTCS 2007»
13 years 4 months ago
Types for Access Control in a Calculus of Mobile Resources
Hans Hüttel, Morten Kühnrich