114 search results - page 6 / 23 » Integrated Analysis from Abstract Stochastic Process Algebra... |
SCP
2000
13 years 7 months ago
2000
Obtaining performance models, like Markov chains and queueing networks, for systems of significant complexity and magnitude is a difficult task that is usually tackled using human...
CMSB
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. We present a formal analysis of amino acid replacement during mRNA translation. Building on an abstract stochastic model of arrival of tRNAs and their processing at the r...
IWFM
2000
13 years 8 months ago
2000
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
ARCS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. In order to support the dependability analysis of a system under design in an early phase of the design process, so-called fault tolerance libraries can be created that c...
SOFSEM
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Currently there are many service providers on the Web. Industry recognizes that from Web services many different business applications can be quickly created. A Web servi...