2271 search results - page 164 / 455 » Scalable Software Libraries |
140
click to vote
FASE
2009
Springer
15 years 9 months ago
2009
Springer
In order to retrieve, select and apply design patterns in a tool-supported way, we suggest to construct and document a problemcontext pattern that reflects the essence of the prob...
136
click to vote
KBSE
2006
IEEE
15 years 10 months ago
2006
IEEE
Traditional design representations are inadequate for generalized reasoning about modularity in design and its technical and economic implications. We have developed an architectu...
130
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
After some general remarks about program verification, we introduce separation logic, a novel extension of Hoare logic that can strengthen the applicability and scalability of pro...
134
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
We have replicated the experiments of Cecchet et al. detailed in ”Performance and Scalability of EJB Applications” at OOPSLA ’02. We report on our experiences configuring, ...
133
click to vote
SRDS
1999
IEEE
15 years 9 months ago
1999
IEEE
The paper presents the design of a software infrastructure that can support negotiation and competition among buyers and sellers of goods (auctioning) over the Internet. The goals...