506 search results - page 67 / 102 » Where Is the Value in a Program Verifier |
121
click to vote
ICALP
2003
Springer
15 years 5 months ago
2003
Springer
Many protocols are designed to operate correctly even in the case where the underlying communication medium is faulty. To capture the behaviour of such protocols, lossy channel sy...
112
Voted
SIGCOMM
2010
ACM
15 years 22 days ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
ENTCS
2007
15 years 14 days ago
2007
The use of typed intermediate languages can significantly increase the reliability of a compiler. By typechecking the code produced at each transformation stage, one can identify...
108
Voted
AAECC
2005
Springer
15 years 13 days ago
2005
Springer
Abstract In [24], a new size-change principle was proposed to verify termination of functional programs automatically. We extend this principle in order to prove termination and in...
113
click to vote
CORR
2007
Springer
15 years 10 days ago
2007
Springer
This paper considers the problem of how to allocate power among competing users sharing a frequency-selective interference channel. We model the interaction between these selfish ...