5423 search results - page 118 / 1085 » Denial-of-service in automation systems |
142
click to vote
CSL
1995
Springer
15 years 10 months ago
1995
Springer
In this paper we propose to extend the current capabilities of automated reasoning systems by making use of techniques from integer programming. We describe the architecture of an ...
147
click to vote
CADE
1990
Springer
15 years 10 months ago
1990
Springer
In automated deduction systems that are intended for human use, the presentation of a proof is no less important than its discovery. For most of today's automated theorem pro...
210
click to vote
CL
2010
Springer
15 years 6 months ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
139
click to vote
JMS
2010
15 years 1 months ago
2010
Abstract Health examinations play a key role in preventive medicine. We propose a health examination system named Health Examination Automatic Logic System (HEALS) to assist clinic...
159
click to vote
KBSE
1998
IEEE
15 years 10 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...