4224 search results - page 353 / 845 » Reasoning about Choice |
183
click to vote
SGAI
2004
Springer
16 years 27 days ago
2004
Springer
Ontology versioning deals with the management of ontology changes, including the evaluation of the consequences arising from these changes. We describe a distributed, “pluggable...
207
click to vote
DSN
2003
IEEE
16 years 26 days ago
2003
IEEE
This paper presents a formal model for asynchronous distributed systems with servers that may exhibit Byzantine faults or crash and subsequently recover. The model is computationa...
190
click to vote
WCRE
2003
IEEE
16 years 25 days ago
2003
IEEE
This paper promotes the use of a mathematical concept lattice based upon the binary relation of accesses between methods and fields as a novel visualization of individual JAVA cl...
238
click to vote
ASIAN
2003
Springer
16 years 24 days ago
2003
Springer
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
206
click to vote
BIRTHDAY
2003
Springer
16 years 24 days ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...