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...
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...
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;...
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...
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...