1779 search results - page 182 / 356 » A Formal Model of Data Privacy |
130
click to vote
ADAEUROPE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The Ravenscar Profile is a restricted subset of the Ada tasking model, designed to meet the requirements of producing analysable and deterministic code. A central featur...
189
click to vote
JLP
2008
15 years 4 months ago
2008
Abstract. Retrenchment is a flexible model evolution formalism that arose as a reaction to the limitations imposed by refinement, and for which the proof obligations feature additi...
141
click to vote
CMSB
2007
Springer
15 years 11 months ago
2007
Springer
We explore some presynaptic mechanisms of the calyx of Held synapse through a stochastic model. The model, drawn from a kinetic approach developed in literature, exploits process c...
148
click to vote
CSFW
2008
IEEE
15 years 11 months ago
2008
IEEE
In various settings, such as when customers use the same passwords at several independent web sites, security decisions by one organization may have a significant impact on the s...
126
click to vote
ACSAC
1999
IEEE
15 years 9 months ago
1999
IEEE
The Common Data Security Architecture (CDSA) from the Open Group is a flexible standard that defines APIs for security services needed for implementing Public Key Infrastructure (...