114 search results - page 7 / 23 » Integrated Analysis from Abstract Stochastic Process Algebra... |
WOSP
2004
ACM
14 years 26 days ago
2004
ACM
In this paper we describe our experience in performance analysis of the software architecture of the NICE case study which is responsible for providing several secure communicatio...
WOSP
2004
ACM
14 years 26 days ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
QEST
2009
IEEE
14 years 2 months ago
2009
IEEE
—Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does no...
CAISE
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Various approaches for services development in SOA propose business processes as a starting point. However, there is a lack of systematic methods for services identificat...
MATES
2004
Springer
14 years 25 days ago
2004
Springer
Abstract. In this paper, an integrated approach for the modeling and the validation through simulation of multi-agent systems is proposed. The approach centers on the instantiation...