Grid computing intends to share heterogeneous resources in dynamic service-based environments. This kind of systems has the major advantages of enabling rapid composition of distr...
We present a model and a core programming language appropriate for modeling and programming interactive computing systems. The model consists of rv-systems (interactive systems wit...
Abstract. The problem of testing membership in the subset of the natural numbers produced at the output gate of a {∪, ∩,− , +, ×} combinational circuit is shown to capture a...
The paper focuses on the operation of simple refrigeration cycles. With equipment given, there are, from a control and operational point of view, five steady-state degrees of fre...
Abstract. Bedau et al.'s statistical classification system for long-term evolutionary dynamics provides a test for open-ended evolution. Making this test more rigorous, and pa...