208 search results - page 41 / 42 » Relations Among Privacy Notions |
114
Voted
AIS
2000
Springer
15 years 3 months ago
2000
Springer
The expression 'nature of the artificial' can be understood in (at least) two distinct, yet possibly related, senses as denoting (i) the essence (or whatness) of the art...
146
Voted
INFOCOM
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a set of five axioms for fairness measures in resource allocation. A family of fairness measures satisfying the axioms is constructed. Well-known notions such as -fairne...
137
Voted
ICSR
2009
Springer
15 years 1 months ago
2009
Springer
Abstract. Refinement concepts, such as procedural and data refinement, are among the most important ideas of software engineering. In this paper, we investigate the idea of design ...
159
Voted
CORR
2012
Springer
13 years 11 months ago
2012
Springer
The paper describes the refinement algorithm for the Calculus of (Co)Inductive Constructions (CIC) implemented in the interactive theorem prover Matita. The refinement algorithm ...
106
Voted
ATAL
2007
Springer
15 years 9 months ago
2007
Springer
Making commitments, e.g., through promises and threats, enables a player to exploit the strengths of his own strategic position as well as the weaknesses of that of his opponents....