15754 search results - page 253 / 3151 » Programs are Knowledge Bases |
137
Voted
SP
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...
157
Voted
EWCBR
2004
Springer
15 years 10 months ago
2004
Springer
By design, Case-Based Reasoning (CBR) systems do not need deep general knowledge. In contrast to (rule-based) expert systems, CBR systems can already be used with just some initial...
132
click to vote
COMPSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
In recent years, TinyOS and nesC are gradually becoming the de facto software development platform for implementing sensor applications. However, developing sensor applications is...
169
click to vote
FROCOS
2009
Springer
15 years 9 months ago
2009
Springer
We discuss a new concept of agent programs that combines logic programming with reasoning about actions. These agent logic programs are characterized by a clear separation between ...
162
Voted
MHCI
2009
Springer
15 years 11 months ago
2009
Springer
Main topic of this work is development of educational games that can be used on mobile devices. Paper describes a novel approach to educational game defining and interpretation. I...