28888 search results - page 5576 / 5778 » Computability and complexity in analysis |
200
click to vote
LOPSTR
2005
Springer
16 years 1 days ago
2005
Springer
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
173
click to vote
OTM
2005
Springer
16 years 1 days ago
2005
Springer
We propose to enhance a schema integration process with a validation phase employing logic-based data models. In our methodology, we validate the source schemas against the data mo...
153
click to vote
SPIRE
2005
Springer
16 years 17 hour ago
2005
Springer
Retrieval systems rank documents according to their retrieval status values (RSV) if these are monotonously increasing with the probability of relevance of documents. In this work,...
176
click to vote
VIZSEC
2005
Springer
16 years 16 hour ago
2005
Springer
While efficient graph-based representations have been developed for modeling combinations of low-level network attacks, relatively little attention has been paid to effective tech...
188
click to vote
ACMICEC
2004
ACM
15 years 12 months ago
2004
ACM
This paper presents a loosely coupled service-composition paradigm. This paradigm employs a distributed data flow that differs markedly from centralized information flow adopted b...