5255 search results - page 391 / 1051 » Formal Methods for Privacy |
152
click to vote
FM
2001
Springer
15 years 9 months ago
2001
Springer
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
129
click to vote
FM
2001
Springer
15 years 9 months ago
2001
Springer
Transacted Memory offers persistence, undoability and auditing. We present a Java/JML Reference Model of the Transacted Memory system on the basis of our earlier separate Z model...
123
click to vote
IFL
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. This paper is an extension of a previous work where two nondeterminism analyses were presented. One of them was efficient but not very powerful and the other one was more...
131
click to vote
FM
1999
Springer
15 years 9 months ago
1999
Springer
Conformance control for ATM cells is based on a real-time reactive algorithm which delivers a value depending on inputs from the network. This value must always agree with a well d...
131
click to vote
ECRTS
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...