3425 search results - page 572 / 685 » A Model Driven Approach for Software Systems Reliability |
115
Voted
TIC
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. We present the design and implementation of the first complete framework for flexible and safe dynamic linking of native code. Our approach extends Typed Assembly Languag...
144
Voted
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
Passive monitoring or testing of complex systems and networks running in the field can provide valuable insights into their behavior in actual environments of use. In certain con...
113
Voted
ICCBSS
2003
Springer
15 years 8 months ago
2003
Springer
We have recently proposed a general approach to engineering protective wrappers as a means of detecting errors or unwanted behaviour in systems employing an OTS (Off-The-Shelf) ite...
136
click to vote
ICFEM
2003
Springer
15 years 8 months ago
2003
Springer
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
139
click to vote
PLDI
2006
ACM
15 years 9 months ago
2006
ACM
Static analysis of programs in weakly typed languages such as C and C++ is generally not sound because of possible memory errors due to dangling pointer references, uninitialized ...