15777 search results - page 2692 / 3156 » The Reformulation-Optimization Software Engine |
166
Voted
VSTTE
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. The Composite design pattern is an exemplar of specification and verification challenges for sequential object-oriented programs. Region logic is a Hoare logic augmente...
172
Voted
WCRE
2010
IEEE
15 years 4 months ago
2010
IEEE
To date, most clone detection techniques have concentrated on various forms of source code analysis, often by analyzing token streams. In this paper, we introduce a complementary ...
147
click to vote
XPU
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we will explore how agile acceptance testing is applied in testing a high capacity network gateway. We will demonstrate how the organisation managed to grow agile acc...
169
click to vote
XPU
2010
Springer
15 years 4 months ago
2010
Springer
Scrum was trialed at Cimex — a Digital Media Agency in the UK. Our insights centre in particular around the close interactions between the designers and developer working in the ...
169
click to vote
CISIS
2010
IEEE
15 years 4 months ago
2010
IEEE
As Grid infrastructures become more widely used by the academic and commercial world, the problem of resource allocation increases in complexity. Resource trading markets are one m...