4250 search results - page 165 / 850 » Understanding the Requirements on Modelling Techniques |
CAV
2010
Springer
14 years 1 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
ICMI
2010
Springer
2010
Springer
Gesture and voice prototyping for early evaluations of social acceptability in multimodal interfaces
13 years 7 months ago
Interaction techniques that require users to adopt new behaviors mean that designers must take into account social acceptability and user experience otherwise the techniques may b...
ECMDAFA
2006
Springer
14 years 28 days ago
2006
Springer
Model-Driven Development requires model management languages and tools for supporting model operations such as editing, consistency checking, and transformation. At the core of the...
ETFA
2008
IEEE
14 years 3 months ago
2008
IEEE
This paper presents an application for the automatic generation of Bond Graph models. The basis for this automated creation is a modified plant model in the XML-format according t...
ISORC
2008
IEEE
14 years 3 months ago
2008
IEEE
Conditional real-time task models, which are generalizations of periodic, sporadic, and multi-frame tasks, represent real world applications more accurately. These models can be c...