The task of balancing dynamically generated work load occurs in a wide range of parallel and distributed applications. Diffusion based schemes, which belong to the class of neares...
Multi-agent systems are widely used to address large-scale distributed combinatorial applications in the real world. One such application is meeting scheduling (MS), which is deļ¬...
ed from context by seeing an explanation inferentially, much in the same way that early expert systems saw an explanation as chaining of inferences. This approach omitted, for the ...
Abstract. We report on a case study in applying diļ¬erent formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki...
Abstract. A fundamental issue in evolutionary biology is the transition from unicellular to multicellular organisms, and the cellular diļ¬erentiation that accompanies the increase...
Cristian A. Solari, John O. Kessler, Raymond E. Go...