119 search results - page 23 / 24 » A Verification System for Distributed Objects with Asynchron... |
SIGMOD
2008
ACM
14 years 6 months ago
2008
ACM
Graphs are widely used to model real world objects and their relationships, and large graph datasets are common in many application domains. To understand the underlying character...
IPPS
2008
IEEE
14 years 20 days ago
2008
IEEE
A software system interacts with third-party libraries through various APIs. Insufficient documentation and constant refactorings of third-party libraries make API library reuse ...
CORR
2010
Springer
13 years 3 months ago
2010
Springer
This paper asks a new question: how can we control the collective behavior of self-organized multi-agent systems? We try to answer the question by proposing a new notion called `So...
DSN
2003
IEEE
13 years 11 months ago
2003
IEEE
Systems that are formed by massively distributed mobile resources, such as satellite constellations, often provide mission-critical functions. However, many existing quality-of-se...
CIKM
2009
Springer
14 years 25 days ago
2009
Springer
We propose a partitioning scheme for similarity search indexes that is called Maximal Metric Margin Partitioning (MMMP). MMMP divides the data on the basis of its distribution pat...