2495 search results - page 483 / 499 » Data Stream Management Systems for Computational Finance |
PLDI
2009
ACM
15 years 4 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...
CCR
2008
14 years 9 months ago
2008
Despite the flurry of anomaly-detection papers in recent years, effective ways to validate and compare proposed solutions have remained elusive. We argue that evaluating anomaly d...
110
click to vote
BMCBI
2004
14 years 9 months ago
2004
Background: Researchers who use MEDLINE for text mining, information extraction, or natural language processing may benefit from having a copy of MEDLINE that they can manage loca...
102
Voted
DKE
2002
14 years 9 months ago
2002
Topological invariants of spatial databases (i.e., finite structures that capture the topological properties of the database) are receiving increasing attention since they can act...
109
click to vote
JAR
2000
14 years 9 months ago
2000
Cryptographic algorithms play a key role in computer security and the formal analysis of their robustness is of utmost importance. Yet, logic and automated reasoning tools are seld...