This paper describes the concept of software adaptation patterns and how they can be used in software adaptation of serviceoriented architectures. The patterns are described in te...
Hassan Gomaa, Koji Hashimoto, Minseong Kim, Sam Ma...
Broadcasting provides an e cient means for disseminating information in both wired and wireless setting. In this paper, we study di erent client side cache organizations for vario...
Oleg Shigiltchoff, Panos K. Chrysanthis, Evaggelia...
This paper compares position measurement techniques using dead reckoning. We are seeking to find a technique which is suitable for use by pedestrians, and have compared a number ...
We study the application of a standard model checker tool, Spin, to the well-known problem of computing a may-alias relation for a C program. A precise may-alias relation can signi...
Abstract. In this paper we propose two techniques to qualitatively estimate distance in monocular vision. Two kinds of approaches are described, the former based on texture analysi...
Virginio Cantoni, Luca Lombardi, Marco Porta, Ugo ...