4820 search results - page 568 / 964 » Implementing Signatures for C |
184
click to vote
VSTTE
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
185
click to vote
MSWIM
2004
ACM
16 years 5 days ago
2004
ACM
Today, three different physical (PHY) layers for the IEEE 802.11 WLAN are available (802.11a/b/g); they all provide multi-rate capabilities. To achieve a high performance under v...
174
click to vote
MSWIM
2004
ACM
16 years 5 days ago
2004
ACM
In mobile ad hoc networks, node mobility causes links between nodes to break frequently, thus terminating the lifetime of the routes containing those links. An alternative route h...
229
click to vote
ATAL
2004
Springer
16 years 4 days ago
2004
Springer
We will demonstrate the Secure Wireless Agent Testbed (SWAT), a unique facility developed at Drexel University to study integration, networking and information assurance for next-...
173
click to vote
PAM
2004
Springer
16 years 2 days ago
2004
Springer
Given that the global DNS system, especially at the higher root and top-levels, experiences significant query loads, we seek to answer the following questions: (1) How does the ch...