9067 search results - page 1663 / 1814 » Adaptive Model Checking |
200
click to vote
BPM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The coordination of complex process structures is a fundamental task for enterprises, such as in the automotive industry. Usually, such process structures consist of seve...
164
click to vote
DSN
2004
IEEE
15 years 10 months ago
2004
IEEE
Aggregation refers to a set of functions that provide global information about a distributed system. These functions operate on numeric values distributed over the system and can ...
174
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
We propose to adapt the newly emerged cache-oblivious model to relational query processing. Our goal is to automatically achieve an overall performance comparable to that of fine-...
164
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we explore the concept of a "library of brain images", which implies not only a repository of brain images, but also efficient search and retrieval mechan...
188
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
In an uncertain database, each data item is modeled as a range associated with a probability density function. Previous works for this kind of data have focussed on simple queries...