3719 search results - page 208 / 744 » RACER System Description |
176
click to vote
EWSA
2005
Springer
16 years 2 days ago
2005
Springer
We propose a meta-framework called ‘Plastik’ which i) supports the specification and creation of runtime component-framework-based software systems and ii) facilitates and mana...
149
click to vote
IEAAIE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. In this paper we present a real automatic meteorological information system that, not only provides friendly voice access to realtime data coming from automatic sensors, ...
190
click to vote
ICN
2001
Springer
15 years 11 months ago
2001
Springer
In this paper, a system-level framework is proposed for 3-D graphics streaming. The proposed architecture is scalable with respect to the variations in both bandwidth and channel e...
187
click to vote
APSEC
1999
IEEE
15 years 11 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
185
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
We present in this paper a novel control synthesis technique for system-level specifications that are better described as a set of concurrent synchronous descriptions, their synch...