3667 search results - page 446 / 734 » Software Rejuvenation - Modeling and Analysis |
157
click to vote
SOFTWARE
1998
15 years 6 months ago
1998
Object-oriented development is expected to provide many benefits, but observations of industrial practice show that there are many problems to overcome. This paper discusses two i...
147
click to vote
TSE
1998
15 years 6 months ago
1998
—Cohesion was first introduced as a software attribute that, when measured, could be used to predict properties of implementations that would be created from a given design. Unfo...
177
click to vote
VLSI
2010
Springer
15 years 5 months ago
2010
Springer
—This paper proposes a novel technique to exploit the high bandwidth offered by through silicon vias (TSVs). In the proposed approach, synchronous parallel 3D links are replaced ...
212
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
ionally Sound Abstraction and Verification of Secure Multi-Party Computations Michael Backes Saarland University MPI-SWS Matteo Maffei Saarland University Esfandiar Mohammadi Saarl...
200
click to vote
FSTTCS
2010
Springer
15 years 4 months ago
2010
Springer
Computing the Dodgson Score of a candidate in an election is a hard computational problem, which has been analyzed using classical and parameterized analysis. In this paper we reso...