This paper shows a rigorous approach based on algebraic specications and rewriting logic which makes up for the lack of current transformation languages and oers a balanced rigour-...
: For the processing of decision making with uncertainty information, this paper establishes a decision model based on lattice-valued logic and researches the algorithm for extract...
This is the first year for the Centre for Interactive Systems Research participation of INEX. Based on a newly developed XML indexing and retrieval system on Okapi, we extend Robe...
MEMS storage devices are new non-volatile secondary storages that have outstanding advantages over magnetic disks. MEMS storage devices, however, are much different from magnetic ...
Yi-Reun Kim, Kyu-Young Whang, Min-Soo Kim 0002, Il...
This paper presents a message-based discrete event simulation architecture. It will examine each of the different types of messages used to schedule events, transfer items through...