2468 search results - page 396 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
164
Voted
SIGSOFT
2006
ACM
15 years 9 months ago
2006
ACM
The change history of a software project contains a rich collection of code changes that record previous development experience. Changes that fix bugs are especially interesting, ...
119
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
The persistent programming systems of the 1980s offered a programming model that integrated computation and long-term storage. In these systems, reliable applications could be eng...
151
Voted
CCS
2003
ACM
15 years 8 months ago
2003
ACM
Network based intruders seldom attack directly from their own hosts, but rather stage their attacks through intermediate “stepping stones” to conceal their identity and origin...
171
click to vote
CIKM
2008
Springer
15 years 5 months ago
2008
Springer
Most prior work on information extraction has focused on extracting information from text in digital documents. However, often, the most important information being reported in an...
125
click to vote
EUROSYS
2009
ACM
16 years 18 days ago
2009
ACM
The backends of today’s Internet services rely heavily on caching at various layers both to provide faster service to common requests and to reduce load on back-end components. ...