Discrete event dynamic systems may have extremely large state spaces. For their analysis, it is usual to relax the description by removing the integrality constraints. Applying thi...
This paper reports on the phenomenon that may be called "derivative meaning," where the basic semantic conventions for certain graphical representation systems give rise...
This paper considers the role of network connectivity in supporting context-sensitive applications. A range of context-sensitive applications are analysed with respect to connectiv...
Keith Cheverst, Nigel Davies, Keith Mitchell, Adri...
Abstract. The development of successful case-based design aids depends both on the CBR processes themselves and on crucial questions of integrating the CBR system into the larger t...
David B. Leake, Lawrence Birnbaum, Kristian J. Ham...
A (partial) Built-In Self-Test (BIST) methodology is proposed for analog to digital (MD)converters. In this methodology the number of bits of the A/Dconverter that needs to be mon...
R. de Vries, Taco Zwemstra, E. M. J. G. Bruls, Pau...