1420 search results - page 163 / 284 » A combined functional and object-oriented approach to softwa... |
164
click to vote
TASE
2008
IEEE
15 years 5 months ago
2008
IEEE
The safety of pointer programs is an important issue in high-assurance software design, and their verification remains a major challenge. Pointer Logic has been proposed to verify...
167
click to vote
PEPM
1993
ACM
15 years 10 months ago
1993
ACM
Binding-time analysis is a crucial component of an ofine partial evaluator. The accuracy of the binding-time information that it produces determines the degree of specialization o...
181
click to vote
COMPSAC
2011
IEEE
14 years 6 months ago
2011
IEEE
—Secure Computation (SC) enables secure distributed computation of arbitrary functions of private inputs. It has many useful applications, e.g. benchmarking or auctions. Several ...
161
click to vote
WCRE
1997
IEEE
15 years 10 months ago
1997
IEEE
Reverse Engineering is focused on the challenging task of understanding legacy program code without having suitable documentation. Using a transformational forward engineering per...
164
click to vote
DSRT
2008
IEEE
16 years 25 days ago
2008
IEEE
This paper describes a new property checking approach in order to enhance the diagnosis ability of an electronic embedded system, included in an automotive application. We conside...