767 search results - page 25 / 154 » Model-Based Development of Distributed Embedded Real-Time Sy... |
117
click to vote
ECBS
2010
IEEE
15 years 7 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
108
click to vote
ECRTS
2004
IEEE
15 years 4 months ago
2004
IEEE
The phenomenal growth of the world-wide web has made it the most popular Internet application today. Web caching and content distribution services have been recognized as valuable...
115
click to vote
ECRTS
2004
IEEE
15 years 4 months ago
2004
IEEE
Many real-time systems need to maintain fresh views which are derived from shared data that are distributed among multiple sites. When a base data item changes, all derived views ...
104
Voted
RTAS
2005
IEEE
15 years 6 months ago
2005
IEEE
Component technology has become a central focus of software engineering in research and development. Reusability is a key factor that contributes to its success. The reuse of comp...
DATE
2003
IEEE
15 years 5 months ago
2003
IEEE
The model-based methodology has proven to be effective for fast and low-cost development of embedded software. In the model-based development process, transforming a software stru...