4636 search results - page 23 / 928 » Modelling and Validation with VipTool |
WSC
2000
13 years 9 months ago
2000
Simulation is used in the design process of dynamic systems. The results of simulation are employed for validating a model, and they are helpful for the improvement of the design ...
ICRE
1998
IEEE
13 years 11 months ago
1998
IEEE
Model checking is shown to be an effective tool in validating the behavior of a fault tolerant embedded spacecraft controller. The case study presented here at by judiciously abst...
LPNMR
2009
Springer
14 years 2 months ago
2009
Springer
We apply ASP to model validation in a CASE setting, where models are UML class diagrams and object diagrams are called “snapshots”. We present the design and implementation of ...
CAISE
2004
Springer
14 years 29 days ago
2004
Springer
Business process modeling and design, which has attracted much attention in recent years, emphasizes mainly graphical representation, usually without an underlying theory. The lack...
CHI
2007
ACM
14 years 8 months ago
2007
ACM
MacKenzie and Soukoreff have previously introduced a Fitts' Law?based performance model of expert two?thumb text entry on mini?QWERTY keyboards [4]. In this work we validate ...