6014 search results - page 893 / 1203 » Parametric Analysis of Computer Systems |
145
Voted
ENTER
2010
Springer
15 years 11 months ago
2010
Springer
Search engine marketing requires a substantive understanding of the dynamics of the search system in the travel information search context. The goal of this study is to explore th...
140
Voted
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
— Fault injection has become a very classical method to determine the dependability of an integrated system with respect to soft errors. Due to the huge number of possible error ...
136
click to vote
HAPTICS
2009
IEEE
15 years 11 months ago
2009
IEEE
In order to enable intuitive physical interaction with autonomous robots as well as in collaborative multi-user virtual reality and teleoperation systems a deep understanding of h...
138
click to vote
QEST
2009
IEEE
15 years 11 months ago
2009
IEEE
The Markov Reward Model Checker (MRMC) is a software tool for verifying properties over probabilistic models. It supports PCTL and CSL model checking, and their reward extensions....
120
click to vote
P2P
2008
IEEE
15 years 11 months ago
2008
IEEE
In this demonstration paper we present MAPS, a novel system that combines approximate information retrieval and filtering functionality in a peer-to-peer setting. In MAPS, a user...