15754 search results - page 645 / 3151 » Programs are Knowledge Bases |
200
click to vote
IJNSEC
2008
15 years 7 months ago
2008
In this paper we demonstrate that it is possible in general to detect Windows-based malicious program behavior. Since S. Forrest et al. used the N-grams method to classify system ...
176
click to vote
LPNMR
2005
Springer
16 years 23 days ago
2005
Springer
Open answer set programming (OASP) is an extension of answer set programming where one may ground a program with an arbitrary superset of the program’s constants. We define a ...
185
click to vote
ASPLOS
2004
ACM
16 years 21 days ago
2004
ACM
Transactional Coherence and Consistency (TCC) offers a way to simplify parallel programming by executing all code within transactions. In TCC systems, transactions serve as the fu...
170
click to vote
LPNMR
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. We consider the simplification of logic programs under the stablemodel semantics, with respect to the notions of strong and uniform equivalence between logic programs, r...
201
Voted
METRICS
1999
IEEE
15 years 11 months ago
1999
IEEE
One of the most important steps towards effective software maintenance of a large complicated system is to understand how program features are spread over the entire system and th...