4636 search results - page 2 / 928 » Modelling and Validation with VipTool |
PE
2010
Springer
13 years 1 months ago
2010
Springer
In today's Internet, a large part of the traffic is carried using the TCP transport protocol. Characterization of the variations of TCP traffic is thus a major challenge, bot...
HCI
2011
12 years 9 months ago
2011
Validation is critically important when human performance models are used to predict the effect of future system designs on human performance. A model of flight deck operations was...
EUROPKI
2009
Springer
13 years 4 months ago
2009
Springer
Abstract. An electronic signature is considered to be valid, if the signature is mathematically correct and if the signer's public key is classified as authentic. While the fi...
ICST
2009
IEEE
13 years 4 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
JUCS
2010
13 years 1 months ago
2010
: Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information...