Sciweavers

963 search results - page 22 / 193
» Modeling and analysis of real -time systems with mutex compo...
Sort
View
FTDCS
1997
IEEE
15 years 1 months ago
Analysing the behaviour of distributed software architectures: a case study
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou
ICCBSS
2005
Springer
15 years 3 months ago
Using Goals and Quality Models to Support the Matching Analysis During COTS Selection
The selection process is a crucial activity of the development of COTS-based systems. A key step of the evaluation of COTS components carried out during selection is the matching b...
Carina Alves, Xavier Franch, Juan Pablo Carvallo, ...
PVLDB
2010
82views more  PVLDB 2010»
14 years 8 months ago
SECRET: A Model for Analysis of the Execution Semantics of Stream Processing Systems
There are many academic and commercial stream processing engines (SPEs) today, each of them with its own execution semantics. This variation may lead to seemingly inexplicable diļ...
Irina Botan, Roozbeh Derakhshan, Nihal Dindar, Lau...
JMIV
2006
100views more  JMIV 2006»
14 years 9 months ago
Mixed-State Auto-Models and Motion Texture Modeling
In image motion analysis as well as for several application fields like daily pluviometry data modeling, observations contain two components of different nature. A first part is ma...
Patrick Bouthemy, C. Hardouin, Gwenaëlle Piri...
66
Voted
ENTCS
2007
101views more  ENTCS 2007»
14 years 9 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...