2725 search results - page 224 / 545 » A framework for P2P application development |
185
click to vote
IFL
2005
Springer
15 years 12 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...
178
click to vote
JAIR
2010
15 years 4 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...
173
click to vote
PADS
2006
ACM
16 years 12 days 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...
169
click to vote
WWW
2009
ACM
16 years 7 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...
174
click to vote
KDD
2005
ACM
16 years 6 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...