2048 search results - page 338 / 410 » Intelligent search techniques for large software systems |
163
click to vote
ENTCS
2010
15 years 2 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
116
click to vote
AISC
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a personal view and strategy for algorithm-supported mathematical theory exploration and draw some conclusions for the desirable functionality of future mathem...
142
click to vote
MM
1997
ACM
15 years 8 months ago
1997
ACM
A number of recent technological trends have made data intensive applications such as continuous media (audio and video) servers a reality. These servers store and retrieve a larg...
127
click to vote
WICSA
2001
15 years 6 months ago
2001
Software architecture research focuses on models of software architectures as specified in architecture description languages (ADLs). As research progresses in specific areas of s...
140
click to vote
KDD
2004
ACM
16 years 5 months ago
2004
ACM
Analyzing data to find trends, correlations, and stable patterns is an important task in many industrial applications. This paper proposes a new technique based on parallel coordi...