10159 search results - page 406 / 2032 » System Design Validation Using Formal Models |
145
click to vote
BIRTHDAY
2008
Springer
15 years 6 months ago
2008
Springer
Embedded systems are electronic devices that function in the context of a physical environment, by sensing and reacting to a set of stimuli. To simplify the design of embedded syst...
122
click to vote
ADAEUROPE
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. This paper describes a laboratory equipped for the teaching of realtime systems. The laboratory has been built around a Digital Model Railroad Platform and it allows the ...
120
click to vote
DIGRA
2005
Springer
15 years 10 months ago
2005
Springer
Challenge and conflict are elements that all game designers strive to engineer into their games. Research shows that challenge is what drives a high proportion of games players ye...
159
click to vote
JOT
2007
15 years 4 months ago
2007
Demand for quality software has undergone with rapid growth during the last few years. This is leading to an increase in the development of metrics for measuring the properties of...
153
click to vote
SBRN
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we investigate alternative designs of a Radial Basis Function Network acting as classifier in a face recognition system. Input to the RBF network is the projections ...