5255 search results - page 392 / 1051 » Formal Methods for Privacy |
146
click to vote
KBSE
1998
IEEE
15 years 9 months ago
1998
IEEE
It is shown how to make a transition from the Z formal notation [3] to the Business Object Notation (BON) [4]. It is demonstrated that BON has the expressive power of Z, with the ...
161
click to vote
ZUM
1998
Springer
15 years 9 months ago
1998
Springer
We contrast using a notation extension with using a combination of notations. Specifically, we compare the use of an extended dialect of Z [10] with a combination of Z and predicat...
176
click to vote
COMPOS
1997
Springer
15 years 9 months ago
1997
Springer
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...
136
click to vote
COMPOS
1997
Springer
15 years 9 months ago
1997
Springer
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...
152
Voted
IFL
1997
Springer
15 years 9 months ago
1997
Springer
A unidirectional heap is a heap where all pointers go in one direction, e.g. from newer to older objects. For a strict functional language, such as Erlang, the heap may be arranged...