733 search results - page 63 / 147 » Embedded Architecture Description Language |
159
Voted
CG
2004
Springer
15 years 2 months ago
2004
Springer
The ongoing convergence between TV and the Internet leads traditional broadcast companies to publish their content on the Internet. Interactive digital TV platforms, which support...
118
click to vote
COOPIS
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper we propose a mediator architecture for the querying and integration of Web-accessible XML data sources. Our contributions are (i) the definition of a simple but expr...
109
Voted
ICSE
1994
IEEE-ACM
15 years 6 months ago
1994
IEEE-ACM
While software architecture has become an increasingly important research topic in recent years, insufficient attention has been paid to methods for evaluation of these architectu...
94
Voted
DAC
2005
ACM
16 years 3 months ago
2005
ACM
Dual-execution/checkpointing based transient error tolerance techniques have been widely used in the high-end mission critical systems. These techniques, however, are not very att...
138
Voted
ISORC
2005
IEEE
15 years 8 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...