2441 search results - page 144 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
AAAI
2000
15 years 17 days ago
2000
A central problem in qualitative reasoning is understanding how people reason about space and shape with diagrams. We claim that progress in diagrammatic reasoning is being slowed...
ERLANG
2004
ACM
15 years 4 months ago
2004
ACM
Testing of software components during development is a heavily used approach to detect programming errors and to evaluate the quality of software. Systematic approaches to softwar...
VAMOS
2010
Springer
15 years 20 days ago
2010
Springer
Deriving products from a software product line is difficult, particularly when there are many constraints in the variability of the product line. Understanding the impact of variab...
EMSOFT
2005
Springer
15 years 4 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
TSE
2010
14 years 9 months ago
2010
—The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or...