Modern communication technologies enable recruitment interviews to be held remotely through the use of video conferencing. However, the effective deployment of such services, at a...
Mark Kiddell, Min Chen, David J. Oborne, F. W. Sla...
The integration of heterogeneous data sources with even heterogeneous semantic meanings poses a challenge for data and system integrators. Ontology Alignment (OA) tries to identif...
Thomas Moser, Kathrin Schimper, Richard Mordinyi, ...
Background: In systems biology, and many other areas of research, there is a need for the interoperability of tools and data sources that were not originally designed to be integr...
John Boyle, Christopher C. Cavnor, Sarah A. Killco...
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
Edison Mera, Manuel V. Hermenegildo, Pedro L&oacut...
Program comprehension tools extract, organize and analyze information about the design and implementation of software systems. Before tools can exchange information, they must sha...