2441 search results - page 93 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
105
click to vote
KBSE
1997
IEEE
15 years 8 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
144
click to vote
FPL
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We propose CUSTARD — CUStomisable Threaded ARchitecture — a soft processor design space that combines support for multiple hardware threads and automatically generate...
210
click to vote
SPIESR
2004
15 years 5 months ago
2004
In this paper, we present our work for automatic generation of textual metadata based on visual content analysis of video news. We present two methods for semantic object detectio...
108
click to vote
QSIC
2003
IEEE
15 years 9 months ago
2003
IEEE
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...
121
click to vote
KBSE
2007
IEEE
15 years 10 months ago
2007
IEEE
Modularity is one of the most important properties of a software design, with significant impact on changeability and evolvability. However, a formalized and automated approach i...