1776 search results - page 151 / 356 » A Visual Modeling Environment for Embedded Component Systems |
114
Voted
KESAMSTA
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We describe and model a new aspect in the design of distributed information systems. We build upon a previously described problem on the microlevel, which asks how quickl...
183
Voted
CMC
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Intelligent MultiMedia (IntelliMedia) focuses on the computer processing and understanding of signal and symbol input from at least speech, text and visual images in term...
121
click to vote
IFIP
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. In this article, we present a flexible simulation environment for embedded real-time software refinement by a mixed level cosimulation. For this, ne the native speed of a...
103
click to vote
HASE
1997
IEEE
15 years 6 months ago
1997
IEEE
The testtng and valadatzon of formal speczficatzons of hzgh-assurance real-tzme systems repiizres a n ertenszble szniulatzon enrwonment wzth support for users to generate events, ...
114
Voted
MODELS
2009
Springer
15 years 9 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...