3091 search results - page 402 / 619 » The Microsoft Relational Engine |
174
click to vote
AIIA
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Adaptation is one of the most problematic steps in the design and development of Case Based Reasoning (CBR) systems, as it may require considerable domain knowledge and i...
191
click to vote
ARCS
2005
Springer
16 years 4 days ago
2005
Springer
All known life forms process information on a molecular level. This kind of chemical information processing is known to be robust, self-organizing, adaptive, decentralized, asynch...
170
click to vote
ESOP
2005
Springer
16 years 3 days ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
156
click to vote
EUROSPI
2005
Springer
16 years 3 days ago
2005
Springer
Even if the application developers produce software in accordance with the customer requirements, they cannot guarantee that the software will behave in a safe way during the lifet...
176
click to vote
FOSSACS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. Nominal logic is a variant of first-order logic equipped with a “freshname quantifier” N and other features useful for reasoning about languages with bound names. I...