6434 search results - page 806 / 1287 » Model Transformations with Reference Models |
258
click to vote
IWCF
2009
Springer
16 years 29 days ago
2009
Springer
The recent popularity of research on topics of multimedia forensics justifies reflections on the definition of the field. This paper devises an ontology that structures forensi...
153
click to vote
LFCS
2009
Springer
16 years 29 days ago
2009
Springer
We give a sound and complete labeled natural deduction system for an interesting fragment of CTL∗ , namely the until-free version of BCTL∗ . The logic BCTL∗ is obtained by re...
176
click to vote
WOWMOM
2009
ACM
16 years 28 days ago
2009
ACM
Random Walks (RWs) have been considered for information dissemination in large scale, dynamic and unstructured environments, as they are scalable, robust to topology changes and d...
118
click to vote
CDC
2008
IEEE
16 years 27 days ago
2008
IEEE
—Approximate Dynamic Inversion (ADI) has been established as a method to control minimum-phase, nonaffine-incontrol systems. Previous results have shown that for single-input no...
159
click to vote
DFT
2008
IEEE
16 years 27 days ago
2008
IEEE
Error detection/correction techniques have been advocated for algorithmic self-assembly. Under rectilinear growth, it requires only two additional tiles, generally referred to as ...