In recent years, there has been a proliferation of declarative logic-based trust management languages and systems proposed to ease the description, configuration, and enforcement ...
William R. Marczak, David Zook, Wenchao Zhou, Molh...
Abstract. One of the most critical problems in software maintenance and evolution is propagating changes. Although many approaches have been proposed, automated change propagation ...
Abstract We investigate the use of extracellular action potential (EAP) recordings for biophysically faithful compartmental models. We ask whether constraining a model to fit the ...
Abstract— We consider path-based survivable service provisioning in transparent optical networks with the constraints of wavelength continuity and a limited number of add/drop po...
This paper introduces a new logical formalism, intended for temporal conceptual modelling, as a natural combination of the well-known description logic DLR and point-based linear ...