Sciweavers

31686 search results - page 2 / 6338
» Resource typing in Guru
Sort
View
119
Voted
PPAM
2005
Springer
15 years 11 months ago
A Meta-scheduling Service for Co-allocating Arbitrary Types of Resources
Oliver Wäldrich, Philipp Wieder, Wolfgang Zie...
115
Voted
LICS
2000
IEEE
15 years 10 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 5 months ago
Categorical Models for Simply Typed Resource Calculi
Antonio Bucciarelli, Thomas Ehrhard, Giulio Manzon...
ENTCS
2007
93views more  ENTCS 2007»
15 years 5 months ago
Types for Access Control in a Calculus of Mobile Resources
Hans Hüttel, Morten Kühnrich