1728 search results - page 172 / 346 » Formal Modeling of Process Migration |
125
click to vote
FMICS
2007
Springer
15 years 9 months ago
2007
Springer
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
109
click to vote
ICIP
2005
IEEE
16 years 4 months ago
2005
IEEE
We propose a very efficient numerical algorithm for minimizing certain curvature dependent functionals that appear in a variety of well known variational models of image processin...
100
click to vote
SFM
2009
Springer
15 years 9 months ago
2009
Springer
In this tutorial paper we present quantitative methods for analysing Web Services with the goal of understanding how they will perform under increased demand, or when asked to serv...
141
click to vote
ENTCS
2006
15 years 3 months ago
2006
High performance scientific computing software is of critical international importance as it supports scientific explorations and engineering. Software development in this area is...
118
click to vote
BMCBI
2008
15 years 3 months ago
2008
Background: Metabolic networks present a complex interconnected structure, whose understanding is in general a non-trivial task. Several formal approaches have been developed to s...