3047 search results - page 334 / 610 » On the Meaning of Logical Completeness |
172
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
Distributed Hash Tables (DHTs) provide a means to build a completely decentralized, large-scale persistent storage service from the individual storage capacities contributed by ea...
196
click to vote
ICALP
2010
Springer
16 years 6 days ago
2010
Springer
Graph transformation works under a whole-world assumption. In modelling realistic systems, this typically makes for large graphs and sometimes also large, hard to understand rules....
216
click to vote
SEKE
2009
Springer
15 years 12 months ago
2009
Springer
Very large systems have an architecture that is designed to allow them to evolve through a long life. Such systems are developed by teams of architects. One of the first things t...
224
click to vote
AGENTS
2001
Springer
15 years 12 months ago
2001
Springer
In this paper, we study a simple means for coordinating teams of simple agents. In particular, we study ant robots and how they can cover terrain once or repeatedly by leaving mar...
264
click to vote
LICS
2000
IEEE
15 years 11 months ago
2000
IEEE
We prove that several problems concerning congruences on algebras are complete for nondeterministic log-space. These problems are: determining the congruence on a given algebra gen...