1077 search results - page 59 / 216 » Introducing Software Engineering by means of Extreme Program... |
137
click to vote
TASE
2008
IEEE
15 years 3 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...
133
click to vote
TOOLS
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper, we introduce MaDcAr, a model of engines for dynamic and automatic (re)assembling of component-based software. In MaDcAr, an application description consists of the d...
150
click to vote
PEPM
2004
ACM
15 years 9 months ago
2004
ACM
In this paper we introduce a novel scheme for portable CPU accounting and control in Java, which is based on program transformation techniques at the bytecode level and can be use...
121
click to vote
TRUST
2010
Springer
15 years 9 months ago
2010
Springer
All practical software hardening schemes, as well as practical encryption schemes, e.g., AES, were not proven to be secure. One technique to enhance security is robust combiners. A...
155
click to vote
CASCON
1993
15 years 5 months ago
1993
There is a signi cant di erence between documentinglarge programs and documenting small ones. By large programs we mean on the order of 1,000,000 lines, usually written by many di...