2026 search results - page 310 / 406 » Tools for Test Case Generation |
167
Voted
ICTAI
1993
IEEE
15 years 8 months ago
1993
IEEE
MERIT (Multimedia Extensions of Retrieval Interaction Tools)1 provides a user-centered interface to a database covering European research programs, projects, and consortia in the ...
162
click to vote
GIS
1992
ACM
15 years 8 months ago
1992
ACM
Machine learning techniques such as tree induction have become accepted tools for developing generalisations of large data sets, typically for use with production rule systems in p...
148
click to vote
CAISE
2006
Springer
15 years 8 months ago
2006
Springer
The quest for designing secure and trusted software has led to refined Software Engineering methodologies that rely on tools to support the design process. Automated reasoning mech...
142
click to vote
IS
2008
15 years 4 months ago
2008
In this paper, we formalize the digital library (DL) integration problem and propose an overall approach based on the 5S (streams, structures, spaces, scenarios, and societies) fr...
142
click to vote
VISUALIZATION
2005
IEEE
15 years 10 months ago
2005
IEEE
Simulations often generate large amounts of data that require use of SciVis techniques for effective exploration of simulation results. In some cases, like 1D theory of fluid dyn...