5255 search results - page 201 / 1051 » Formal Methods for Privacy |
127
click to vote
FTCS
1998
15 years 5 months ago
1998
The traditional use of formal methods has been for the veri cation of algorithms or protocols. Given the high cost and limitations in state space coverage provided by conventional...
149
click to vote
MEMOCODE
2003
IEEE
15 years 9 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
148
click to vote
FM
1991
Springer
15 years 7 months ago
1991
Springer
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
103
click to vote
LPAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The use of formal methods provides confidence in the correctness of developments. Yet one may argue about the actual level of confidence obtained when the method itself...
159
click to vote
IJCSA
2008
15 years 3 months ago
2008
The Graphical Object Query Language (GOQL) is a graphical query language that complies with the ODMG standard and runs on top of the o2 DBMS. The language provides users with the ...