2725 search results - page 224 / 545 » A framework for P2P application development |
157
click to vote
IFL
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...
151
click to vote
JAIR
2010
15 years 3 months ago
2010
Diagrammatic reasoning (DR) is pervasive in human problem solving as a powerful adjunct to symbolic reasoning based on language-like representations. The research reported in this...
146
click to vote
PADS
2006
ACM
15 years 11 months ago
2006
ACM
Simulation is a low cost alternative to experimentation on real-world physical systems. Grid technology enables coordinated use of and secure access to distributed computing resou...
146
click to vote
WWW
2009
ACM
16 years 5 months ago
2009
ACM
Many reputation management systems have been developed under the assumption that each entity in the system will use a variant of the same scoring function. Much of the previous wo...
146
Voted
KDD
2005
ACM
16 years 5 months ago
2005
ACM
In this paper, we present a general framework to discover spatial associations and spatio-temporal episodes for scientific datasets. In contrast to previous work in this area, fea...