407 search results - page 79 / 82 » A Framework for the Evaluation of Intrusion Detection System... |
PLDI
2005
ACM
14 years 28 days ago
2005
ACM
Speculative parallelization can provide significant sources of additional thread-level parallelism, especially for irregular applications that are hard to parallelize by conventio...
FASE
2004
Springer
14 years 23 days ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
WSDM
2012
ACM
12 years 2 months ago
2012
ACM
As massive repositories of real-time human commentary, social media platforms have arguably evolved far beyond passive facilitation of online social interactions. Rapid analysis o...
EDBT
2009
ACM
14 years 2 months ago
2009
ACM
Data stream management systems usually have to process many long-running queries that are active at the same time. Multiple queries can be evaluated more efficiently together tha...
USS
2010
13 years 5 months ago
2010
Secure multiparty computation (MPC) allows joint privacy-preserving computations on data of multiple parties. Although MPC has been studied substantially, building solutions that ...