Sciweavers

52 search results - page 7 / 11
» isse 2008
Sort
View
ISSE
2008
13 years 9 months ago
Matching object catalogues
A catalogue holds information about a set of objects, typically classified using terms taken from a given thesaurus, and described with the help of a set of attributes. Matching a ...
Luiz André P. Paes Leme, Daniela F. Brauner...
SIAMCO
2002
72views more  SIAMCO 2002»
13 years 9 months ago
A Unifying Integral ISS Framework for Stability of Nonlinear Cascades
Abstract. We analyze nonlinear cascades in which the driven subsystem is integral input-tostate stable (ISS), and we characterize the admissible integral ISS gains for stability. T...
Murat Arcak, David Angeli, Eduardo D. Sontag
ISSE
2006
13 years 9 months ago
Modeling security as a dependability attribute: a refinement-based approach
Abstract As distributed, networked computing systems become the dominant computing platform in a growing range of applications, they increase opportunities for security violations ...
Ali Mili, Frederick T. Sheldon, Lamia Labed Jilani...
ISSE
2007
13 years 9 months ago
Specifying real-time properties in autonomic systems
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...
Ji Zhang, Zhinan Zhou, Betty H. C. Cheng, Philip K...
ISSE
2008
13 years 11 months ago
Agatha: Multimodal Biometric Authentication Platform in Large-Scale Databases
Biometric technologies are each time more demanded for security applications. In this sense, systems for identifying people are gaining popularity, especially in governmental sect...
David Hernando, David Gómez, Javier Rodr&ia...