Abstract. In functional programming languages the use of infinite structures is common practice. For total correctness of programs dealing with infinite structures one must guarant...
An important application of dynamically and partially reconfigurable computing platforms is in dynamic task allocation and execution. On-line synthesis, on-line placement and on-l...
Subject indexes were an important step forward for books because they enabled the comparison and correlations of information without extensive reading, re-reading and memorization...
Ed Huai-hsin Chi, Lichan Hong, Julie Heiser, Stuar...
What is the impact of obstacles on the graphs of connections between stations in Mobile Ad hoc Networks? In order to answer, at least partially, this question, the first step is ...
Multilingual expression services (MESs) are available in many multicultural fields, such as education, medical care, and disaster prevention. In Japan, for example, local governme...