298 search results - page 26 / 60 » UPPAAL - Now, Next, and Future |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
We analyze the role that popularity and novelty play in attracting the attention of users to dynamic websites. We do so by determining the performance of three different strategie...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
The immune system provides an ideal metaphor for anomaly detection in general and computer security in particular. Based on this idea, artificial immune systems have been used for...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
We consider the discrete, time-varying broadcast channel with memory, under the assumption that the channel states belong to a set of nite cardinality. We begin with the de nition...
CG
2004
Springer
13 years 7 months ago
2004
Springer
We provide a formal proof of equivalence between the class of fractals created by Recursive Turtle Programs (RTP) and Iterated Affine Transformations (IAT). We begin by reviewing ...
HCI
2011
12 years 11 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...