2272 search results - page 185 / 455 » Validity Invariants and Effects |
ICDE
2000
IEEE
14 years 11 months ago
2000
IEEE
Decision-support applications in emerging environments require that SQL query results or intermediate results be shipped to clients for further analysis and presentation. These cl...
MICCAI
2007
Springer
14 years 11 months ago
2007
Springer
Energy functional minimization is an increasingly popular technique for image segmentation. However, it is far too commonly applied with hand-tuned parameters and initializations t...
ICSE
2003
IEEE-ACM
14 years 10 months ago
2003
IEEE-ACM
Web applications have become critical components of the global information infrastructure, and it is important that they be validated to ensure their reliability. Therefore, many ...
ICSE
2005
IEEE-ACM
14 years 10 months ago
2005
IEEE-ACM
Scenarios are an effective means for eliciting, validating and documenting requirements. At the requirements level, scenarios describe sequences of interactions between the softwa...
ICCAD
2002
IEEE
14 years 7 months ago
2002
IEEE
We investigate appropriate regimes for transmission line propagation of signals on digital integrated circuits. We start from exact solutions to the transmission line equations pr...