2441 search results - page 129 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
ICSE
2004
IEEE-ACM
15 years 11 months ago
2004
IEEE-ACM
This paper proposes a technique for identifying program properties that indicate errors. The technique generates machine learning models of program properties known to result from...
108
click to vote
ICST
2011
IEEE
14 years 2 months ago
2011
IEEE
User input validation is a technique to counter attacks on web applications. In typical client-server architectures, this validation is performed on the client side. This is ineff...
COMPSAC
2007
IEEE
15 years 5 months ago
2007
IEEE
This paper discusses aspects of the redocumentation of legacy systems and proposes a model oriented approach to generating documentation, which is to produce models from existing ...
ASPDAC
2004
ACM
15 years 4 months ago
2004
ACM
Abstract— To meet the challenge of increasing design complexity, designers are turning to system level design languages to model systems at a higher level of abstraction. This pa...
DFT
2000
IEEE
15 years 3 months ago
2000
IEEE
1 Over the last years, an increasing number of safety-critical tasks have been demanded to computer systems. In particular, safety-critical computer-based applications are hitting ...