Sciweavers

5189 search results - page 686 / 1038
» Modeling architectural patterns using architectural primitiv...
Sort
View
TAICPART
2006
IEEE
134views Education» more  TAICPART 2006»
16 years 1 months ago
Integration Testing of Components Guided by Incremental State Machine Learning
The design of complex systems, e.g., telecom services, is nowadays usually based on the integration of components (COTS), loosely coupled in distributed architectures. When compon...
Keqin Li 0002, Roland Groz, Muzammil Shahbaz
DATE
2005
IEEE
144views Hardware» more  DATE 2005»
16 years 1 months ago
Context Sensitive Performance Analysis of Automotive Applications
Accurate timing analysis is key to efficient embedded system synthesis and integration. While industrial control software systems are developed using graphical models, such as Ma...
Jan Staschulat, Rolf Ernst, Andreas Schulze, Fabia...
FAABS
2004
Springer
16 years 25 days ago
Towards Timed Automata and Multi-agent Systems
Abstract. The design of reactive systems must comply with logical correctness (the system does what it is supposed to do) and timeliness (the system has to satisfy a set of tempora...
Guillaume Hutzler, Hanna Klaudel, D. Yue Wang
MMB
2004
Springer
124views Communications» more  MMB 2004»
16 years 24 days ago
A General Framework for Network Survivability Quantification
In this paper, we propose a general survivability quantification framework which is applicable to a wide range of system architectures, applications, failure/recovery behaviors, ...
Yun Liu, Kishor S. Trivedi
WORDS
2003
IEEE
16 years 21 days ago
Event-Driven Support of Real-Time Sentient Objects
The emergence of applications operating independently of direct human control is inevitable. Research on high-level models for this class of applications— e.g. on autonomous age...
Paulo Veríssimo, Antonio Casimiro