Sciweavers

3104 search results - page 482 / 621
» Using quantitative analysis to implement autonomic IT system...
Sort
View
HICSS
2007
IEEE
171views Biometrics» more  HICSS 2007»
15 years 10 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 5 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 6 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
16 years 1 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»
16 years 9 days 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