359 search results - page 72 / 72 » Analysis of Compiled Code: A Prototype Formal Model |
IJCINI
2007
13 years 5 months ago
2007
The Cognitive Processes of Abstraction and Formal Inferences J. A. Anderson: A Brain-Like Computer for Cognitive Software Applications: the Resatz Brain Project L. Flax: Cognitive ...
SIGSOFT
2000
ACM
13 years 9 months ago
2000
ACM
Although software reuse can improve both the quality and productivity of software development, it will not do so until software developers stop believing that it is not worth thei...
MBEES
2008
13 years 6 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
EUROSYS
2010
ACM
13 years 11 months ago
2010
ACM
The deluge of huge data sets such as those provided by
sensor networks, online transactions, and the web provide
exciting opportunities for data analysis. The scale of the
data ...