4636 search results - page 136 / 928 » Modelling and Validation with VipTool |
ICRA
2000
IEEE
14 years 8 days ago
2000
IEEE
In this paper we illustrate a methodology for modeling and analyzing flexible feeders using generalized semi-Markov process (GSMP) models. Working through the simple case consisti...
ISORC
2005
IEEE
14 years 1 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
RTCSA
2005
IEEE
14 years 1 months ago
2005
IEEE
The run-time power consumption model for multimedia application routines in an embedded system is developed in this work. A wide range of benchmarks for these routines such as ima...
VLDB
1995
ACM
13 years 11 months ago
1995
ACM
Query processing is one of the most, critical issues in Object-Oriented DBMSs. Extensible opt,imizers with efficient, search strategies require a cost model to select the most eff...
FORTE
2004
13 years 9 months ago
2004
Software Model-Checking and Testing are some of the most used techniques to analyze software systems and identify hidden faults. While software model-checking allows for an exhaust...