10669 search results - page 245 / 2134 » Software - Implemented Self-healing System |
192
click to vote
VLDB
2007
ACM
16 years 22 days ago
2007
ACM
Open-source software communities currently face an increasing complexity in managing and distributing software content among their developers and contributors. This is mainly due ...
135
click to vote
KBSE
1995
IEEE
15 years 10 months ago
1995
IEEE
The KBSE community is actively engaged in finding ways to represent software and the activities that relate to various stages in its lifecycle. While the wealth of modeling activ...
195
click to vote
ICSE
2011
IEEE-ACM
14 years 10 months ago
2011
IEEE-ACM
A dependability case is an explicit, end-to-end argument, based on concrete evidence, that a system satisfies a critical property. We report on a case study constructing a depend...
166
click to vote
HICSS
2007
IEEE
16 years 29 days ago
2007
IEEE
— This paper provides a bound on the number of numeric operations (fixed or floating point) that can safely be performed before accuracy is lost. This work has important implic...
150
click to vote
RTSS
2003
IEEE
2003
IEEE
An End-to-End Tool Chain for Multi-View Modeling and Analysis of Avionics Mission Computing Software
15 years 12 months ago
We present an end-to-end tool-chain for model-based design and analysis of component-based embedded realtime software, with Avionics Mission Computing as an application domain. Th...