Sciweavers

10669 search results - page 283 / 2134
» Software - Implemented Self-healing System
Sort
View
WICSA
2007
15 years 8 months ago
Architecture Assessment Model for System Evolution
1 Even though there has been some research on system evolution, there is no well defined vocabulary to indicate deviation of a system from desired goals. Further, there are no obje...
Sutirtha Bhattacharya, Dewayne E. Perry
LSO
2004
Springer
16 years 21 days ago
Learning Software Maintenance Organizations
Abstract. Developing and maintaining software systems is a knowledge intensive task. One needs knowledge of the application domain of the software, the problem the system solves, t...
Kleiber D. de Sousa, Nicolas Anquetil, Káth...
SOSYM
2011
15 years 2 months ago
Exploring inconsistencies between modal transition systems
In this document I present the work done under the supervision of Sebastian Uchitel between March and July 2008, in the research team of the Laboratorio de Fundamentos y Herramien...
Mathieu Sassolas, Marsha Chechik, Sebastián...
TCAD
2010
94views more  TCAD 2010»
15 years 2 months ago
An Efficient Projector-Based Passivity Test for Descriptor Systems
Abstract--An efficient passivity test based on canonical projector techniques is proposed for descriptor systems (DSs) widely encountered in circuit and system modeling. The test f...
Zheng Zhang, Ngai Wong
DATE
2005
IEEE
172views Hardware» more  DATE 2005»
16 years 29 days ago
Correct-by-Construction Transformations across Design Environments for Model-Based Embedded Software Development
Embedded software design for real time reactive system
Massimo Baleani, Alberto Ferrari, Leonardo Mangeru...