Sciweavers

5423 search results - page 793 / 1085
» Denial-of-service in automation systems
Sort
View
WEBI
2005
Springer
16 years 7 days ago
ITPilot: A Toolkit for Industrial-Strength Web Data Extraction
In recent years, many research systems have been proposed to perform data extraction and automation tasks on Web sources. Since most of today’s Web sources are “human-readable...
Alberto Pan, Juan Raposo, Manuel Álvarez, P...
AOSE
2004
Springer
16 years 5 days ago
Bridging the Gap Between Agent-Oriented Design and Implementation Using MDA
Current agent-oriented methodologies focus mainly on multi-agent systems analysis and design, but without providing straightforward connections to the implementation of such system...
Mercedes Amor, Lidia Fuentes, Antonio Vallecillo
CEAS
2004
Springer
16 years 5 days ago
Stopping Spam by Extrusion Detection
End users are often unaware that their systems have been compromised and are being used to send bulk unsolicited email (spam). We show how automated processing of the email logs re...
Richard Clayton
CSL
2004
Springer
16 years 5 days ago
Unsound Theorem Proving
Abstract. Applications in software verification often require determining the satisfiability of first-order formulæ with respect to some background theories. During development...
Christopher Lynch
EKAW
2004
Springer
16 years 5 days ago
Refactoring Methods for Knowledge Bases
The manual development of large knowledge systems is a difficult and error-prone task. In order to facilitate extensions to an existing knowledge base the structural design of the...
Joachim Baumeister, Frank Puppe, Dietmar Seipel