Sciweavers

2593 search results - page 200 / 519
» constraints 2007
Sort
View
CIDR
2009
126views Algorithms» more  CIDR 2009»
15 years 7 months ago
Declarative Reconfigurable Trust Management
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...
AOSE
2007
Springer
15 years 10 months ago
Generation of Repair Plans for Change Propagation
Abstract. One of the most critical problems in software maintenance and evolution is propagating changes. Although many approaches have been proposed, automated change propagation ...
Khanh Hoa Dam, Michael Winikoff
JCNS
2007
43views more  JCNS 2007»
15 years 6 months ago
Using extracellular action potential recordings to constrain compartmental models
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 ...
Carl Gold, Darrell A. Henze, Christof Koch
JSAC
2007
114views more  JSAC 2007»
15 years 6 months ago
Dynamic path-protected service provisioning in optical transport networks with a limited number of add/drop ports and transmitte
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...
Gangxiang Shen, Wayne D. Grover
SEBD
2001
145views Database» more  SEBD 2001»
15 years 8 months ago
Reasoning over Conceptual Schemas and Queries in Temporal Databases
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 ...
Alessandro Artale, Enrico Franconi, Milenko Mosuro...