5255 search results - page 177 / 1051 » Formal Methods for Privacy |
117
Voted
AAECC
1993
Springer
15 years 7 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...
108
Voted
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...
123
Voted
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
111
Voted
ICTAI
1996
IEEE
15 years 7 months ago
1996
IEEE
In this paper we propose a general approach for reasoning in space. The approach is composed of a set of two general constraints to govern the spatial relationships between object...
121
Voted
BDA
1998
15 years 5 months ago
1998
Many papers have been written on the structural aspect of view mechanisms for object-oriented databases. A clean model that focuses speci cally on the interplay between methods an...