Sciweavers

5668 search results - page 894 / 1134
» The case for software evolution
Sort
View
ATS
2009
IEEE
126views Hardware» more  ATS 2009»
15 years 11 months ago
Scan Chain Diagnosis by Adaptive Signal Profiling with Manufacturing ATPG Patterns
—In the past, software based scan chain defect diagnosis can be roughly classified into two categories (1) model-based algorithms, and (2) data-driven algorithms. In this paper w...
Yu Huang, Wu-Tung Cheng, Ruifeng Guo, Ting-Pu Tai,...
FOSSACS
2009
Springer
15 years 11 months ago
Normal Bisimulations in Calculi with Passivation
Behavioral theory for higher-order process calculi is less well developed than for first-order ones such as the π-calculus. In particular, effective coinductive characterization...
Sergueï Lenglet, Alan Schmitt, Jean-Bernard S...
SEUS
2009
IEEE
15 years 11 months ago
Fine-Grained Tailoring of Component Behaviour for Embedded Systems
Abstract. The application of run-time reconfigurable component models to networked embedded systems has a number of significant advantages such as encouraging software reuse, ada...
Nelson Matthys, Danny Hughes, Sam Michiels, Christ...
WECWIS
2009
IEEE
137views ECommerce» more  WECWIS 2009»
15 years 11 months ago
Service Innovation in Spare Parts Logistics in the Business Aviation Industry
— The challenges of establishing a global information and document exchange system are described in the case study of Jet Aviation. The context is the improvement of its spare pa...
Roland Klueber, Hugh McCann, Rolf Wehrle, Thomas K...
SASO
2009
IEEE
15 years 11 months ago
MOCAS: A State-Based Component Model for Self-Adaptation
This paper introduces MOCAS (Model Of Components for Adaptive Systems), a generic state-based component model which enables the self-adaptation of software components together wit...
Cyril Ballagny, Nabil Hameurlain, Franck Barbier