4636 search results - page 142 / 928 » Modelling and Validation with VipTool |
ICSE
2005
IEEE-ACM
14 years 8 months ago
2005
IEEE-ACM
It is widely recognized that in order to make performance validation an integrated activity along the software lifecycle it is crucial to be supported from automated approaches. E...
CMSB
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challengi...
APCCM
2010
13 years 9 months ago
2010
The evolution of service-oriented architectures toward market places for business services in the Internet, raises the need for rich service descriptions with respect to service p...
ER
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
ISCAS
1999
IEEE
14 years 6 days ago
1999
IEEE
A SPICE model for the microwave and RF PIN switching diode is presented. The model simulates the important Iregion charge storage phenomenon and its effect on the PIN diode impeda...