The Robust Self-Configuring Embedded Systems (RoSES) project seeks to achieve graceful degradation through software reconfiguration. To accomplish this goal, systems must automati...
Abstract. Deduction systems and graph rewriting systems are compared within a common categorical framework. This leads to an improved deduction method in diagrammatic logics.
The rapid development of the network technology greatly expands information communication between people and makes the network education become real. Network education has already ...
: This paper discusses the development and delivery of an upper level computer science elective course in geographic information systems (GIS). GIS applications span numerous and d...
The need for e-learning systems that support a diverse set of pedagogical requirements has been identified as an important issue in web-based education. Until now, significant R&a...