440 search results - page 8 / 88 » Local reasoning for abstraction and sharing |
117
Voted
POLICY
2004
Springer
15 years 7 months ago
2004
Springer
We develop a framework for specifying and reasoning about policies for sharing resources in coalitions, focussing here on a particular, common type of contract in which coalition ...
104
click to vote
CADE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We prove several results related to local proofs, interpolation and suion calculus and discuss their use in predicate abstraction and invariant generation. Our proofs and...
102
click to vote
COOPIS
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract. We describe LOCALE, a system that allows cooperating information systems to share labels for photographs. Participating photographs are enhanced with a geographic locatio...
86
Voted
DLOG
2008
15 years 4 months ago
2008
Abstract. We show that subsumption problems in EL and related description logics can be expressed as uniform word problems in classes of semilattices with monotone operators. We us...
111
click to vote
CLIMA
2010
15 years 13 days ago
2010
Answer sharing is a key element in multi-agent systems as it allows agents to collaborate towards achieving a global goal. However exogenous knowledge of the world can influence e...