5255 search results - page 433 / 1051 » Formal Methods for Privacy |
184
click to vote
IFM
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. Behaviour Trees is a novel approach for requirements engineering. It advocates a graphical tree notation that is easy to use and to understand. Individual requirements ar...
185
click to vote
AGTIVE
2003
Springer
16 years 2 days ago
2003
Springer
OptimixJ is a graph rewrite tool that generates Java code from rewrite specifications. Java classes are treated as graph schemas, enabling OptimixJ to extend legacy Java applicati...
176
click to vote
ECAL
2001
Springer
15 years 11 months ago
2001
Springer
In this paper a formal approach to construction of a similarity measure for complex creatures is presented. The simulation model is described, and a Framsticks agent is expressed i...
188
click to vote
CRYPTO
2000
Springer
15 years 11 months ago
2000
Springer
Partially blind signature schemes are an extension of blind signature schemes that allow a signer to explicitly include necessary information (expiration date, collateral condition...
206
Voted
ECOOP
1993
Springer
15 years 11 months ago
1993
Springer
This paper proposes a formalism for reasoning about distributed object-oriented computations. The formalism is an extension of Milner’s CCS with the notion of local time. It allo...