540 search results - page 35 / 108 » 07471 Abstracts Collection - Equilibrium Computation |
CONCUR
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
EDBT
2010
ACM
15 years 1 months ago
2010
ACM
Entity search, a significant departure from page-based retrieval, finds data, i.e., entities, embedded in documents directly and holistically across the whole collection. This pap...
SOFSEM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Rewriting is the underlying evaluation mechanism of functional programming languages. Therefore, termination analysis of term rewrite systems (TRSs) is an important techn...
CHI
2009
ACM
15 years 4 months ago
2009
ACM
Abstract: Best Practices in Longitudinal Research This workshop will identify best practices for longitudinal research through an in-depth exploration of methods and metrics for c...
PAM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Active probing has increasingly been used to collect information about the topological and functional characteristics of the Internet. Given the need for active probing a...