3914 search results - page 285 / 783 » Automating SLA modeling |
113
Voted
CSL
2006
Springer
15 years 6 months ago
2006
Springer
Game quantification is an expressive concept and has been studied in model theory and descriptive set theory, especially in relation to infinitary logics. Automatic structures on t...
111
Voted
BMCBI
2010
15 years 2 months ago
2010
Background: The Medium-chain Dehydrogenases/Reductases (MDR) form a protein superfamily whose size and complexity defeats traditional means of subclassification; it currently has ...
224
Voted
DAC
2008
ACM
16 years 3 months ago
2008
ACM
SystemCoDesigner is an ESL tool developed at the University of Erlangen-Nuremberg, Germany. SystemCoDesigner offers a fast design space exploration and rapid prototyping of behavi...
147
Voted
DAWAK
2006
Springer
15 years 6 months ago
2006
Springer
More and more integration systems use ontologies to solve the problem of semantic heterogeneities between autonomous databases. To automate the integration process, a number of the...
128
click to vote
ICCBR
2001
Springer
15 years 7 months ago
2001
Springer
It is useful for an intelligent software agent to be able to adapt to new demands from an environment. Such adaptation can be viewed as a redesign problem; an agent has some origin...