402 search results - page 53 / 81 » Automatic Abstraction for Worst-Case Analysis of Discrete Sy... |
CIA
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper presents a design of high-performance agentbased intrusion detection system designed for deployment on high-speed network links. To match the speed requirement...
CAV
2009
Springer
14 years 9 months ago
2009
Springer
Context-bounded analysis is an attractive approach to verification of concurrent programs. Bounding the number of contexts executed per thread not only reduces the asymptotic compl...
ISVLSI
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— Time-to-Market plays a central role on System-ona-Chip (SoC) competitiveness and the quality of the final product is a matter of concern as well. As SoCs complexity in...
TASLP
2010
13 years 3 months ago
2010
Abstract-The CALO Meeting Assistant (MA) provides for distributed meeting capture, annotation, automatic transcription and semantic analysis of multiparty meetings, and is part of ...
IBPRIA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. In this paper an object learning system for image understanding is proposed. The knowledge acquisition system is designed as a supervised learning task, which emphasises ...