4745 search results - page 158 / 949 » Discretization: An Enabling Technique |
165
click to vote
SE
2010
15 years 7 months ago
2010
: In this paper we propose model-driven techniques to migrate legacy systems into Service-Oriented Architectures (SOA). The proposal explores how querying and transformation techni...
142
click to vote
MP
2010
15 years 4 months ago
2010
In this paper, we develop a convexification tool that enables the construction of convex hulls for orthogonal disjunctive sets using convex extensions and disjunctive programming...
163
click to vote
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
Any model-based evaluation of the dependability of a system requires validation and verification to justify that its results are meaningful. Modern modeling frameworks enable us ...
134
click to vote
MHCI
2009
Springer
16 years 1 months ago
2009
Springer
This paper proposes a novel easy-to-use camera-based tangible controller for cellular phone applications. It realizes continuous analog input by tracking a marker at the top end o...
177
click to vote
ISMVL
2008
IEEE
16 years 25 days ago
2008
IEEE
The mathematical property of inheritance for certain unary fixed point operations has recently been exploited to enable the efficient formulation of arithmetic algorithms and circ...