Sciweavers

5423 search results - page 235 / 1085
» Denial-of-service in automation systems
Sort
View
KCAP
2005
ACM
16 years 6 days ago
Automated story capture from conversational speech
While storytelling has long been recognized as an important part of effective knowledge management in organizations, knowledge management technologies have generally not distingui...
Andrew S. Gordon, Kavita Ganesan
EVOW
2009
Springer
16 years 1 months ago
Elevated Pitch: Automated Grammatical Evolution of Short Compositions
Abstract. A system for automatic composition using grammatical evolution is presented. Compositions are created under the constraints of a generative grammar, and under the bias of...
John Reddin, James McDermott, Michael O'Neill
EUROMICRO
2009
IEEE
16 years 1 months ago
Dynamic Software Architecture Development: Towards an Automated Process
—We propose a software engineering process to aid the development of Dynamic Software Architectures (DSAs). This process is based on the sequential application of a number of for...
Maurice H. ter Beek, Antonio Bucchiarone, Stefania...
KES
2007
Springer
16 years 24 days ago
Hybrid Agents Based Architecture on Automated Dynamic Environments
Abstract. This paper presents a hybrid agents based architecture that uses casebased reasoning and case-based planning systems as reasoning mechanism in deliberative BDI agents to ...
Dante I. Tapia, Javier Bajo, Juan M. Corchado, Sar...
TABLEAUX
2005
Springer
16 years 4 days ago
The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic
The Intuitionistic Logic Theorem Proving (ILTP) Library provides a platfom for testing and benchmarking theorem provers for first-order intuitionistic logic. It includes a collect...
Thomas Raths, Jens Otten, Christoph Kreitz