Sciweavers

7536 search results - page 226 / 1508
» Localized Components Analysis
Sort
View
159
Voted
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
220
Voted
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
170
Voted
CLEAR
2007
Springer
157views Biometrics» more  CLEAR 2007»
16 years 1 months 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...
163
Voted
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...