2441 search results - page 447 / 489 » Engineering a Tool to Detect Automatically Generated Papers |
109
click to vote
KBSE
2000
IEEE
15 years 2 months 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
15 years 3 months 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...
86
Voted
WSE
2002
IEEE
15 years 3 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 ...
96
Voted
GECCO
2010
Springer
15 years 3 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
15 years 3 months 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...