15635 search results - page 2945 / 3127 » Modelling and Design of VAML |
179
click to vote
CONEXT
2007
ACM
15 years 10 months ago
2007
ACM
Internet interdomain routing is policy-driven, and thus physical connectivity does not imply reachability. On average, routing on today's Internet works quite well, ensuring ...
170
click to vote
CONEXT
2007
ACM
15 years 10 months ago
2007
ACM
Community wireless mesh networks (WMNs) are increasingly being deployed for providing cheap, low maintenance Internet access. For the successful adoption of WMNs as a last-mile te...
169
click to vote
DSN
2007
IEEE
15 years 10 months ago
2007
IEEE
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...
169
click to vote
ECOOP
2007
Springer
15 years 10 months ago
2007
Springer
With the advent of Java 5 annotations, we note a marked increase in the availability of tools that can statically detect potential null dereferences. For such tools to be truly eff...
177
click to vote
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
Social networks and collaborative tagging systems are rapidly gaining popularity as primary means for sorting and sharing data: users tag their bookmarks in order to simplify infor...