7075 search results - page 1116 / 1415 » Models and heterogeneous reasoning |
174
click to vote
LOPSTR
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Several models for context-sensitive analysis of modular programs have been proposed, each with different characteristics and representing different trade-offs. The ad...
171
click to vote
CCS
2004
ACM
16 years 6 days ago
2004
ACM
Misuse-based intrusion detection systems rely on models of attacks to identify the manifestation of intrusive behavior. Therefore, the ability of these systems to reliably detect ...
200
click to vote
IFIP
2004
Springer
16 years 5 days ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
206
click to vote
AGP
2003
IEEE
16 years 3 days ago
2003
IEEE
Disjunctive Logic Programming (DLP) under the consistent answer set semantics is an advanced formalism for knowledge representation and reasoning. It is, under widely believed assu...
137
click to vote
MSS
1999
IEEE
15 years 11 months ago
1999
IEEE
According to the current profound development of multimedia and networking technologies, the way people communicate with, naturally, has evolved from a textoriented into a multime...