9626 search results - page 1284 / 1926 » Invariant Based Programming |
269
click to vote
DANCE
2002
IEEE
16 years 7 days ago
2002
IEEE
Active networks allow their users to inject customized programs into the nodes of the network. An extreme case, in which we are most interested, replaces packets with “capsulesâ...
219
click to vote
DANCE
2002
IEEE
16 years 7 days ago
2002
IEEE
In this paper, we explore flexible name resolution as a way of supporting extensibility for wide-area distributed services. Our approach, called Active Names, maps names to a cha...
230
click to vote
LICS
2002
IEEE
16 years 5 days ago
2002
IEEE
Proof-Carrying Code (PCC) is a general framework for verifying the safety properties of machine-language programs. PCC proofs are usually written in a logic extended with language...
234
click to vote
RTSS
2002
IEEE
16 years 5 days ago
2002
IEEE
In addition to real-time requirements, the program code size is a critical design factor for real-time embedded systems. To take advantage of the code size vs. execution time trad...
204
click to vote
ICALP
2010
Springer
16 years 1 days ago
2010
Springer
Some of the currently best-known approximation algorithms for network design are based on random sampling. One of the key steps of such algorithms is connecting a set of source nod...