277 search results - page 54 / 56 » An Approach to Specify and Test Component-Based Dependable S... |
SIGMOD
2011
ACM
14 years 2 months ago
2011
ACM
Occasional corruption of stored data is an unfortunate byproduct of the complexity of modern systems. Hardware errors, software bugs, and mistakes by human administrators can corr...
116
click to vote
IMR
2003
Springer
15 years 4 months ago
2003
Springer
This paper proposes a method for predicting the complexity of meshing Computer Aided Design (CAD) geometries with unstructured, hexahedral, finite elements. Meshing complexity ref...
ISORC
2008
IEEE
15 years 6 months ago
2008
IEEE
—An increasing number of real-time systems are embedded in mission critical systems such as target tracking systems, in which workloads may dynamically vary, for example, dependi...
107
click to vote
CAISE
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. The European Space Agency (ESA) has created the Simulation Model Portability 2 (SMP2) standard with the purpose to provide a design solution for the project of Spacecraft...
KI
2008
Springer
14 years 11 months ago
2008
Springer
Requirements engineering is a central part of software projects. It is assumed that two third of all errors in software projects are caused by forgotten requirements or mutual misu...