21430 search results - page 364 / 4286 » Abstract Effective Models |
198
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Compositional reasoning aims to improve scalability of verification tools by reducing the original verification task into subproblems. The simplification is typically bas...
150
click to vote
ETRICS
2006
15 years 10 months ago
2006
Abstract. We consider cooperating intrusion detection agents that limit the cooperation information flow with a focus on privacy and confidentiality. Generalizing our previous work...
174
click to vote
CIARP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Cluster validation to determine the right number of clusters is an important issue in clustering processes. In this work, a strategy to address the problem of cluster val...
199
click to vote
EDBTW
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Relational algebra has been a crucial foundation for relational database systems, and has played a large role in enabling their success. A corresponding XML algebra for X...
134
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract-- The problem of cooperative fusion in the presence of both Byzantine sensors and misinformed sensors is considered. An information theoretic formulation is used to charac...