5423 search results - page 250 / 1085 » Denial-of-service in automation systems |
167
Voted
LPAR
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We present Zenon, an automated theorem prover for first order classical logic (with equality), based on the tableau method. Zenon is intended to be the dedicated prover ...
179
click to vote
AXMEDIS
2006
IEEE
16 years 23 days ago
2006
IEEE
The IST Polymnia project aims to create a fully automated system for personalised video generation. Film production involves content creation, selection and composition. Technolog...
167
click to vote
DELTA
2006
IEEE
16 years 23 days ago
2006
IEEE
A method for leveraging a communication protocol called Universal Plug and Play (UPnP) for workcell automation and integration is presented. By leveraging UPnP for automation equi...
188
click to vote
LPAR
2005
Springer
16 years 6 days ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
190
click to vote
ICDIM
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we propose a strategy for the automated and scheduled maintenance of a digital library collection. Existing systems require the user either to add new data manually...