6434 search results - page 230 / 1287 » Model Transformations with Reference Models |
146
click to vote
APLAS
2001
ACM
15 years 4 months ago
2001
ACM
Abstract. We propose a semantic and syntactic framework for modelling linearly used effects, by giving the monadic transforms of the computational lambda calculus (considered as th...
88
Voted
SAFECOMP
2009
Springer
15 years 7 months ago
2009
Springer
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
117
click to vote
ICSNC
2007
IEEE
15 years 6 months ago
2007
IEEE
RFID data are usually regarded as streaming data that are huge and change frequently because they are gathered continuously by numerous readers. RFID middleware filters the data a...
80
Voted
VTC
2007
IEEE
15 years 6 months ago
2007
IEEE
— We design a coding scheme for Costa’s dirty paper coding (DPC) [6] using a channel and a shaping code. We show that by transforming the channel noise distribution the DPC cha...
116
click to vote
VMV
2001
15 years 1 months ago
2001
We present a new approach for the coarse segmentation of tubular structures in 3D image data. Our algorithm, which requires only few initial values and minimal user interaction, c...