The MDA approach aims to ease software maintenance faced with platform and business evolution. In this approach, main development artifacts, i.e. models, are defined with the Meta...
—Using semantic analysis, we present a technique known as semantically driven mutation which can explicitly detect and apply behavioural changes caused by the syntactic changes i...
We give a new numerical absolute primality criterion for bivariate polynomials. This test is based on a simple property of the monomials appearing after a generic linear change of...
Given the dynamic and harsh environments of electronic textile applications, particularly wearable computers and large-scale sensor networks, fault-tolerance is necessary. The inte...
We propose a computational model motivated by human cognitive processes for detecting changes of driving environments. The model, call dynamic visual model, consists of three majo...