Resource selection is fundamental to the performance of master/slave applications. In this paper, we address the problem of promoting performance for distributed master/slave appl...
Embedded system has become one of the most important directions in computer education. Embedded system is at the intersection of control system, command and control, wireless data...
Pervasive computing calls for suitable middleware and programming models to deal with large software systems dived in dynamic mobile network environments. Here we present the prog...
In this paper we show how quantitative program logic [14] provides a formal framework in which to promote standard techniques of program analysis to a context where probability and...
The CancerGrid consortium is developing openstandards cancer informatics to address the challenges posed by modern cancer clinical trials. This paper presents the service-oriented...
Tianyi Zang, Radu Calinescu, Steve Harris, Andrew ...