1880 search results - page 359 / 376 » A Static Analysis for Beta-Binders |
142
click to vote
INFOCOM
2006
IEEE
15 years 11 months ago
2006
IEEE
— Traditionally, network buffer resources have been used at routers to queue transient packets to prevent packet drops. In contrast, we propose a scheme for large multi-hop netwo...
184
click to vote
INFOCOM
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— A bloom filter is a simple, space-efficient, randomized data structure for concisely representing a static data set, in order to support approximate membership querie...
172
click to vote
INFOCOM
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract— Providing end-to-end data security, i.e., data confidentiality, authenticity, and availability, in wireless sensor networks (WSNs) is a non-trivial task. In addition t...
162
click to vote
APLAS
2006
ACM
15 years 11 months ago
2006
ACM
This document contains the Isabelle/HOL sources underlying our paper A bytecode logic for JML and types [2], updated to Isabelle 2008. We present a program logic for a subset of s...
210
click to vote
ASSETS
2006
ACM
15 years 11 months ago
2006
ACM
In previous work we have presented a prototype of an assistant system for the blind that can be used for self-localization and interactive object identification of static objects ...