702 search results - page 115 / 141 » Requirements for client server performance modeling |
MOBIHOC
2009
ACM
16 years 2 months ago
2009
ACM
In this paper, we consider a non-saturated IEEE 802.11 based wireless network. We use a three-way fixed point to model the node behavior with Bernoulli packet arrivals and determi...
133
click to vote
SIGIR
2011
ACM
14 years 4 months ago
2011
ACM
The situation in which a choice is made is an important information for recommender systems. Context-aware recommenders take this information into account to make predictions. So ...
120
click to vote
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
114
click to vote
CIKM
2007
Springer
15 years 8 months ago
2007
Springer
Traditional adaptive filtering systems learn the user’s interests in a rather simple way – words from relevant documents are favored in the query model, while words from irre...
229
click to vote
POPL
2003
ACM
16 years 2 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...