1511 search results - page 62 / 303 » Relational Parametricity for Computational Effects |
115
click to vote
MLQ
2002
15 years 4 months ago
2002
Abstract. In this paper I compare two well studied approaches to topological semantics-the domain-theoretic approach, exemplified by the category of countably based equilogical spa...
144
click to vote
TON
2002
15 years 4 months ago
2002
We consider a communication network with fixed routing that can accommodate multiple service classes, differing in bandwidth requirements, demand pattern, call duration, and routin...
138
click to vote
CORR
2007
Springer
15 years 4 months ago
2007
Springer
The main aim of the work presented here is to contribute to computer science advances in the multimodal usability area, in-as-much as it addresses one of the major issues relating...
138
click to vote
SNPD
2008
15 years 5 months ago
2008
The selective application of technological and related procedural safeguards is an important responsibility of every organization in providing adequate security to its electronic ...
143
click to vote
MM
2009
ACM
15 years 11 months ago
2009
ACM
As more and more video content is made available and accessed on-demand, content and service providers face challenges of scale. Today’s delivery mechanisms, especially unicast,...