5423 search results - page 138 / 1085 » Denial-of-service in automation systems |
166
click to vote
CL
2000
Springer
15 years 10 months ago
2000
Springer
This paper reports on the design and implementation of FLORA -- a powerful DOOD system that incorporates the features of F-logic, HiLog, and Transaction Logic. FLORA is implemented...
175
click to vote
EWCBR
2008
Springer
15 years 8 months ago
2008
Springer
The use of computational methods is fundamental in cancer research. One of the possibilities is the use of Artificial Intelligence techniques. Several of these techniques have been...
148
click to vote
CSL
2002
Springer
15 years 6 months ago
2002
Springer
A propositional proof system is automatizable if there is an algorithm that, given a tautology, produces a proof in time polynomial in the size of its smallest proof. This notion ...
160
click to vote
WWW
2001
ACM
16 years 7 months ago
2001
ACM
By the use of declarative rules, automation of tasks can be performed through an electronic personal information management (PIM) application. Rules can be used in a variety of di...
169
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
In this paper, a proof assistant, called SAD, is presented. SAD deals with mathematical texts that are formalized in the ForTheL language (brief description of which is also given)...