866 search results - page 52 / 174 » A Formal Investigation of |
ECOOP
2005
Springer
14 years 3 months ago
2005
Springer
In this paper we investigate the addition of first-class relationships to a prototypical object-oriented programming language (a “middleweight” fragment of Java). We provide ...
DSN
2003
IEEE
14 years 3 months 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...
ASP
2003
Springer
14 years 3 months ago
2003
Springer
We investigate rule dependency graphs and their colorings for characterizing the computation of answer sets of logic programs. To this end, we develop a series of operational chara...
ERSHOV
2003
Springer
14 years 3 months ago
2003
Springer
We study the roles of message components in authentication protocols. In particular, we investigate how a certain component contributes to the task of achieving entity authenticati...
FM
2003
Springer
14 years 3 months ago
2003
Springer
A team automaton is said to satisfy compositionality if its behaviour can be described in terms of the behaviour of its constituting component automata. As an initial investigation...