4340 search results - page 123 / 868 » Formal Methods and Cryptography |
128
Voted
FMCAD
2008
Springer
15 years 5 months ago
2008
Springer
We present a general approach for verifying safety properties of Lustre programs automatically. Key aspects of the approach are the choice of an expressive first-order logic in wh...
171
click to vote
ASM
2010
ASM
15 years 4 months ago
2010
ASM
This paper presents Matelas, a B predicate calculus definition for social networking, modelling social-network content, privacy policies, social-networks friendship relations, and ...
120
Voted
AAECC
1993
Springer
15 years 8 months ago
1993
Springer
Symplectic integrators are numerical integration schemes for hamiltonian systems. The integration step is an explicit symplectic map. We find symplectic integrators using universa...
113
click to vote
ISMB
1993
15 years 5 months ago
1993
In the field of biotechnologyand medicineit is of interest to modeland simulate metabolicprocesses. The usual methods to model metabolic pathwaysare chemicaldescriptions anddiffer...
128
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Hard real-time systems need methods to determine upper bounds for their execution times, usually called worst-case execution