140 search results - page 14 / 28 » P3 |
PET
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. We develop a language-based approach for modeling and verifying aspects of privacy policies. Our approach relies on information-flow control. Concretely, we use the prog...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
A novel system, called the oscillator system, consisting of order of p 3 functions (signals) on the finite field p; with p an odd prime, is described and studied. The new functions...
AMC
2008
13 years 8 months ago
2008
The construction of s-stage explicit two- and three-step peer methods of order p = 2s and p = 3s is considered for the solution of non-stiff second order initial value problems wh...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
In this survey a novel system, called the oscillator system, consisting of order of p3 functions (signals) on the finite field Fp, is described and studied. The new functions are p...
AMC
2006
13 years 8 months ago
2006
In this paper, given a balance scale and the information that there are exactly two different defective coins present, the authors consider the problem of ascertaining the minimum...