2436 search results - page 41 / 488 » Comonadic Notions of Computation |
CCGRID
2002
IEEE
14 years 2 months ago
2002
IEEE
Resource management is a central part of a Grid computing system. In a large-scale wide-area system such as the Grid, security is a prime concern. One approach is to be conservati...
CCA
2009
Springer
14 years 4 months ago
2009
Springer
We define the computability of probability distributions on the real line as well as that of distribution functions. Mutual relationships between the computability notion of a pro...
HIPC
2003
Springer
14 years 2 months ago
2003
Springer
Delay and jitter management in high performance active computation is a challenging problem in the emerging area of internet computing. The problem takes a complex new form from it...
ECIS
2001
13 years 11 months ago
2001
Home computers are often considered as `domestic technology' or part of the `domestic media ensemble' as if those were simple and straightforward concepts. In this paper...
LICS
2008
IEEE
14 years 4 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...