504 search results - page 68 / 101 » Explaining Verification Conditions |
ESOP
2010
Springer
14 years 5 months ago
2010
Springer
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
WWW
2009
ACM
14 years 2 months ago
2009
ACM
In this paper, we propose to model the blended search problem by assuming conditional dependencies among queries, VSEs and search results. The probability distributions of this mo...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
- This paper deals with the trajectory planning of a soccer ball driven by a kicking robot. The trajectory of a ball is function of its initial velocity, launch angle, and some aer...
ACSAC
2003
IEEE
14 years 1 months ago
2003
IEEE
The IPsec protocol provides a mechanism to enforce a range of security services for both confidentiality and integrity, enabling secure transmission of information across networks...
SENSYS
2003
ACM
14 years 1 months ago
2003
ACM
In the absence of location errors, geographic routing - using a combination of greedy forwarding and face routing - has been shown to work correctly and efficiently. The effects o...