4636 search results - page 240 / 928 » Modelling and Validation with VipTool |
SIGCPR
2006
ACM
14 years 2 months ago
2006
ACM
This research seeks to validate a comprehensive model of quality in the context of e-business systems. It also extends the UTAUT model with e-quality, trust, and satisfaction cons...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
— Typical embedded hardware/software systems are implemented using a combination of C and an HDL such as Verilog. While each is well-behaved in isolation, combining the two gives...
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
A key phenomenon in the dynamics of genetic networks is the cell cycle. In the study of this phenomenon, an important task is to understand how many processes, acting on different...
UM
2005
Springer
14 years 1 months ago
2005
Springer
This paper presents an evaluation study that measures the effect of modifying feedback generality in an Intelligent Tutoring System (ITS) based on Student Models. A taxonomy of the...
ISER
2004
Springer
14 years 1 months ago
2004
Springer
This paper presents the design of a selective-actuation flexure parallel mechanism that can provide three independent translational motions. The mechanism can be used as an ultra p...