3390 search results - page 457 / 678 » Automatic Location of Services |
200
click to vote
SIGCOMM
2012
ACM
13 years 9 months ago
2012
ACM
The Internet was designed to always find a route if there is a policycompliant path. However, in many cases, connectivity is disrupted despite the existence of an underlying vali...
210
click to vote
SIGSOFT
2006
ACM
16 years 7 months ago
2006
ACM
Recent software systems usually feature an automated failure reporting system, with which a huge number of failing traces are collected every day. In order to prioritize fault dia...
166
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...
182
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
The Web is rapidly moving towards a platform for mass collaboration in content production and consumption. Fresh content on a variety of topics, people, and places is being create...
202
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...