2441 search results - page 447 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
KBSE
2000
IEEE
14 years 7 days ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
SAFECOMP
1998
Springer
14 years 26 days ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
WSE
2002
IEEE
14 years 1 months ago
2002
IEEE
The World Wide Web, initially intended as a way to publish static hypertexts on the Internet, is moving toward complex applications. Static Web sites are being gradually replaced ...
GECCO
2010
Springer
14 years 1 months ago
2010
Springer
The increase in the complexity of modern software has led to the commensurate growth in the size and execution time of the test suites for these programs. In order to address this...
SIGGRAPH
1999
ACM
14 years 29 days ago
1999
ACM
This paper describes the design and implementation of an architecture for interactively viewing static light fields with very low latency. The system was deliberately over enginee...