2623 search results - page 141 / 525 » tools 2010 |
CSMR
2010
IEEE
13 years 5 months ago
2010
IEEE
While significant progress has been made over the last ten years in the research field of quality assessment, developers still can't take full advantage of the benefits of the...
CSMR
2010
IEEE
13 years 5 months ago
2010
IEEE
Frequent changes to groups of software entities from different parts of the system may indicate structural issues in the system's decomposition. Analyzing such groups is neede...
SIGSOFT
2010
ACM
13 years 5 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
ICADL
2010
Springer
14 years 3 months ago
2010
Springer
This paper describes ongoing work within the Aus-e-Lit project at the University of Queensland to provide collaborative annotation tools for Australian Literary Scholars. It descri...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Distance bounding protocols are used by nodes in wireless networks for the crucial purpose of estimating their distances to other nodes. Past efforts to analyze these protocols hav...