7961 search results - page 250 / 1593 » Input-Output Model Programs |
142
Voted
DAGSTUHL
2006
15 years 5 months ago
2006
Generalizing earlier work characterizing the quantum query complexity of computing a function of an unknown classical "black box" function drawn from some set of such bl...
149
click to vote
ORL
2007
15 years 3 months ago
2007
We extend earlier work on scenario reduction by relying directly on Fortet–Mourier metrics instead of using upper bounds given in terms of mass transportation problems. The impo...
223
click to vote
ACMMPC
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We argue for the benefits of relations over functions for modelling programs, and even more so for modelling specifications. To support this argument, we present an ext...
127
Voted
LICS
1989
IEEE
15 years 8 months ago
1989
IEEE
The λ-calculus is considered an useful mathematical tool in the study of programming languages. However, if one uses βη-conversion to prove equivalence of programs, then a gros...
126
click to vote
ITCC
2005
IEEE
15 years 9 months ago
2005
IEEE
Access control software must be based on a security policy model. Flaws in them may come from a lack of precision or some incoherences in the policy model or from inconsistencies ...