5423 search results - page 734 / 1085 » Denial-of-service in automation systems |
188
click to vote
DEEC
2006
IEEE
16 years 28 days ago
2006
IEEE
Web applications have become an invaluable source of information for many different vertical solutions, but their complex navigation and semistructured format make their informatio...
167
click to vote
ICCBR
2005
Springer
16 years 12 days ago
2005
Springer
Typically, case-based recommender systems recommend single items to the on-line customer. In this paper we introduce the idea of recommending a user-defined collection of items whe...
199
click to vote
LPAR
2005
Springer
16 years 11 days ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...
183
click to vote
EWCBR
2004
Springer
16 years 8 days ago
2004
Springer
Textual CBR systems solve problems by reusing experiences that are in textual form. Knowledge-rich comparison of textual cases remains an important challenge for these systems. How...
183
click to vote
TACAS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...