Sciweavers

905 search results - page 65 / 181
» Code Generator Testing in Practice
Sort
View
IJAIT
2000
142views more  IJAIT 2000»
13 years 9 months ago
Adequacy of Limited Testing for Knowledge Based Systems
Knowledge-based engineering and computational intelligence are expected to become core technologies in the design and manufacturing for the next generation of space exploration mi...
Tim Menzies, Bojan Cukic
POLICY
2007
Springer
14 years 4 months ago
An Automated Framework for Validating Firewall Policy Enforcement
The implementation of network security devices such as firewalls and IDSs are constantly being improved to accommodate higher security and performance standards. Using reliable a...
Adel El-Atawy, Taghrid Samak, Zein Wali, Ehab Al-S...
ICDE
2008
IEEE
176views Database» more  ICDE 2008»
14 years 11 months ago
Automatic Result Verification for the Functional Testing of a Query Language
Functional testing of a query language is a challenging task in practice. In order to reveal errors in the query processing functionality, it is necessary to verify the actual res...
Carsten Binnig, Donald Kossmann, Eric Lo, Angel Sa...
ICIP
2007
IEEE
14 years 11 months ago
Symmetric Distributed Coding of Stereo Video Sequences
In this paper we present a novel video coding scheme to compress stereo video sequences. We consider a wireless sensor network scenario, where the sensing nodes cannot communicate...
Marco Tagliasacchi, Giorgio Prandi, Stefano Tubaro
TOOLS
2000
IEEE
14 years 2 months ago
A Method for the Design and Development of Distributed Applications Using UML
With this contribution we present a design and development method for distributed applications, which are running on top of advanced object middleware platforms. We introduce the ...
Marc Born, Eckhardt Holz, Olaf Kath