9166 search results - page 1748 / 1834 » A framework for comparing models of computation |
131
click to vote
EDBT
2000
ACM
15 years 8 months ago
2000
ACM
Warehouse view self-maintenance refers to maintaining materialized views at a data warehouse without accessing source data. Self-maintenance has been studied for nontemporal views...
142
click to vote
DAGSTUHL
2007
15 years 5 months ago
2007
rocesses involve modeling – simplifying or abstracting some aspects of the problem domain in order to plan and evaluate design decisions. The use of representations to reason abo...
163
click to vote
EON
2008
15 years 5 months ago
2008
We reuse here the framework, the setting, and the semantic modelling for the automated synthesis of the SWS Challenge Mediator presented in the companion paper [5], and show how to...
142
click to vote
CIDR
2003
15 years 5 months ago
2003
Speculation is an every day phenomenon whereby one acts in anticipation of particular conditions that are likely to hold in the future. Computer science research has seen many suc...
167
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
Social laws have proved to be a powerful and theoretically elegant framework for coordination in multi-agent systems. Most existing models of social laws assume that a designer is...