809 search results - page 50 / 162 » Requirements by Contracts allow Automated System Testing |
128
Voted
EUROSYS
2008
ACM
16 years 1 months ago
2008
ACM
The internal libraries of Linux are evolving rapidly, to address new requirements and improve performance. These evolutions, however, entail a massive problem of collateral evolut...
165
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
Dynamic analysis techniques have been extensively adopted to discover causes of observed failures. In particular, anomaly detection techniques can infer behavioral models from obs...
141
click to vote
EWCBR
2008
Springer
15 years 6 months ago
2008
Springer
The use of computational methods is fundamental in cancer research. One of the possibilities is the use of Artificial Intelligence techniques. Several of these techniques have been...
151
click to vote
DLOG
2003
15 years 6 months ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
125
Voted
ADAEUROPE
2008
Springer
15 years 6 months ago
2008
Springer
Standards for distribution middleware sometimes impose restrictions and often allow the implementations to decide on aspects that are fundamental to the correct and efficient behav...