5101 search results - page 511 / 1021 » Capturing Context Requirements |
196
click to vote
EPEW
2008
Springer
15 years 8 months ago
2008
Springer
The accessible specification of performance queries is a key challenge in performance analysis. To this end, we seek to combine the intuitive aspects of natural language query spec...
165
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...
162
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...
128
click to vote
FPL
2008
Springer
15 years 8 months ago
2008
Springer
A Customized Reconfigurable Interconnection Network (CRIN) refers to a minimal switching network, yielding routing solutions for any element in a pre-given set of routing requirem...
171
click to vote
CCE
2007
15 years 8 months ago
2007
: Collaborative engineering involves knowledge-intensive activities involving different specialists in collaboration processes tailored for the engineering domain under considerati...