1776 search results - page 14 / 356 » A Visual Modeling Environment for Embedded Component Systems |
ADAEUROPE
1997
Springer
13 years 12 months ago
1997
Springer
This paper introduces the current developments of the SPIF (Syst`eme de Prototypage `a Implantation rapide et Faible coˆut) project. The goal of SPIF is to provide a low cost envi...
ISORC
2005
IEEE
14 years 1 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
TVCG
2008
13 years 7 months ago
2008
Interactive steering with visualization has been a common goal of the visualization research community for twenty years, but it is rarely ever realized in practice. In this paper w...
ACMSE
2004
ACM
14 years 1 months ago
2004
ACM
Although component-based software development has widespread acceptance in the enterprise business and desktop application domains, developers of distributed, real-time and embedd...
CBSE
2011
Springer
12 years 7 months ago
2011
Springer
Orphan requests are a significant problem for multi-tier distributed systems since they adversely impact system correctness by violating the exactly-once semantics of application...