2441 search results - page 288 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
166
click to vote
FASE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
139
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we introduce a framework to supplement and tag computerized CPG with related best-evidence automatically sourced from on-line medical literature repositories. The id...
174
click to vote
IAT
2008
IEEE
15 years 11 months ago
2008
IEEE
Multi-agent systems have proven to be a powerful technology for building complex distributed applications. However, the process of designing, configuring and deploying agent-based...
130
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper describes a new automated technique to generate test cases for GUIs by using covering arrays (CAs). The key motivation is to generate long GUI event sequences that are ...
143
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
In this paper, a simulation-based synthesis tool, AMIGO, for analog cell sizing is presented. AMIGO is based upon genetic optimization techniques adapted to circuit sizing. A fram...