: In several industry scenarios, it is often the case that an existing reference workflow has to be adapted according to specific context factors, which might even change at runtim...
d Abstract) Marcelo Fiore∗ and Sam Staton† Computer Laboratory, University of Cambridge We introduce a mathematical structural operational semantics that yields a congruence r...
We show how state-of-the-art Semantic Web technology can be used in e-Science, in particular to automate the classification of proteins in biology. We show that the resulting clas...
Katy Wolstencroft, Andy Brass, Ian Horrocks, Phill...
In the recent years distributed architectures and P2P technology have been adopted to better support effective collaboration among networked organizations. According to the P2P pa...
Devis Bianchini, Valeria De Antonellis, Michele Me...
It has been argued that the challenges in electronic government are purely social: that existing methods and tools are perfectly adequate, and that electronic government projects ...
Charles Crichton, Jim Davies, Jeremy Gibbons, Stev...