Sciweavers

3104 search results - page 482 / 621
» Using quantitative analysis to implement autonomic IT system...
Sort
View
142
Voted
HICSS
2007
IEEE
171views Biometrics» more  HICSS 2007»
15 years 8 months ago
Unified Architecture for Large-Scale Attested Metering
We introduce a secure architecture called an attested meter for advanced metering that supports large-scale deployments, flexible configurations, and enhanced protection for consu...
Michael LeMay, George Gross, Carl A. Gunter, Sanja...
CASC
2010
Springer
160views Mathematics» more  CASC 2010»
15 years 3 months ago
Factorization of Polynomials and GCD Computations for Finding Universal Denominators
We discuss the algorithms which, given a linear difference equation with rational function coefficients over a field k of characteristic 0, compute a polynomial U(x) ∈ k[x] (a ...
Sergei A. Abramov, A. Gheffar, D. E. Khmelnov
ICSE
2004
IEEE-ACM
16 years 4 months ago
Elaborating Security Requirements by Construction of Intentional Anti-Models
Caring for security at requirements engineering time is a message that has finally received some attention recently. However, it is not yet very clear how to achieve this systemat...
Axel van Lamsweerde
CBMS
2008
IEEE
15 years 11 months ago
Semantic Visualization of Patient Information
Clinical practice and research rely increasingly on analytic approaches to patient data. Visualization enables the comparative exploration of similar patients, a key requirement i...
Sonja Zillner, Tamas Hauer, Dmitri Rogulin, Alexey...
ISMIR
2005
Springer
205views Music» more  ISMIR 2005»
15 years 10 months ago
Learning Harmonic Relationships in Digital Audio with Dirichlet-Based Hidden Markov Models
Harmonic analysis is a standard musicological tool for understanding many pieces of Western classical music and making comparisons among them. Traditionally, this analysis is done...
J. Ashley Burgoyne, Lawrence K. Saul