We present a process algebra based approach to formalize the interactions of computing devices such as the representation of policies and the resolution of conflicts. As an example we specify how promises may be used in coming to an agreement regarding a simple though practical transportation problem.

A grid-like environment may be constructed from ad hoc processing devices, including portable battery-powered devices. Battery lifetime is a current limitation here. In this paper we propose policies for minimizing power consumption using voluntary collaboration between the autonomously controlled nodes. We exploit the quadratic relationship between processor clock-speed and power consumption t...

We present a complete promise problem for SZK, the class of languages possessing statistical zero-knowledge proofs (against an honest verifier). The problem is to decide whether two efficiently samplable distributions are either statisticallyclose or far apart. This characterizes SZK with no reference to interaction or zero-knowledge. From this theorem and its proof, we are able to establish se...

promise de port fort is an useful legal basic for justification many civil and commercial transactions. such as bank guaranties, insurance and guaranty of things it divides two legal relations, relation between parties if third party not ratify and relation with third party if she or he ratify that promise. unlike its appearance, it, is not violation the principle of relativity of contracts. be...

The Promise Neighborhoods initiative from the U.S. Department of Education offers grant funding to develop innovative educational and community support programs in distressed communities. Inspired by the success of the Harlem Children's Zone (HCZ), this initiative encourages similarly pioneering approaches to assist low-income children attain academic and social success. An increasing body of e...