4340 search results - page 323 / 868 » Formal Methods and Cryptography |
179
click to vote
AGTIVE
2003
Springer
15 years 12 months 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...
173
Voted
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...
180
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...
203
click to vote
ECOOP
1993
Springer
15 years 10 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...
177
click to vote
ACSD
2004
IEEE
15 years 10 months ago
2004
IEEE
Abstract. This paper presents a formal verification algorithm for finding errors in models of complex concurrent systems. The algorithm improves explicit guided model checking by a...