12194 search results - page 120 / 2439 » cans 2010 |
CARTOGRAPHICA
2010
13 years 7 months ago
2010
Many of the qualities that characterize geographic regions are vague and granular in their nature. In many quality-based classification and delineation systems for geographic regi...
ENTCS
2010
13 years 7 months ago
2010
We describe a true-concurrent approach for managing dependencies between distributed and concurrent coordinator components of a long-running transaction. In previous work we have ...
FAC
2010
13 years 7 months ago
2010
Separation logic allows simple proofs of concurrent algorithms which use blocking mechanisms such as semaphores. It can even deal with non-blocking algorithms. With the addition of...
FIRSTMONDAY
2010
13 years 7 months ago
2010
Online Social Networks (OSNs) have been the subject of a great deal of study in recent years. The majority of this study has used simple models, such as node-and-edge graphs, to d...
IJAOSE
2010
13 years 7 months ago
2010
An approach for handling the complex dynamics of a multi-agent system is based on distinguishing aggregation levels. The behaviour at a given aggregation level is specified by a se...