3555 search results - page 203 / 711 » Security-Critical System Development with Extended Use Cases |
118
click to vote
CASE
2011
14 years 4 months ago
2011
— This paper provides a general overview of the material covered in the fullday workshop with the same title devoted to the field of automation in microassembly and packaging at...
125
click to vote
ICLP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We propose a generic type system for the Constraint Handling Rules (CHR), a rewriting rule language for implementing constraint solvers. CHR being a high-level extension ...
128
click to vote
SIAMSC
2010
15 years 2 months ago
2010
In this work we discuss a class of defect correction methods which is easily adapted to create parallel time integrators for multi-core architectures and is ideally suited for deve...
134
click to vote
IPPS
2002
IEEE
15 years 9 months ago
2002
IEEE
Failure behavior analysis is a very important phase in developing large distributed embedded systems with weak safety requirements which do graceful degradation in case of failure...
130
click to vote
JAIR
2008
15 years 4 months ago
2008
Model checking is a promising technology, which has been applied for verification of many hardware and software systems. In this paper, we introduce the concept of model update to...