FTIR
2010
14 years 11 months ago
2010
FTCIT
2010
14 years 11 months ago
2010
FTCGV
2010
14 years 11 months ago
2010
201
click to vote
FSTTCS
2010
Springer
14 years 11 months ago
2010
Springer
We study (collapsible) higher-order pushdown systems -- theoretically robust and well-studied models of higher-order programs -- along with their natural subclass called (collapsi...
140
click to vote
FSTTCS
2010
Springer
14 years 11 months ago
2010
Springer
A spanner of a graph is a sparse subgraph that approximately preserves distances in the original graph. More precisely, a subgraph H = (V, EH ) is a k-spanner of a graph G = (V, E...
100
Voted
ESWA
2010
14 years 11 months ago
2010
1 In this study, a novel robust clustering algorithm, robust interval competitive agglomeration (RICA) clustering algorithm, is proposed to overcome the problems of the outliers, t...
131
click to vote
ESWA
2010
14 years 11 months ago
2010
The Cell Formation Problem is a crucial component of a cell production design in a manufacturing system. This problem consists of a set of product parts to be manufactured in a gr...
135
click to vote
ENTCS
2010
14 years 11 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...
136
click to vote
ENTCS
2010
14 years 11 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 ...