When a Semantic Web application encounters a new URI in an RDF statement, how should it determine what resource that URI is intended to denote, and learn more about it? Since asser...
Synchronous systems offer clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models a...
Stavros Tripakis, Claudio Pinello, Albert Benvenis...
Collaborative information systems in a P2P scenario are characterized by a set of independent peers that dynamically need to cooperate by sharing data and services. For effective c...
Devis Bianchini, Valeria De Antonellis, Michele Me...