4972 search results - page 976 / 995 » Ranking on graph data |
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...
SAC
2006
ACM
15 years 3 months ago
2006
ACM
Model Driven Architecture (MDA) is a software development approach that focuses on models. In order to support MDA, a lot of CASE tools have emerged; each of them provides a diffe...
CVPR
2010
IEEE
15 years 3 months ago
2010
IEEE
Context modeling for Vision Recognition and Automatic Image Annotation (AIA) has attracted increasing attentions in recent years. For various contextual information and resources,...
IWPC
2005
IEEE
15 years 3 months ago
2005
IEEE
Source code can be viewed in many ways, with each view facilitating access to different information contained within the code. In this working session, we will explore the role th...
FM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...