1403 search results - page 18 / 281 » Quantitative Interprocedural Analysis |
SFM
2009
Springer
14 years 3 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...
ENTCS
2006
13 years 8 months ago
2006
We present a semantics-based technique for modeling and analysing resource usage behaviour of programs written in a simple object oriented language like Java e code. The approach ...
IJSEKE
2000
13 years 8 months ago
2000
Software architectures are often claimed to be robust. However, there is no explicit and concrete definition of software architecture robustness. This paper gives a definition of ...
ISBI
2011
IEEE
13 years 15 days ago
2011
IEEE
Myocardial tagging in magnetic resonance imaging (MRI) has shown great potential for noninvasive measurement of the motion of a beating heart. A critical issue in exploiting this ...
SAC
2005
ACM
14 years 2 months ago
2005
ACM
KLAIM is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...