2556 search results - page 225 / 512 » The Triconnected Abstraction of Process Models |
233
click to vote
FMICS
2010
Springer
15 years 7 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
162
click to vote
JMIV
2008
15 years 7 months ago
2008
Abstract In this paper an improved hybrid method for removing noise from low SNR molecular images is introduced. The method provides an improvement over the one suggested by Jian L...
192
click to vote
JEI
2010
15 years 5 months ago
2010
Abstract. Objective image and video quality measures play important roles in numerous image and video processing applications. In this work, we propose a new content-weighted metho...
208
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
iary models in order to bridge the semantic gap between high-level, abstract user requirements and low-level, concrete programs and to support a stepwise refinement process. This d...
193
click to vote
GLOBECOM
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—We propose a model-based channel access mechanism for cognitive radio-enabled secondary network, which opportunistically uses the channel of an unslotted primary network...