This paper describes a new method for providingtransparent fault tolerance for parallel applications on a network of workstations. We have designed our method in the context of sh...
Unlike Internet portals, a typical Web Information System contains lots of user operations. However, existing Web design frameworks focus exclusively on data presentation: the proc...
Hongyan Li, Ming Xue, Jianjun Wang, Shiwei Tang, D...
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
This paper addresses the issue of state-space realizations for nonlinear adjoint operators. In particular, the relationships between nonlinear Hilbert adjoint operators, Hamiltoni...
Kenji Fujimoto, Jacquelien M. A. Scherpen, W. Stev...
: The article provides an overview of the legal relationships in Open Source Structures. It shows that – as within all software development and distribution models – different ...