ICSE
2004
IEEE-ACM
14 years 4 months ago
2004
IEEE-ACM
ICSE
2004
IEEE-ACM
14 years 4 months ago
2004
IEEE-ACM
ICSE
2004
IEEE-ACM
14 years 4 months ago
2004
IEEE-ACM
Semantic Web, the next generation of Web, gives data well-defined and machine-understandable meaning so that they can be processed by remote intelligent agents cooperatively. Onto...
ICSE
2004
IEEE-ACM
14 years 4 months ago
2004
IEEE-ACM
The deployment of software components frequently fails because dependencies on other components are not declared explicitly or are declared imprecisely. This results in an incompl...
ICSE
2004
IEEE-ACM
14 years 4 months ago
2004
IEEE-ACM
ICSE
2004
IEEE-ACM
14 years 4 months ago
2004
IEEE-ACM
This paper proposes a technique for identifying program properties that indicate errors. The technique generates machine learning models of program properties known to result from...
ICSE
2004
IEEE-ACM
14 years 4 months ago
2004
IEEE-ACM
Rapid acceptance of the Web Services architecture promises to make it the most widely supported and popular object-oriented architecture to date. One consequence is that a wave of...
ICSE
2004
IEEE-ACM
14 years 4 months ago
2004
IEEE-ACM
ICSE
2004
IEEE-ACM
14 years 4 months ago
2004
IEEE-ACM
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C p...
ICSE
2004
IEEE-ACM
14 years 4 months ago
2004
IEEE-ACM