4217 search results - page 8 / 844 » Computational indistinguishability logic |
FUZZY
2001
Springer
13 years 12 months ago
2001
Springer
FUZZY
1997
Springer
13 years 11 months ago
1997
Springer
EUSFLAT
2009
13 years 5 months ago
2009
APLAS
2010
ACM
13 years 7 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
14 years 1 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...