2935 search results - page 224 / 587 » An Integrated Approach to High Integrity Software Verificati... |
165
click to vote
EWSA
2004
Springer
16 years 13 hour ago
2004
Springer
The FABRIC project aims at the integration of middleware standards used in home networks to provide high quality streaming over a heterogeneous network. without introducing new sta...
184
click to vote
ECBS
2007
IEEE
16 years 29 days ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
170
click to vote
ECBS
2007
IEEE
16 years 29 days ago
2007
IEEE
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...
163
click to vote
ECRTS
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
151
click to vote
IJOE
2008
15 years 6 months ago
2008
With the ongoing internationalization of virtual laboratories, the integration of such infrastructures becomes more important. The meanwhile commonly accepted 'glue' for...