3527 search results - page 355 / 706 » Test Automation in Practice |
154
click to vote
ASM
2010
ASM
15 years 8 months ago
2010
ASM
The B method is one of the most used formal methods, when reactive systems is under question, due to good support for refinement. However, obtaining the formal model from requireme...
165
click to vote
FLAIRS
2008
15 years 7 months ago
2008
Current studies have demonstrated that the representational power of predictive state representations (PSRs) is at least equal to the one of partially observable Markov decision p...
126
click to vote
BCSHCI
2007
15 years 6 months ago
2007
Eye-tracking research is increasingly used to supplement usability tests in both commercial and academic practice. However, while there has been research into links between eyetra...
128
Voted
WSCG
2004
15 years 6 months ago
2004
We present a real-time algorithm for rendering volumetric 3D Magic LensesTM having arbitrary convex shapes. During fragment processing the algorithm performs a second depth test u...
133
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Defect prevention is the most vital but habitually neglected facet of software quality assurance in any project. If functional at all stages of software development, it can condens...