Our goal is to identify the key architectural and design issues related to Sensor Networks (SNs), evaluate the proposed solutions, and to outline the most challenging research dir...
Virtual signers communicating in signed languages are a very interesting tool to serve as means of communication with deaf people and improve their access to services and informati...
Semantic Annotation is a challenging research direction in the area of Semantic Web. Turning the web into a Semantic Web implies widespread semantic annotation of documents. But i...
In the past, many attempts have been made to improve the interoperability between different Web-based information systems. In most approaches the remaining problems are still twof...
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...