2048 search results - page 140 / 410 » Intelligent search techniques for large software systems |
170
Voted
SAC
2008
ACM
15 years 4 months ago
2008
ACM
Model-Driven Engineering (MDE) has been advocated as an effective way to deal with today's software complexity. MDE can be seen as an integrative approach combining existing ...
204
Voted
BMCBI
2011
14 years 8 months ago
2011
Background: The Smith-Waterman algorithm for local sequence alignment is more sensitive than heuristic methods for database searching, but also more time-consuming. The fastest ap...
126
Voted
WWW
2001
ACM
16 years 5 months ago
2001
ACM
Recommender systems are new types of internet-based software tools, designed to help users find their way through today's complex on-line shops and entertainment websites. He...
148
click to vote
CASES
2003
ACM
15 years 10 months ago
2003
ACM
The proliferation of computing technology to low power domains such as hand–held devices has lead to increased interest in portable interface technologies, with particular inter...
121
click to vote
KBSE
1997
IEEE
15 years 8 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...