4184 search results - page 704 / 837 » Names of Our Lives |
125
click to vote
RV
2010
Springer
15 years 4 days ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
119
click to vote
STVR
2010
15 years 3 days ago
2010
Failures triggered by hard to debug defects usually involve complex interactions between many program elements. We hypothesize that information flows present a good model for such ...
125
click to vote
TKDE
2010
15 years 3 days ago
2010
—With the popularity of voting systems in cyberspace, there are growing evidence that the current voting systems can be manipulated by fake votes. This problem has attracted many...
102
click to vote
WCRE
2010
IEEE
15 years 2 days ago
2010
IEEE
—Automatic and advanced merging algorithms help programmers to merge their modifications in main development repositories. However, there is little support to help release maste...
127
click to vote
PKDD
2010
Springer
14 years 11 months ago
2010
Springer
Data stream classification poses many challenges, most of which are not addressed by the state-of-the-art. We present DXMiner, which addresses four major challenges to data stream ...