Sciweavers

4349 search results - page 435 / 870
» A Comprehensive Process Model for Studying Software Process ...
Sort
View
ICDCS
2010
IEEE
15 years 10 months ago
Quantifying and Querying Network Reachability
—Quantifying and querying network reachability is important for security monitoring and auditing as well as many aspects of network management such as troubleshooting, maintenanc...
Amir R. Khakpour, Alex X. Liu
193
Voted
ISIM
2007
15 years 8 months ago
Verification of Good Design Style of UML Models
Software architecture, and its behavior can be expressed as UML models. Models of complex systems can be also complex and hard to read – they may consists of hundreds of artifact...
Bogumila Hnatkowska
CCS
2007
ACM
16 years 28 days ago
Managing RBAC states with transitive relations
In this paper, we study the maintenance of role-based access control (RBAC) models in database environments using transitive closure relations. In particular, the algorithms that ...
Chaoyi Pang, David P. Hansen, Anthony J. Maeder
ICASSP
2009
IEEE
16 years 1 months ago
Compressive sampling of pulse trains: Spread the spectrum!
In this paper we consider the problem of sampling far below the Nyquist rate signals that are sparse linear superpositions of shifts of a known, potentially wide-band, pulse. This...
Farid M. Naini, Rémi Gribonval, Laurent Jac...
158
Voted
ICASSP
2008
IEEE
16 years 1 months ago
Exploiting temporal change of pitch in formant estimation
This paper considers the problem of obtaining an accurate spectral representation of speech formant structure when the voicing source exhibits a high fundamental frequency. Our wo...
Tao T. Wang, Thomas F. Quatieri