5182 search results - page 690 / 1037 » COTS-Based Requirements Engineering |
169
click to vote
ECMDAFA
2008
Springer
15 years 8 months ago
2008
Springer
Frameworks and libraries that use annotations are becoming popular. However, there is not enough software engineering support for annotation development. In particular, the validat...
203
click to vote
ESAW
2008
Springer
15 years 8 months ago
2008
Springer
Modern software systems share with social organizations the attributes of being large-scale, distributed, and heterogeneous systems of systems. The organizational metaphor for soft...
155
click to vote
EUROPAR
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper proposes and presents a comparison of scheduling algorithms applied to the context of load balancing the query traffic on distributed inverted files. We put em...
155
click to vote
FMCAD
2008
Springer
15 years 8 months ago
2008
Springer
The extensional theory of arrays is one of the most important ones for applications of SAT Modulo Theories (SMT) to hardware and software verification. Here we present a new T-solv...
173
click to vote
CIDR
2007
15 years 8 months ago
2007
Searching the Web has become a commodity. However, extending applications with search capabilities is still an open research topic [2]. Large enterprise applications such as SAP a...