1585 search results - page 159 / 317 » A framework for computer-aided validation |
129
Voted
QSIC
2003
IEEE
15 years 8 months ago
2003
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
112
Voted
DIGRA
2003
Springer
15 years 8 months ago
2003
Springer
We present a model to support the design, analysis, and comparison of games through the use of game design patterns, descriptions of reoccurring interaction relevant to game play....
127
Voted
ICCBSS
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This paper describes enhancements being made to the University of Southern California’s COnstructive COTS (COCOTS) integration cost model to address security concerns. ...
123
Voted
ICCS
2003
Springer
15 years 8 months ago
2003
Springer
J-DOS provides and integrated JAVA environment for the execution of a program across an interconnected network of heterogeneous computers. The system provides a file system, shar...
123
Voted
ICPR
2010
IEEE
15 years 8 months ago
2010
IEEE
Recognizing a person’s motion is intuitive for humans but represents a challenging problem in machine vision. In this paper, we present a multi-disciplinary framework for recogn...