352 search results - page 54 / 71 » Evaluating the imprecision of static analysis |
108
click to vote
WWW
2004
ACM
16 years 2 months ago
2004
ACM
Mining user access patterns from a continuous stream of Web-clicks presents new challenges over traditional Web usage mining in a large static Web-click database. Modeling user ac...
WWW
2004
ACM
16 years 2 months ago
2004
ACM
The goal of this research is the improvement of browsing voluminous InkML data in two areas: ease of rendering continuous inkflow for replay-browsing, and ease of random access na...
208
click to vote
ECOOP
2009
Springer
16 years 2 months ago
2009
Springer
Reusable APIs often dene usage protocols. We previously developed a sound modular type system that checks compliance with typestate-based protocols while aording a great deal of al...
227
click to vote
VLDB
2006
ACM
16 years 2 months ago
2006
ACM
Managing large-scale time series databases has attracted significant attention in the database community recently. Related fundamental problems such as dimensionality reduction, tr...
190
click to vote
SIGMOD
2006
ACM
16 years 2 months ago
2006
ACM
Data streaming systems are becoming essential for monitoring applications such as financial analysis and network intrusion detection. These systems often have to process many simi...