528 search results - page 18 / 106 » Construction of concrete verification models from C |
162
click to vote
POPL
2007
ACM
15 years 10 months ago
2007
ACM
An invariance assertion for a program location is a statement that always holds at during execution of the program. Program invariance analyses infer invariance assertions that ca...
CCR
2004
14 years 10 months ago
2004
Routing is a black art in today's Internet. End users and ISPs alike have little control over how their packets are handled outside of their networks, stemming in part from l...
WISE
2005
Springer
15 years 4 months ago
2005
Springer
By means of portals, a company can give each person the information that responds to their specific needs. Nowadays, portals tend to be constructed by means of portlets. So, if we...
109
click to vote
ICFP
2005
ACM
15 years 10 months ago
2005
ACM
We study the relation between Nominal Logic and the Theory of Contexts, two approaches for specifying and reasoning about datatypes with binders. We consider a natural-deduction s...
DCOSS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We present a distributed, localized and integrated approach for establishing both low-level (i.e. exploration of 1-hop neighbors, interference avoidance) and high-level (...