5423 search results - page 792 / 1085 » Denial-of-service in automation systems |
168
click to vote
ILP
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Reasoning plays a central role in intelligent systems that operate in complex situations that involve time constraints. In this paper, we present the Adaptive Logic Inter...
183
click to vote
ILP
2005
Springer
16 years 8 days ago
2005
Springer
We propose a new approach to Inductive Logic Programming that systematically exploits caching and offers a number of advantages over current systems. It avoids redundant computati...
155
click to vote
ILP
2005
Springer
16 years 8 days ago
2005
Springer
The Cyc KB has a rich pre-existing ontology for representing common sense knowledge. To clarify and enforce its terms’ semantics and to improve inferential efficiency, the Cyc on...
179
click to vote
OTM
2005
Springer
16 years 8 days ago
2005
Springer
Business processes are becoming more and more complex and at the same time their correctness is becoming a critical issue: The costs of errors in business information systems are g...
178
click to vote
SEKE
2005
Springer
16 years 7 days ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...