4217 search results - page 8 / 844 » Computational indistinguishability logic |
FUZZY
2001
Springer
15 years 2 months ago
2001
Springer
100
Voted
FUZZY
1997
Springer
15 years 1 months ago
1997
Springer
63
Voted
EUSFLAT
2009
14 years 7 months ago
2009
APLAS
2010
ACM
14 years 10 months ago
2010
ACM
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
INFOCOM
2007
IEEE
15 years 4 months ago
2007
IEEE
— By posing the problem of bandwidth allocation as a constrained maximization problem, it is possible to study various features of optimal bandwidth allocation, and hence the cap...