5255 search results - page 405 / 1051 » Formal Methods for Privacy |
148
click to vote
FMCO
2008
Springer
15 years 7 months ago
2008
Springer
This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchron...
166
click to vote
FORMATS
2008
Springer
15 years 7 months ago
2008
Springer
Verification of partially synchronous distributed systems is difficult because of inherent concurrency and the potentially large state space of the channels. This paper identifies ...
173
click to vote
FORTE
2001
15 years 7 months ago
2001
Abstract Subtyping relations for object-oriented formalisms describe relationships between super- and subclasses which satisfy the substitutability requirement imposed on types and...
182
click to vote
KRDB
2003
15 years 7 months ago
2003
Given the numerous knowledge representation models (KR-schemes) that have been proposed, it would be desirable to have a formal, unifying model for the description of a KR-scheme,...
143
click to vote
CACM
2010
15 years 6 months ago
2010
Therearemanymethodsfordetectingandmitigatingsoftware errors but few generic methods for automatically repairing errors once they are discovered. This paper highlights recent work ...