Abstract. Service Oriented Computing (SOC) allows for the composition of services which communicate using unidirectional notification or bidirectional request-response primitives....
Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gian...
— We present a low complexity adaptive transmission approach for spatially correlated MIMO channels. The proposed scheme adaptively switches between orthogonal space-time block c...
Antonio Forenza, Matthew R. McKay, Iain B. Colling...
Abstract. In this paper, the use of biometric systems in forensic applications is reviewed. Main differences between the aim of commercial biometric systems and forensic reporting...
Daniel Ramos-Castro, Joaquin Gonzalez-Rodriguez, C...
We define quantitative similarity functions between timed transition systems that measure the degree of closeness of two systems as a real, in contrast to the traditional boolean ...
Thomas A. Henzinger, Rupak Majumdar, Vinayak S. Pr...
Abstract. Model-Driven Software Development is based on standardised models that are refined, transformed and eventually translated into executable code using code generators. How...