3987 search results - page 111 / 798 » Ontology-Based Model Transformation |
121
click to vote
ISCAS
2008
IEEE
15 years 10 months ago
2008
IEEE
— This paper presents a robust watermarking method for curves that uses informed-detection. To embed watermarks, the presented algorithm parameterizes a curve using the B-spline ...
180
Voted
QEST
2010
IEEE
15 years 1 months ago
2010
IEEE
We consider Markov Decision Processes (MDPs) as transformers on probability distributions, where with respect to a scheduler that resolves nondeterminism, the MDP can be seen as ex...
144
Voted
TCAD
2008
15 years 3 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
128
Voted
GPCE
2009
Springer
15 years 8 months ago
2009
Springer
The indirection of object accesses is a common theme for target domains as diverse as transparent distribution, persistence, and program instrumentation. Virtualizing accesses to ...
112
Voted
ACSD
2010
IEEE
15 years 1 months ago
2010
IEEE
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...