MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Real-Time Component-Based Systems." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

10 documents found, showing 1 through 10.

ATOM

Model Checking Real-time Component Based Systems with Blackbox Testing
by Dang Van Hung, Bui Vu Anh
…, Duration Automata, Automatic Verification, Real-time Systems. 1. Introduction The component-based system…
Add To MetaCart

Static Analysis of Real-Time Component-based Systems Configurations
by Candida Attanasio, Ida Attanasio, Flavio Corradini, Paola Inverardi — 1999 — Proc. of Coordination'99, Lecture Notes in Computer Science
…Static Analysis of Real-Time Component-based Systems Configurations ? Candida Attanasio, Flavio…
Cited by 1 (1 self) – Add To MetaCart

The use of Automata in Modelling and Building a Real-time Component Based System
by Trevor Jones, Lynne Blair
…1 The use of Automata in Modelling and Building a Real-time Component Based System Trevor Jones…
Add To MetaCart

Scheduling approaches for component-based realtime distributed applications
by Cássia Yuri Tatibana, Rômulo Silva De Oliveira, Carlos Montez — 2004 — In Workshop on Quality of Service for Application Servers, Florianpolis - SC, Outubro
… guarantee in real-time component-based systems through the implementation of an acceptance test in component…
Cited by 1 (1 self) – Add To MetaCart

Architecture, Design Methodology, and Component-Based Tools for a Real-Time Inspection System
by John Albert Horst — 2000 — IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2000
…Architecture, Design Methodology, and Component-Based Tools for a Real-Time Inspection System…
Cited by 2 (1 self) – Add To MetaCart

Realtime component-based systems
by Shengquan Wang, Sangig Rho, Riccardo Bettati, Wei Zhao — 2005 — In RTAS
…Toward Real-Time Component-based Systems Shengquan Wang, Sangig Rho, Riccardo Bettati, and Wei…
Cited by 5 (0 self) – Add To MetaCart

Software Technology
by Unu-Iist Report No, Dang Van Hung — 2004 — 2004 UNU-IIST, P.O. Box 3058, Macau 35
… compositional verication of component-based real-time systems. Dang Van Hung is a research fellow…
Add To MetaCart

Toward a formal model for component interfaces for real-time systems
by Dang Van Hung — 2005 — In Tiziana Margaria and Mieke Massink, editors, Proceedings of the 10th international workshop on Formal methods for industrial critical systems, pages 106 – 114
…-functional requirements, and the formal compositional verification of component-based real-time systems. Dang Van Hung…
Cited by 1 (1 self) – Add To MetaCart

An interface algebra for real-time components
by Thomas A. Henzinger — 2006 — In Proc. of IEEE Real-Time Technology and Applications Symposium
…, the increased interest in real-time component-based systems has recently resulted in first implementations…
Cited by 2 (0 self) – Add To MetaCart

Visualization of areas of interest in software architecture diagrams
by H. Byelas — ACM symposium on Software visualization, 2006
… provides design and development of embedded real-time, component-based systems, e.g. e.g. mobile phones…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 10.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB