526 search results - page 49 / 106 » Towards the Verifying Compiler |
105
click to vote
JOT
2007
14 years 9 months ago
2007
Aspect-Oriented Programming is an emerging software engineering paradigm. It offers new constructs and tools improving separation of crosscutting concerns into single units called...
CSI
2004
14 years 9 months ago
2004
Standards are important to the growth and acceptance of emerging industries such as the biometric industry. To promote biometric standard, the BioAPI Consortium has developed a wi...
INFOCOM
2010
IEEE
14 years 8 months ago
2010
IEEE
—To address energy constraint problem in sensor networks, node reclamation and replacement strategy has been proposed for networks accessible to human beings and robots. The majo...
PVLDB
2010
14 years 8 months ago
2010
A variety of integrity constraints have been studied for data cleaning. While these constraints can detect the presence of errors, they fall short of guiding us to correct the err...
TRIDENTCOM
2010
IEEE
14 years 7 months ago
2010
IEEE
As experimentation becomes one of the de-facto approaches for benchmarking, researchers are turning to testbeds to test, review and verify their work. As a result, several research...