In this paper we study two classes of imprecise previsions, which we termed convex and centered convex previsions, in the framework of Walley’s theory of imprecise previsions. W...
In this paper, a new paradigm for designing logic circuits with concurrent error detection (CED) is described. The key idea is to exploit the asymmetric soft error susceptibility ...
In this paper we develop an analytical threshold-based bandwidth allocation policy for 3G multi-class cellular networks. We consider the effects of user mobility when the cellular...
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
In component-based software development, it is necessary to measure the reusability of components in order to realize the reuse of components effectively. There are some product m...