This paper describes a Web-based query system for semantically heterogeneous government-produced data. Geospatial Web-based information systems and portals are currently being dev...
Nancy Wiegand, Naijun Zhou, Isabel F. Cruz, Willia...
This paper presents the design and simulation method for developing a RISC-based 32-bit embedded on-board computer. Instead of the conventional breadboarded prototype, (1) we used...
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
: As more third-party software components are available in the commercial market, more people begin to use the component-based software engineering approach to developing component...
Open and fair elections are paramount to modern democracy. Although some people claim that the penciland-paper systems used in countries such as Canada and UK are still the best m...