4636 search results - page 235 / 928 » Modelling and Validation with VipTool |
ICECCS
2005
IEEE
14 years 1 months ago
2005
IEEE
For Model Driven Development approaches to succeed, there is a need for model validation techniques. This paper presents an approach to testing designs described by UML class diag...
ICW
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— In this paper, we present an analytical study targeted at statistically capturing the loss behavior of a RED queue. We utilize a finite-state Markov chain model. Start...
APGV
2004
ACM
14 years 1 months ago
2004
ACM
One of the most salient haptic characteristics of objects is surface texture. Psychophysics studies have identified several key factors that affect perception of roughness during...
ADC
1999
Springer
14 years 14 days ago
1999
Springer
We introduce a cost model for the M-tree access method [Ciaccia et al., 1997] which provides estimates of CPU (distance computations) and I/O costs for the execution of similarity ...
ICSE
2000
IEEE-ACM
13 years 11 months ago
2000
IEEE-ACM
Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and ...