Abstract. Recent research has enabled important progress in developing agents aimed at real-world linguistic interaction with humans. Hence, within the general shift of research fo...
Ambient Intelligent (AmI) environments are supposed to act proactively anticipating the user's needs and preferences, therefore the capability of an AmI system to learn those ...
Asier Aztiria, Juan Carlos Augusto, Alberto Izagui...
We study the interaction of the "new" construct with a rich but common form of (first-order) communication. This interaction is crucial in security protocols, which are ...
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
Programmers working on large software systems are faced with an extremely complex, information-rich environment. To help navigate through this, modern development environments all...