6650 search results - page 342 / 1330 » models 2009 |
214
click to vote
FORTE
2009
15 years 4 months ago
2009
We present a strategy for model-checking the correctness of service composition. We do so in the context of SRML, a formal modelling framework for service-oriented computing being ...
177
click to vote
ICCAD
2009
IEEE
15 years 4 months ago
2009
IEEE
Phase-change random access memory (PCRAM) is an emerging memory technology with attractive features, such as fast read access, high density, and non-volatility. Because of these a...
187
click to vote
ICCBR
2009
Springer
15 years 4 months ago
2009
Springer
Studying examples of expert case-based adaptation could advance computational modeling but only if the examples can be succinctly represented and reliably interpreted. Supreme Cour...
205
click to vote
ICDE
2009
IEEE
15 years 4 months ago
2009
IEEE
Data provenance is information that describes how a given data item was produced. The provenance includes source and intermediate data as well as the transformations involved in pr...
153
click to vote
ICIP
2009
IEEE
15 years 4 months ago
2009
IEEE
For motion imaging the perceived smoothness of a sequence highly depends on motion blur. The exposure for each frame is started and ended with a shutter mechanism. There are diffe...