MESSIAHS is a set of mechanisms supporting task placement in heterogeneous, distributed, autonomous systems. MESSIAHS provides a substrate on which scheduling algorithms can be implemented. The chief design goals for MESSIAHS include support for autonomy, flexibility, scalability and efficiency. These mechanisms were designed to support diverse task placement and load balancing algo-

We give geometrical conditions, which guarantee the existence of a diffeomorphism in order to transform a nonlinear system without inputs into a canonical normal form depending on its output. Moreover we extend our results to a class of systems with inputs. We end this paper by some examples and its simulations to highlight the proposed algo rithm.

Parsing schemata are de ned as an intermediate level of abstraction between context free grammars and parsers Clear concise speci cations of radically di erent parsing algo rithms can be expressed as parsing schemata Moreover because of the uniformity of these speci cations relations between di erent parsing algorithms can be formally established This article gives an introduction to the parsin...

We put forward the notion of a verifiably secure device, in essence a stronger notion of secure computation, and achieve it in the ballot-box model. Verifiably secure devices 1. Provide a perfect solution to the problem of achieving correlated equilibrium, an important and extensively investigated problem at the intersection of game theory, cryptography and efficient algo-

Traditional beamforming and power control algo-rithms in cognitive radio (CR) are based on the assumption of perfect channel state information (CSI) however; this may lead to performance degradation in realistic systems. In this paper, the problem of joint beamforming and power control is investigated in underlay CR networks with imperfect CSI. Our objective is to maximize the sum utility of se...