Time-critical scheduling in real-time database systems has two components: real-time transaction scheduling,which is related to task scheduling in realtime operating systems, and ...
We pursue a representation of logic programs as classical first-order sentences. Different semantics for logic programs can then be expressed by the way in which they are wrapped...
With the widespread popularity of digital images and the presence of easy-to-use image editing software, content integrity can no longer be taken for granted, and there is a stron...
This paper suggests the solution to build a Full Virtual Reality Learning Environment, and we have built both virtual and real laboratories on the web, in which students practice ...
Yu Lung Wu, Te Yi Chan, Bin Shyan Jong, Tsong Wuu ...
We present a method for the efficient access to parts of remote files. The efficiency is achieved by using a file format independent compact pattern description, that allows to re...