5525 search results - page 309 / 1105 » Verification of Model Transformations |
165
click to vote
JCIT
2008
15 years 6 months ago
2008
Two simple but practical production systems are modeled using Petri Nets. Petri-net models are very useful in finding semantic errors like generalization error and missing conditi...
152
click to vote
ECOOP
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Our research group has analyzed many industrial, frameworkbased applications. In these applications, simple functionality often requires excessive runtime activity. It is...
218
Voted
SMI
2010
IEEE
15 years 4 months ago
2010
IEEE
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...
174
click to vote
ICIP
2002
IEEE
16 years 8 months ago
2002
IEEE
This paper studies a progressive image transmission technique over waveform channels. The Channel Optimized Vector Quantization codec (COVQ) [1] is applied to the image wavelet co...
168
click to vote
APCCAS
2006
IEEE
16 years 24 days ago
2006
IEEE
Abstract— In this paper, we propose a novel extension of BusInvert coding to handle 4-level pulse amplitude modulated (PAM-4) signals. A generalized mathematical model for energy...