1054 search results - page 118 / 211 » From a Verified Kernel towards Verified Systems |
178
click to vote
USENIX
2008
15 years 8 months ago
2008
Despite a low occurrence rate, silent data corruption represents a growing concern for storage systems designers. Throughout the storage hierarchy, from the file system down to th...
165
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
The goal of this paper is to propose a scheme that provides comprehensive security protection for the heap. Heap vulnerabilities are increasingly being exploited for attacks on co...
196
click to vote
MSR
2011
ACM
14 years 9 months ago
2011
ACM
Modern software is often developed over many years with hundreds of thousands of commits. Commit metadata is a rich source of social characteristics, including the commit’s time...
164
click to vote
DNIS
2005
Springer
15 years 12 months ago
2005
Springer
: A Peer-to-peer Data Network (PDN) is an open and evolving society of peer nodes that assemble into a network to share their data for mutual benefit. PDNs are enabled by distribu...
170
click to vote
MLMI
2005
Springer
15 years 11 months ago
2005
Springer
Combining multiple information sources, typically from several data streams is a very promising approach, both in experiments and to some extents in various real-life applications....