4890 search results - page 506 / 978 » From system specifications to component behavioral models |
190
click to vote
BIBM
2007
IEEE
16 years 1 months ago
2007
IEEE
Health care data from patients in the Arizona Health Care Cost Containment System, Arizona’s Medicaid program, provides a unique opportunity to exploit state-of-the-art data pro...
206
click to vote
AMAST
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
227
click to vote
AAAI
2004
15 years 8 months ago
2004
We describe SCoT, a Spoken Conversational Tutor, which has been implemented in order to investigate the advantages of natural language in tutoring, especially spoken language. SCo...
176
click to vote
VAMOS
2008
Springer
15 years 8 months ago
2008
Springer
With current trends towards moving variability from hardware to software, and given the increasing desire to postpone design decisions as much as is economically feasible, managin...
222
click to vote
MBEES
2007
15 years 8 months ago
2007
: The development of embedded systems is a challenging task because of the distributed, reactive and real-time nature of such systems. Distribution of embedded components across bu...