14850 search results - page 2921 / 2970 » The Security of |
114
Voted
CSL
2010
Springer
15 years 3 months ago
2010
Springer
Deduction modulo consists in presenting a theory through rewrite rules to support automatic and interactive proof search. It induces proof search methods based on narrowing, such a...
112
Voted
CONEXT
2009
ACM
15 years 3 months ago
2009
ACM
Network traffic can be represented by a Traffic Dispersion Graph (TDG) that contains an edge between two nodes that send a particular type of traffic (e.g., DNS) to one another. T...
130
click to vote
CONEXT
2009
ACM
15 years 3 months ago
2009
ACM
Software bugs in routers lead to network outages, security vulnerabilities, and other unexpected behavior. Rather than simply crashing the router, bugs can violate protocol semant...
129
click to vote
EUROPAR
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. This paper is motivated by the desire to provide an efficient and scalable software cache implementation of OpenMP on multicore and manycore architectures in general, and...
113
click to vote
DGO
2008
15 years 3 months ago
2008
This paper provides an interim report on ongoing data collection and analysis efforts as part of a large-scale study of information technology- focused interagency collaborations ...