113 search results - page 13 / 23 » Compositional Abstraction of PEPA Models for Transient Analy... |
CONCUR
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
110
click to vote
ISF
2007
14 years 11 months ago
2007
This paper presents a conceptual framework for service modelling and refinement, called the COSMO (COnceptual Service MOdelling) framework. This framework provides concepts to mode...
74
Voted
FDL
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract. With this paper we intend to present a brief overview of the current means to describe architecture in different standards. We cover AADL as an example of Architecture De...
110
click to vote
CMSB
2007
Springer
15 years 5 months ago
2007
Springer
We give a description of a Petri net-based framework for modelling and analysing biochemical pathways, which unifies the qualitative, stochastic and continuous paradigms. Each per...
108
click to vote
CDC
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— In this paper the robust behavior in some piecewise affine systems with minimally spaced transition times is studied. Such systems are found e.g. in satellites and sat...