6199 search results - page 836 / 1240 » Monitoring the |
187
click to vote
PKDD
2005
Springer
16 years 11 days ago
2005
Springer
We examine the problem of monitoring and identification of correlated burst patterns in multi-stream time series databases. Our methodology is comprised of two steps: a burst dete...
192
click to vote
PPAM
2005
Springer
16 years 11 days ago
2005
Springer
Algorithms for the sparse matrix-vector multiplication (shortly SpM×V ) are important building blocks in solvers of sparse systems of linear equations. Due to matrix sparsity, the...
174
click to vote
RE
2005
Springer
16 years 11 days ago
2005
Springer
Security Requirements Engineering is emerging as a branch of Software Engineering, spurred by the realization that security must be dealt with early on during the requirements pha...
134
click to vote
RE
2005
Springer
16 years 11 days ago
2005
Springer
This paper describes the use of Obstacle Analysis to identify anomaly-handling requirements for a safetycritical, autonomous system. The software requirements for the system evolv...
215
click to vote
RULEML
2005
Springer
16 years 11 days ago
2005
Springer
an Abstract Syntax and Direct-Model Theoretic Semantics for RuleML . 45 Adrian Giurca and Gerd Wagner A Semantic Web Framework for Interleaving Policy Reasoning and External Servic...