Sciweavers

31686 search results - page 2 / 6338
» Resource typing in Guru
Sort
View
60
Voted
PPAM
2005
Springer
15 years 3 months ago
A Meta-scheduling Service for Co-allocating Arbitrary Types of Resources
Oliver Wäldrich, Philipp Wieder, Wolfgang Zie...
53
Voted
LICS
2000
IEEE
15 years 2 months ago
Resource-Bounded Continuity and Sequentiality for Type-Two Functionals
Samuel R. Buss, Bruce M. Kapron
ENTCS
2010
89views more  ENTCS 2010»
14 years 10 months ago
Categorical Models for Simply Typed Resource Calculi
Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzon...
56
Voted
ENTCS
2007
93views more  ENTCS 2007»
14 years 10 months ago
Types for Access Control in a Calculus of Mobile Resources
Hans Hüttel, Morten Kühnrich