Sciweavers

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