440 search results - page 61 / 88 » Local reasoning for abstraction and sharing |
134
Voted
ICS
2010
Tsinghua U.
15 years 6 months ago
2010
Tsinghua U.
: Perhaps the two most significant theoretical questions about the programming of self-assembling agents are: (1) necessary and sufficient conditions to produce a unique terminal a...
134
click to vote
APIN
1998
15 years 1 months ago
1998
Abstract. Recent research in automated highway systems has ranged from low-level vision-based controllers to high-level route-guidance software. However, there is currently no syst...
114
Voted
ICLP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We study termination of logic programs with dynamic scheduling, as it can be realised using delay declarations. Following previous work, our minimum assumption is that de...
118
click to vote
AGENTS
1999
Springer
15 years 6 months ago
1999
Springer
Uncertain and complex environments demand that an agent be able to anticipate the actions of others in order to avoid resource conflicts with them and to realize its goals. Confli...
108
click to vote
SIROCCO
2004
15 years 3 months ago
2004
Shareable data services providing consistency guarantees, such as atomicity (linearizability), make building distributed systems easier. However, combining linearizability with ef...