36 search results - page 2 / 8 » TAPAs: A Tool for the Analysis of Process Algebras |
TIME
2005
IEEE
13 years 11 months ago
2005
IEEE
The language of timed µCRL is an extension of an ACP-style process algebra-based language µCRL with time-related features. In this paper we describe this language and its equati...
ICASSP
2008
IEEE
14 years 14 days ago
2008
IEEE
Dimensionality reduction (DR) is a major issue to improve the efficiency of the classifiers in Hyperspectral images (HSI). Recently, the independent component analysis (ICA) app...
ECAI
2000
Springer
13 years 10 months ago
2000
Springer
In this paper we propose the use of process algebras as powerful frameworks for model-based diagnosis. In fact, they provide machinery and tools for building component-oriented mod...
QEST
2007
IEEE
14 years 9 days ago
2007
IEEE
We present a GUI-based tool supporting the stochastic process algebra PEPA with modules for performance evaluation through Markovian steady-state analysis, fluid flow analysis, ...
ECSA
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...