5423 search results - page 283 / 1085 » Denial-of-service in automation systems |
231
click to vote
CC
2002
Springer
15 years 6 months ago
2002
Springer
Vmgen automates many of the tasks of writing the virtual machine part of an interpreter, resulting in less coding, debugging and maintenance e ort. This paper gives some quantitati...
249
click to vote
LPAR
2012
Springer
14 years 2 months ago
2012
Springer
Abstract. The TPTP World is a well established infrastructure supporting research, development, and deployment of Automated Theorem Proving systems. Recently, the TPTP World has be...
184
click to vote
DLOG
1996
15 years 8 months ago
1996
fe. Althoughthose legal concepts are abstract in the sense that there always exist possibilities to interpret them in various ways, lawyers seem to understand themas real things at...
174
click to vote
EMISA
2005
Springer
16 years 9 days ago
2005
Springer
: Most of today’s e-marketplaces support a single negotiation protocol. The protocol is usually built into the e-marketplace infrastructure, therefore if a new one is introduced ...
199
click to vote
KBSE
2002
IEEE
15 years 11 months ago
2002
IEEE
ort gives their abstracts. s of the position papers Recent Experiences with Code Generation and Task Automation Agents in Software Tools (J. Grundy, J. Hosking) As software grows i...