While the use of test-driven development as a debugging, pedagogic, and analytical methodology for objectoriented and procedural systems is well documented, it is a relatively une...
We report on a compilation procedure that derives relational algebra plans from arbitrarily nested XQuery FLWOR blocks. While recent research was able to develop relational encodi...
Measurement of the evolution properties of solar flares through their complete cyclic development is crucial in the studies of Solar Physics. From analysis of solar Hα images, we...
Ming Qu, Frank Y. Shih, Ju Jing, Haimin Wang, Davi...
Abstract. This paper presents the validation methodology established and applied during the development of a wireless LAN application. The target of the development is the implemen...
This paper describes several tools related to the Ada language that were developed to support the teaching of a computer graphics course. These tools include an updated and improv...