1839 search results - page 233 / 368 » Models of Coordination |
CORR
2010
Springer
15 years 25 days ago
2010
Springer
Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms fo...
CCR
2006
15 years 24 days ago
2006
Abstract-- The need for efficient computation of approximate global state lies at the heart of a wide range of problems in distributed systems. Examples include routing in the Inte...
103
Voted
ENTCS
2006
15 years 23 days ago
2006
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
78
Voted
JUCS
2008
15 years 21 days ago
2008
: Software adaptation techniques appear in many disparate areas of research literature, and under many guises. This paper enables a clear and uniform understanding of the related r...
105
Voted
TCS
2008
15 years 19 days ago
2008
The purpose of this paper is to decipher constructively a lemma of Suslin which played a central role in his second solution of Serre's problem on projective modules over pol...