8623 search results - page 239 / 1725 » Software engineering for secure systems |
157
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
The term scalability appears frequently in computing literature, but it is a term that is poorly defined and poorly understood. The lack of a clear, consistent and systematic trea...
159
click to vote
AOSD
2007
ACM
15 years 9 months ago
2007
ACM
In order to accommodate the spectrum of configuration options currently required for competitive system infrastructures, many systems leverage heavy usage of C preprocessor contro...
153
click to vote
FSTTCS
2003
Springer
15 years 10 months ago
2003
Springer
Tagging schemes have been used in security protocols to ensure that the analysis of such protocols can work with messages of bounded length. When the set of nonces is bounded, this...
116
click to vote
WCRE
2006
IEEE
15 years 11 months ago
2006
IEEE
In the last years, as object-oriented software systems became more and more complex, the need of having tools that help us to understand and to assess the quality of their design ...
148
click to vote
WCRE
2008
IEEE
15 years 12 months ago
2008
IEEE
Central to any legacy migration project is the translation of the data model. Decisions made here will have strong implications to the rest of the translation. Some legacy languag...