A number of computer tools have been introduced to overcome the difficulties in traditional software inspection. Actual inspection tools are rarely used, however, as the current t...
We compute AM-FM models for infrared video frames depicting military targets immersed in structured clutter backgrounds. We show that independent correlation based detection proce...
Nick A. Mould, Chuong T. Nguyen, Colin M. Johnston...
Bosco is a code generation tool, which goal is to accept any MOF model as parameter and follow the evolution of OMG standards. It generates the underlying model (also called repos...
The provision of efficient methods and tool support for the development and engineering of distributed systems is a key enabling factor for the evolution of Information Technology...
Abstract. In this paper, we present the preliminary results of an ongoing research activity concerning the temporal management of normative texts in XML format. In particular, four...
Fabio Grandi, Federica Mandreoli, Paolo Tiberio, M...