2048 search results - page 243 / 410 » Intelligent search techniques for large software systems |
172
click to vote
SAS
2009
Springer
16 years 7 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
144
click to vote
SIGIR
2005
ACM
16 years 2 days ago
2005
ACM
The direct application of standard ranking techniques to retrieve individual elements from a collection of XML documents often produces a result set in which the top ranks are dom...
187
click to vote
CIA
1998
Springer
15 years 10 months ago
1998
Springer
A key lesson learned from economic and game theory research is that negotiation protocols have substantial, rippling effects on the overall nature of the system. online auctions a...
158
click to vote
CEC
2005
IEEE
16 years 4 days ago
2005
IEEE
Abstract- The large majority of existing clustering algorithms are centered around the notion of a feature, that is, individual data items are represented by their intrinsic proper...
168
click to vote
EDOC
2007
IEEE
16 years 26 days ago
2007
IEEE
Requirements engineering (RE) encompasses a set of activities for eliciting, modelling, agreeing, communicating and validating requirements that precisely define the problem doma...