Sciweavers

3381 search results - page 373 / 677
» Using VCL as an Aspect-Oriented Approach to Requirements Mod...
Sort
View
SIGSOFT
2005
ACM
16 years 7 months ago
Towards a unified formal model for supporting mechanisms of dynamic component update
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
Junrong Shen, Xi Sun, Gang Huang, Wenpin Jiao, Yan...
ICRA
2008
IEEE
134views Robotics» more  ICRA 2008»
16 years 1 months ago
An optimal filtering algorithm for non-parametric observation models in robot localization
— The lack of a parameterized observation model in robot localization using occupancy grids requires the application of sampling-based methods, or particle filters. This work ad...
Jose-Luis Blanco, Javier Gonzalez, Juan-Antonio Fe...
EDOC
2002
IEEE
15 years 11 months ago
Model-Based Risk Assessment to Improve Enterprise Security
The main objective of the CORAS project is to provide methods and tools for precise, unambiguous, and efficient risk assessment of security critical systems. To this end, we advoc...
Jan Øyvind Aagedal, Folker den Braber, Theo...
CSMR
1999
IEEE
15 years 11 months ago
A Change Impact Model for Changeability Assessment in Object-Oriented Software Systems
Growing maintenance costs have become a major concern for developers and users of software systems. Changeability is an important aspect of maintainability, especially in environm...
M. Ajmal Chaumun, Hind Kabaili, Rudolf K. Keller, ...
ICASSP
2009
IEEE
16 years 1 months ago
Sparse decomposition of mixed audio signals by basis pursuit with autoregressive models
We develop a framework to detect when certain sounds are present in a mixed audio signal. We focus on the regime where out of a large number of possible sounds, a small but unknow...
Youngmin Cho, Lawrence K. Saul