Sciweavers

12333 search results - page 579 / 2467
» System Level Modelling for Hardware Software Systems
Sort
View
WOSP
2005
ACM
16 years 19 days ago
Run-time performance management of the Siena publish/subscribe middleware
Recently, growing attention is focused on run-time management of Quality of Service (QoS) of complex software systems. In this context, self-adaptation of applications, based on r...
Mauro Caporuscio, Antinisca Di Marco, Paola Invera...
RTCSA
1998
IEEE
15 years 11 months ago
Partition Scheduling in APEX Runtime Environment for Embedded Avionics Software
Advances in the computer technology encouraged the avionics industry to replace the federated design of control units with an integrated suite of control modules that share the co...
Yann-Hang Lee, Daeyoung Kim, Mohamed F. Younis, Je...
EWSA
2004
Springer
16 years 14 days ago
Model Checking for Software Architectures
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
Radu Mateescu
COMPSAC
2005
IEEE
16 years 21 days ago
Reasoning About Software Architecture-Based Regression Testing Through a Case Study
Two main issues need to be covered when dealing with the dependability of component-based systems: quality assurance of reusable software components and quality assurance of the a...
Henry Muccini, Marcio S. Dias, Debra J. Richardson
ICPR
2002
IEEE
16 years 8 months ago
A Two Level Classifier Process for Audio Segmentation
We are dealing in this paper with audio segmentation. We propose a two level segmentation process that enables the audio tracks to be sampled in short sequences which are classifi...
Benjamin Maillard, Nicole Vincent, Sébastie...