Sciweavers

815 search results - page 72 / 163
» Towards an Architectural Framework for Agile Software Develo...
Sort
View
CBSQ
2003
Springer
15 years 11 months ago
Assessment of High Integrity Software Components for Completeness, Consistency, Fault-Tolerance, and Reliability
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
Hye Yeon Kim, Kshamta Jerath, Frederick T. Sheldon
154
Voted
FTCS
1998
79views more  FTCS 1998»
15 years 7 months ago
Proving Correctness of a Controller Algorithm for the RAID Level 5 System
Most RAID controllers implemented in industry are complicated and di cult to reason about. This complexity has led to software and hardware systems that are di cult to debug and h...
Mandana Vaziri, Nancy A. Lynch, Jeannette M. Wing
180
Voted
ARCS
2004
Springer
15 years 10 months ago
Towards a Dynamically Reconfigurable System-on-Chip Platform for Video Signal Processing
: This paper reports ongoing work towards a dynamically reconfigurable System-on-Chip (SoC) platform for video signal processing. It consists of dedicated, statically and dynamical...
Walter Stechele, Stephan Herrmann, Andreas Herkers...
152
Voted
EWSA
2005
Springer
15 years 11 months ago
Towards Context-Sensitive Intelligence
Even modern component architectures do not provide for easily manageable context-sensitive adaptability, a key requirement for ambient intelligence. The reason is that components a...
Holger Mügge, Tobias Rho, Marcel Winandy, Mar...
KBSE
2008
IEEE
16 years 16 days ago
Exploiting social software to build open source communities
This paper describes work in progress on how to build open source communities. The proposed approach is based on exploiting existing social software communities and applications t...
Imed Hammouda, Timo Aaltonen, Petri Sirkkala