1022 search results - page 120 / 205 » The Modelling of Embedded Systems Using HASoC |
ECRTS
2005
IEEE
14 years 2 months ago
2005
IEEE
Graphical languages of various sorts are increasingly used for the specification and the design of high-integrity real-time systems. Their coverage however does not extend with a...
ASIASIM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Recently, flash memory is widely used in embedded applications since it has strong points: non-volatility, fast access speed, shock resistance, and low power consumption...
CORR
2007
Springer
13 years 9 months ago
2007
Springer
Data mining is a useful decision support technique that can be used to discover production rules in warehouses or corporate data. Data mining research has made much effort to appl...
ISMAR
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper we present a new vision-based approach for transmitting virtual models for Augmented Reality (AR). A two dimensional representation of the virtual models is embedded...
DSN
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper describes an experiment in formal specification and validation performed in the context of an industrial joint project. The project involved an Italian company working...