2082 search results - page 116 / 417 » Change Paths in Reasoning! |
127
Voted
ACTA
2010
15 years 3 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
144
Voted
INFSOF
2007
15 years 3 months ago
2007
: Correct functioning of object-oriented software depends upon the successful integration of classes. While individual classes may function correctly, several new faults can arise ...
124
Voted
IEPOL
2010
15 years 2 months ago
2010
Wired and wireless access networks continue to evolve toward higher-capacity, multi-service systems. Recent wireless broadband networks such as 3G LTE and WiMax provide a general-...
160
Voted
TMC
2012
13 years 6 months ago
2012
—We present the boomerang protocol to efficiently retain information at a particular geographic location in a sparse network of highly mobile nodes without using infrastructure ...
123
Voted
CSL
2004
Springer
15 years 7 months ago
2004
Springer
We consider a scenario where (functional) programs in pre-compiled form are exchanged among untrusted parties. Our contribution is a system of annotations for the code that can be ...