Problems with large monolithical ontologies in terms of reusability, scalability and maintenance have lead to an increasing interest in modularization techniques for ontologies. Cu...
Mathieu d'Aquin, Anne Schlicht, Heiner Stuckenschm...
Interpolation is an important component of recent methods for program verification. It provides a natural and effective means for computing separation between the sets of ‘good...
Video applications are becoming an essential component for mobile devices. H.264, the latest video-coding standard, shows significant potential in terms of bandwidth savings at th...
Flexible resource management and scheduling policies require detailed system-state information. Traditional, monolithic operating systems with a centralized kernel derive the requ...
Distributed event-based middleware (DEBM) provides a basis for the interoperation of autonomous components in large-scale systems. Transactions ensure the atomic and reliable exec...