3091 search results - page 343 / 619 » The Microsoft Relational Engine |
227
click to vote
ICSM
2007
IEEE
16 years 1 months ago
2007
IEEE
Test suite reduction seeks to reduce the number of test cases in a test suite while retaining a high percentage of the original suite’s fault detection effectiveness. Most appro...
214
click to vote
IWPSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Software evolution plays a key role in the overall lifecycle of a software system. In this phase, software developers extend the capabilities and functionality of the system to me...
221
click to vote
ROBOCOMM
2007
IEEE
16 years 1 months ago
2007
IEEE
Abstract—Robust, dependable and concise coordination between members of a robot team is a critical ingredient of any such collective activity. Depending on the availability and t...
209
click to vote
WCRE
2007
IEEE
16 years 1 months ago
2007
IEEE
Our analysis of crosscutting concerns in real-life software systems (totaling over 500,000 LOC) and in reports from literature indicated a number of properties that allow for thei...
195
click to vote
B
2007
Springer
16 years 1 months ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...