2162 search results - page 408 / 433 » Automated Reasoning on Feature Models |
175
Voted
DLS
2009
15 years 1 months ago
2009
Software transactional memory (STM) is a promising approach for coordinating concurrent threads, for which many implementation strategies are currently being researched. Although ...
128
Voted
ICOODB
2009
15 years 1 months ago
2009
ConceptBase is a deductive object-oriented database system intended for the management of metadata. A distinguishing feature of the Telos language underlying ConceptBase is the abi...
185
Voted
DASFAA
2011
IEEE
15 years 1 months ago
2011
IEEE
\Identity disclosure" problem on publishing social network data has gained intensive focus from academia. Existing k-anonymization algorithms on social network may result in n...
140
Voted
ATAL
2011
Springer
14 years 3 months ago
2011
Springer
We present a novel approach to interaction-oriented programming based on declaratively representing communication protocols. Our approach exhibits the following distinguishing fea...
218
Voted
GIS
2007
ACM
16 years 4 months ago
2007
ACM
We consider the problem of extracting a river network and a watershed hierarchy from a terrain given as a set of irregularly spaced points. We describe TerraStream, a "pipeli...