5344 search results - page 380 / 1069 » Privacy-Preserving Set Operations |
189
click to vote
WCRE
2010
IEEE
15 years 3 months ago
2010
IEEE
—We present a semi-automated approach for the reverse engineering of UML sequence diagrams. Our approach starts with a set of execution traces that are automatically aligned in o...
146
click to vote
HYBRID
2010
Springer
15 years 2 months ago
2010
Springer
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design...
152
click to vote
SMI
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Many representation schemes have been proposed to deal with non-manifold and mixed dimensionalities objects. A majority of those models are based on incidence graphs and ...
145
click to vote
CORR
2009
Springer
15 years 2 months ago
2009
Springer
on of abstract strategies which is extensional in the sense that a strategy is defined explicitly of derivations of an abstract reduction system. We then move to a more intensional...
138
click to vote
CORR
2011
Springer
14 years 12 months ago
2011
Springer
This paper proposes a framework dedicated to the construction of what we call time elastic inner products allowing one to embed sets of non-uniformly sampled multivariate time ser...