We study the stability of the commonly used packet forwarding protocol, FIFO (First In First Out), in the adversarial queueing model. We prove that FIFO can become unstable, i.e.,...
This paper presents a soft-typing system for the programming language Erlang. The system is based on two concepts; a (forward) data flow analysis that determines upper approximat...
Guided by the cooperation theory, this paper puts forward an interactive and cooperative learning environment design that is based on the self-learning mode and cooperative learnin...
A device that could locomote through curving and tortuous spaces would find many applications in medicine and in industry. Invertebrates such as earthworms and leeches can solve t...
Elizabeth V. Mangan, Daniel A. Kingsley, Roger D. ...
In this paper, we describe a new method to map a texture on a surface with a spatially-variant filter. Our filter takes into consideration the effects of anisotropy using a Jaco...