328 search results - page 62 / 66 » Requirements Inheritance in Continuous Requirements Engineer... |
PLDI
2003
ACM
15 years 5 months ago
2003
ACM
CCured is a program transformation system that adds memory safety guarantees to C programs by verifying statically that memory errors cannot occur and by inserting run-time checks...
109
click to vote
COMSWARE
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper proposes a middleware to reduce the and consistency are usually poor since they depend on cell consumption of network resources and optimize the provision of size; GPS t...
CASE
2011
14 years 3 days 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...
DATE
2007
IEEE
15 years 6 months ago
2007
IEEE
- The intrinsic capability brought by each new technology node opens the way to a broad range of system integration options and continuously enables new applications to be integrat...
99
Voted
EMSOFT
2007
Springer
15 years 6 months ago
2007
Springer
The design of safety-critical systems has typically adopted static techniques to simplify error detection and fault tolerance. However, economic pressure to reduce costs is exposi...