23098 search results - page 4408 / 4620 » Component Based Development |
174
click to vote
CAV
2007
Springer
16 years 21 days ago
2007
Springer
We present new techniques for fast, accurate and scalable static data race detection in concurrent programs. Focusing our analysis on Linux device drivers allowed us to identify th...
178
click to vote
CCS
2007
ACM
16 years 21 days ago
2007
ACM
An alarming trend in malware attacks is that they are armed with stealthy techniques to detect, evade, and subvert malware detection facilities of the victim. On the defensive sid...
152
click to vote
CIKM
2007
Springer
16 years 21 days ago
2007
Springer
As one of the most effective query expansion approaches, local feedback is able to automatically discover new query terms and improve retrieval accuracy for different retrieval ...
163
click to vote
CIKM
2007
Springer
16 years 21 days ago
2007
Springer
Queries issued by casual users or specialists exploring a data set often point us to important subsets of the data, be it clusters, outliers or other features of particular import...
215
click to vote
CMSB
2007
Springer
16 years 21 days ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...