1057 search results - page 159 / 212 » Testing from Formal Specifications, a Generic Approach |
ISSTA
2009
ACM
14 years 2 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
RE
2006
Springer
13 years 7 months ago
2006
Springer
We introduce a variability-intensive approach to goal decomposition that is tailored to support requirements identification for highly customizable software. The approach is based...
OSDI
2008
ACM
14 years 8 months ago
2008
ACM
Dynamic power management in enterprise environments requires an understanding of the relationship between resource utilization and system-level power consumption. Power models bas...
AFRIGRAPH
2007
ACM
13 years 11 months ago
2007
ACM
Real objects present an enormous amount of detail, including aging effects. Artists need an intuitive control when they iteratively review and redesign their work to achieve a spe...
CLEF
2006
Springer
13 years 11 months ago
2006
Springer
After being a pilot track in 2005, GeoCLEF advanced to be a regular track within CLEF 2006. The purpose of GeoCLEF is to test and evaluate cross-language geographic information ret...