Sciweavers

859 search results - page 6 / 172
» Behaviour Analysis of Distributed Systems Using the Tracta A...
Sort
View
ESEC
1997
Springer
15 years 5 months ago
Verification of Liveness Properties Using Compositional Reachability Analysis
The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compo...
Shing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kra...
AOSE
2007
Springer
15 years 5 months ago
Refining Goal Models by Evaluating System Behaviour
Abstract. Nowadays, information systems have to perform in complex, heterogeneous environments, considering a variety of system users with different needs and preferences. Software...
Mirko Morandini, Loris Penserini, Anna Perini, Ang...
ATAL
2005
Springer
15 years 7 months ago
Development of Self-organising Emergent Applications with Simulation-Based Numerical Analysis
The goal of engineering self-organising emergent systems is to acquire a macroscopic system behaviour solely from autonomous local activity and interaction. Due to the non-determin...
Tom De Wolf, Tom Holvoet, Giovanni Samaey
ENTCS
2007
114views more  ENTCS 2007»
15 years 1 months ago
Parametric Performance Contracts for Software Components with Concurrent Behaviour
Performance prediction methods for component-based software systems aim at supporting design decisions of software architects during early development stages. With the increased a...
Jens Happe, Heiko Koziolek, Ralf Reussner
IADIS
2003
15 years 2 months ago
Simulation Based Approach to Evaluate a Distributed Search Engine
We present a simulation model used to evaluate a distributed search engine by modelling its performance. The model is designed to aid performance-driven evolution of the system. W...
Thomas Phelan, Ahmed Patel, Seamus O. Ciardhu&aacu...