This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
New voice services are investigated in the fields of Internet telephony (SIP – Session Initiation Protocol) and interactive voice systems (VoiceXML – Voice Extended Markup La...
Non-verbal interaction signals are of great interest in the research field of natural human-robot interaction. These signals are not limited to gestures and emotional expressions ...
We describe a neuromorphic chip that utilizes transistor heterogeneity, introduced by the fabrication process, to generate orientation maps similar to those imaged in vivo. Our mo...
Fault-tolerant mechanisms have been increasingly used to develop safety-critical systems in the past years. Therefore the accurate description of these mechanisms is crucial if we...
Cristiano Bertolini, Leonardo Brenner, Paulo Ferna...