22114 search results - page 291 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
169
click to vote
SWAT
2000
Springer
15 years 10 months ago
2000
Springer
We define external memory (or I/O) models which capture space complexity and develop a general technique for deriving I/O-space trade-offs in these models from internal memory mode...
221
click to vote
IEEESCC
2006
IEEE
16 years 1 months ago
2006
IEEE
Service composition aims to provide an efficient and accurate model of a service, based on which the global service oriented architecture (SOA) can be realized, allowing value add...
184
click to vote
ICIP
2006
IEEE
16 years 9 months ago
2006
IEEE
In this paper we present a new super resolution Bayesian method for pansharpening of multispectral images which: a) incorporates prior knowledge on the expected characteristics of...
191
click to vote
CAV
2005
Springer
16 years 23 days ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
211
click to vote
ENTCS
2002
15 years 7 months ago
2002
When different mathematical models are used for software analysis and development it is important to understand their relationships. When the models are truly mathematical, and wh...