10159 search results - page 1887 / 2032 » System Design Validation Using Formal Models |
CCS
2000
ACM
14 years 18 days ago
2000
ACM
Conventional firewalls rely on topology restrictions and controlled network entry points to enforce traffic filtering. Furthermore, a firewall cannot filter traffic it does ...
TIC
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We present the design and implementation of the first complete framework for flexible and safe dynamic linking of native code. Our approach extends Typed Assembly Languag...
TWC
2008
13 years 8 months ago
2008
In this paper the tradeoff between energy and delay for wireless networks is studied. A network using a request-to-send (RTS) and clear-to-send (CTS) type medium access control (M...
INFOCOM
2002
IEEE
14 years 1 months ago
2002
IEEE
Abstract— CDNs have been widely used to provide low latency, scalability, fault tolerance, and load balancing for the delivery of web content and more recently streaming media. W...
VLDB
2002
ACM
13 years 7 months ago
2002
ACM
Whereas traditional databases manage only deterministic information, many applications that use databases involve uncertain data. This paper presents a Probabilistic Tree Data Bas...