4636 search results - page 321 / 928 » Modelling and Validation with VipTool |
134
click to vote
CHI
2003
ACM
16 years 4 months ago
2003
ACM
Cognitive modeling has evolved into a powerful tool for understanding and predicting user behavior. Higher-level modeling frameworks such as GOMS and its variants facilitate fast ...
136
click to vote
ACISICIS
2005
IEEE
15 years 10 months ago
2005
IEEE
: This paper presents a queuing analysis model of a PC-based software router supporting IPv6-IPv4 translation for residential gateway. The proposed models are M/G/1/K or MMPP-2/G/1...
153
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
211
Voted
LICS
2003
IEEE
15 years 9 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
128
click to vote
DL
1997
Springer
15 years 8 months ago
1997
Springer
In a digital library, there are many di erent interaction models between customers and information providers or merchants. Subscriptions, sessions, pay-per-view, shareware, and pr...