4099 search results - page 787 / 820 » A Framework for Interactive Proof |
119
click to vote
WWW
2003
ACM
16 years 15 days ago
2003
ACM
This paper describes a novel approach for obtaining semantic interoperability among data sources in a bottom-up, semiautomatic manner without relying on pre-existing, global seman...
218
click to vote
PADL
2009
Springer
16 years 14 days ago
2009
Springer
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...
PPOPP
2009
ACM
16 years 12 days ago
2009
ACM
Researchers in transactional memory (TM) have proposed open nesting as a methodology for increasing the concurrency of transactional programs. The idea is to ignore "low-leve...
103
click to vote
KDD
2009
ACM
16 years 12 days ago
2009
ACM
We propose two approximation algorithms for identifying communities in dynamic social networks. Communities are intuitively characterized as "unusually densely knit" sub...
OSDI
2008
ACM
16 years 4 days ago
2008
ACM
The number and complexity of distributed applications has exploded, and to-date, each has had to create its own method for providing diagnostic tools and performance metrics. Thes...