3018 search results - page 511 / 604 » Leveraging the |
IPTPS
2005
Springer
15 years 5 months ago
2005
Springer
Stream-based overlay networks (SBONs) are one approach to implementing large-scale stream processing systems. A fundamental consideration in an SBON is that of service placement, ...
103
click to vote
RAID
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The exponential growth in the deployment of IEEE 802.11based wireless LAN (WLAN) in enterprises and homes makes WLAN an attractive target for attackers. Attacks that expl...
VLDB
2005
ACM
15 years 5 months ago
2005
ACM
Radio Frequency Identification (RFID) based item-level tracking holds the promise of revolutionizing supply-chain, retail store, and asset management applications. However, the hi...
VSTTE
2005
Springer
15 years 5 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
108
click to vote
VSTTE
2005
Springer
15 years 5 months 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...