533 search results - page 65 / 107 » Intensional Models for the Theory of Types |
WSDM
2010
ACM
14 years 2 months ago
2010
ACM
Two-sided markets arise when two different types of users may realize gains by interacting with one another through one or more platforms or mediators. We initiate a study of the...
TLCA
2009
Springer
14 years 2 months ago
2009
Springer
Finiteness spaces constitute a categorical model of Linear Logic whose objects can be seen as linearly topologised spaces, (a class of topological vector spaces introduced by Lefsc...
QOSA
2007
Springer
14 years 1 months ago
2007
Springer
Different organizations or organizational units are likely to store and maintain different types of information about their software architectures. This inhibits effective manageme...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
Resource management and scheduling plays a crucial role in achieving high utilization of resources in grid computing environments. Due to heterogeneity of resources, scheduling an...
INFOCOM
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— We consider the computational complexity and algorithm challenges in designing survivable access networks. With limited routing capability, the structure of an access n...