472 search results - page 79 / 95 » Symbolic range propagation |
189
click to vote
OSDI
2004
ACM
16 years 6 months ago
2004
ACM
Network worms are a clear and growing threat to the security of today's Internet-connected hosts and networks. The combination of the Internet's unrestricted connectivit...
192
click to vote
SOSP
2009
ACM
16 years 3 months ago
2009
ACM
RESIN is a new language runtime that helps prevent security vulnerabilities, by allowing programmers to specify application-level data flow assertions. RESIN provides policy obje...
162
click to vote
TRIDENTCOM
2005
IEEE
16 years 4 days ago
2005
IEEE
To facilitate a broad range of experimental research on novel protocols and application concepts, we employ an indoor wireless testbed to emulate the performance of the real-world...
206
click to vote
SIGCOMM
2004
ACM
16 years 1 hour ago
2004
ACM
We present a Scalable Distributed Information Management System (SDIMS) that aggregates information about large-scale networked systems and that can serve as a basic building bloc...
197
click to vote
DLOG
1998
15 years 8 months ago
1998
Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...