Sciweavers

7536 search results - page 226 / 1508
» Localized Components Analysis
Sort
View
SIAMADS
2010
97views more  SIAMADS 2010»
15 years 1 months ago
Localized States in a Model of Pattern Formation in a Vertically Vibrated Layer
Abstract. We consider a novel asymptotic limit of model equations proposed to describe the formation of localized states in a vertically vibrated layer of granular material or visc...
J. H. P. Dawes, S. Lilley
CCS
2006
ACM
15 years 10 months ago
Using model-based security analysis in component-oriented system development
We propose an integrated process for component-based system development and security risk analysis. The integrated process is evaluated in a case study involving an instant messag...
Gyrd Brændeland, Ketil Stølen
CC
2002
Springer
107views System Software» more  CC 2002»
15 years 6 months ago
Modular Static Program Analysis
The purpose of this paper is to present four basic methods for ional separate modular static analysis of programs by abstract interpretation: simpli cation-based separate analysis;...
Patrick Cousot, Radhia Cousot
CLEAR
2007
Springer
157views Biometrics» more  CLEAR 2007»
16 years 20 days ago
Multispeaker Localization and Tracking in Intelligent Environments
Automatic speaker localization is an important task in several applications such as acoustic scene analysis, hands-free videoconferencing orspeechenhancement.Trackingspeakersinmult...
Carlos Segura, Alberto Abad, Javier Hernando, Clim...
ICSE
2009
IEEE-ACM
16 years 7 months ago
Modular string-sensitive permission analysis with demand-driven precision
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Ba...