We describe the design and implementation of a system for simulating the spread of disease among individuals in a large urban population over the course of several weeks. In contr...
The active networks approach has been presented as an alternative technology for solving several problems in conventional networks, mainly in the network management area. This work...
V. Damasceno Matos, Jorge Luis de Castro e Silva, ...
Deep inference is a proof theoretical methodology that generalizes the traditional notion of inference in the sequent calculus: in contrast to the sequent calculus, the deductive ...
The two-layered distributed clustered server architecture consisting of a control server and a group of storage servers has been widely used to support multimedia file systems. Wi...
Seung-Ho Park, Si-Yong Park, Gwang Moon Kim, Ki-Do...
This paper presents a mesh with virtual buses as the bandwidth-efficient implementation of the mesh with multiple broadcasting on which many computational problems can be solved w...
Jong Hyuk Choi, Bong Wan Kim, Kyu Ho Park, Kwang-I...