Sciweavers

5423 search results - page 81 / 1085
» Denial-of-service in automation systems
Sort
View
WOA
2001
15 years 7 months ago
A Contract Decommitment Protocol for Automated Negotiation in Time Variant Environments
Negotiation is a fundamental mechanism in distributed multi-agent systems. Since negotiation is a time-spending process, in many scenarios agents have to take into account the pas...
Federico Bergenti, Agostino Poggi, Matteo Somacher
ICONIP
1998
15 years 7 months ago
Automated Text Categorization Using Support Vector Machine
In this paper, we study the use of support vector machine in text categorization. Unlike other machine learning techniques, it allows easy incorporation of new documents into an e...
James Tin-Yau Kwok
FIW
1994
15 years 7 months ago
Towards automated detection of feature interactions
The feature interaction problem occurs when the addition of a new feature to a system disrupts the existing services and features. This paper describes a tabular notation for spec...
Kenneth H. Braithwaite, Joanne M. Atlee
TCAD
2008
181views more  TCAD 2008»
15 years 6 months ago
A Survey of Automated Techniques for Formal Software Verification
The quality and the correctness of software is often the greatest concern in electronic systems. Formal verification tools can provide a guarantee that a design is free of specific...
Vijay D'Silva, Daniel Kroening, Georg Weissenbache...
TAL
2010
Springer
15 years 4 months ago
Automated Email Answering by Text Pattern Matching
Answering email by standard answers is a common practice at contact centers. Our research assists this process by creating reply messages that contain one or several standard answe...
Eriks Sneiders