4636 search results - page 180 / 928 » Modelling and Validation with VipTool |
FUIN
2008
13 years 8 months ago
2008
Reachability analysis is one of the most successful methods used in design and validation of protocols for classical communication, whereas the predicate/transition-net formalism i...
BMCBI
2002
13 years 7 months ago
2002
Background: Robustness of mathematical models of biochemical networks is important for validation purposes and can be used as a means of selecting between different competing mode...
IFIP
2007
Springer
14 years 2 months ago
2007
Springer
The paper describes a conceptual framework for model-driven development based on concise application of UML and modeling tool functionality. A case study of modeling software for l...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
The future Web can be imagined as a life network consisting of resource nodes and semantic relationship links between them. Any node has a life span from birth - adding it to the ...
CHI
2004
ACM
14 years 8 months ago
2004
ACM
This research takes an analyst-centred approach to improving Usability Inspection Methods. The research approach adopts novel instruments and methods, especially manipulation and ...