421 search results - page 22 / 85 » Abstract Interpretation of PEPA Models |
80
Voted
FSTTCS
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
84
Voted
TCS
2002
14 years 10 months ago
2002
We investigate the problem of producing symmetric tilings by programs in a uniform way. By this, we mean that the construction of a tiling should be parameterized by the geometric...
103
Voted
BIRTHDAY
2008
Springer
15 years 1 days ago
2008
Springer
Abstract. We develop an abstract operational model for configuration management under service-oriented computing. This semantics is based on a graph-based representation of the con...
85
Voted
ER
2008
Springer
15 years 21 days ago
2008
Springer
Abstract. In this paper we discuss about composing services from standard suites of applications for personal data management in mobile devices. We propose a data model and an inte...
IWSEC
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Authors extend the multi-parameter attacktree model to include inaccurate or estimated parameter values, which are modelled as probabilistic interval estimations. The pap...