1760 search results - page 299 / 352 » A System to Mark Programs Automatically |
132
Voted
DAGSTUHL
2003
15 years 3 months ago
2003
Abstract. In this paper, we show how the concepts of objects, components, features and agents are used today in the Agent Building Center (ABC) environment in order to marry the mo...
107
Voted
USS
2004
15 years 3 months ago
2004
Buffer overflow exploits make use of the treatment of strings in C as character arrays rather than as first-class objects. Manipulation of arrays as pointers and primitive pointer...
125
click to vote
FAC
2006
15 years 2 months ago
2006
The Verified Software Repository is dedicated to a long-term vision of a future in which all computer systems justify the trust that Society increasingly places in them. This will ...
223
Voted
IAAI
2011
14 years 2 months ago
2011
NewsFinder automates the steps involved in finding, selecting and publishing news stories that meet subjective judgments of relevance and interest to the Artificial Intelligence c...
101
Voted
DAC
2002
ACM
16 years 3 months ago
2002
ACM
Since software is playing an increasingly important role in systemon-chip, retargetable compilation has been an active research area in the last few years. However, the retargetti...