354 search results - page 40 / 71 » On Obligations |
119
Voted
TCS
2002
15 years 1 months ago
2002
We show how formal specifications can be integrated into one of the current pragmatic object-oriented software development methods. Jacobson's "Object-Oriented Software ...
128
click to vote
IC3
2009
14 years 11 months ago
2009
Abstract. This paper presents liveness properties that need to be preserved by Event-B models of distributed systems. Event-B is a formal technique for development of models of dis...
118
click to vote
ICICS
2009
Springer
14 years 11 months ago
2009
Springer
The Trusted Computing Group (TCG) proposed remote attestation as a solution for establishing trust among distributed applications. However, current TCG attestation architecture req...
138
click to vote
ICSOC
2009
Springer
14 years 11 months ago
2009
Springer
With increasingly complex and heterogeneous systems in pervasive service computing, it becomes more and more important to provide self-protected services to end users. In order to ...
114
click to vote
JAPLL
2011
14 years 9 months ago
2011
The paper proposes a formal analysis of a theory of norms resulting from pulling together Anderson’s reduction, the analysis of counts-as, and a novel approach to the formal rep...