682 search results - page 128 / 137 » Game Development Using Design-by-Contract |
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
Over the past year, the shakeout in the electronic commerce marketplace has redirected the attention of entrepreneurs and investors from the funding hype surrounding Internet star...
ICSE
2007
IEEE-ACM
14 years 8 months ago
2007
IEEE-ACM
Software engineering projects are inherently cooperative, requiring many software engineers to coordinate their efforts to produce a large software system. Integral to this effort...
SIGGRAPH
2009
ACM
14 years 3 months ago
2009
ACM
Over the past few decades, the arts have become increasingly dependent on and influenced by the development of computer technology. In the 1960s pioneering artists experimented w...
CVPR
2007
IEEE
14 years 10 months ago
2007
IEEE
We present a generative model approach to explore intrinsic semantic structures in sport videos, e.g., the camera view in American football games. We will invoke the concept of se...
SIGSOFT
2005
ACM
14 years 9 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...