752 search results - page 92 / 151 » Abstract models for dialogue protocols |
122
Voted
DSVIS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
129
Voted
CONTEXT
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. A key challenge in information retrieval is the use of contextual evidence within ad-hoc retrieval. Our contribution is particularly based on the belief that contextual r...
124
Voted
ADHOC
2010
15 years 3 months ago
2010
Abstract--Interference plays a complex and often defining role in the performance of wireless networks, especially in multi-hop scenarios. In the presence of interference, Carrier ...
135
Voted
POST
2012
13 years 11 months ago
2012
Abstract. Several works have utilized network models to study peerto-peer botnets, particularly in evaluating the effectiveness of strategies aimed at taking down a botnet. We obs...
114
Voted
IDEAL
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The work presented in this paper shows the capability of a connectionist model, based on a statistical technique called Exploratory Projection Pursuit (EPP), to identify ...