852 search results - page 164 / 171 » Understanding How the Requirements Are Implemented in Source... |
82
Voted
OSDI
2006
ACM
15 years 9 months ago
2006
ACM
Automatic tools for finding software errors require a set of specifications before they can check code: if they do not know what to check, they cannot find bugs. This paper presen...
CBMS
2001
IEEE
15 years 1 months ago
2001
IEEE
Knowledge discovery and data correlation require a unified approach to basic data management. However, achieving such an approach is nearly impossible with hundreds of disparate d...
SIGMOD
2010
ACM
14 years 4 months ago
2010
ACM
Scalable analysis on large data sets has been core to the functions of a number of teams at Facebook - both engineering and nonengineering. Apart from ad hoc analysis of data and ...
123
click to vote
ABIALS
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Human action is goal-directed and must thus be guided by anticipations of wanted action effects. How anticipatory action control is possible and how it can emerge from ex...
80
Voted
ASPLOS
2006
ACM
15 years 3 months ago
2006
ACM
Control-Flow Integrity (CFI) is a property that guarantees program control flow cannot be subverted by a malicious adversary, even if the adversary has complete control of data m...