3082 search results - page 367 / 617 » Deviation Analysis: A New Use of Model Checking |
176
click to vote
APSEC
2007
IEEE
16 years 26 days ago
2007
IEEE
Analyzing accidents is a vital exercise in the development of safety-critical software systems to prevent past accidents from reoccurring in the future. Current practices such as ...
153
click to vote
ICC
2007
IEEE
16 years 26 days ago
2007
IEEE
— Sharing of 3G network infrastructure among operators offers an alternative solution to reducing the investment in the coverage phase of WCDMA. For radio access network (RAN) sh...
166
click to vote
SECON
2007
IEEE
16 years 24 days ago
2007
IEEE
Abstract— Rate adaptation plays a key role in determining the performance of wireless LANs. In this paper, we introduce a semi-Markovian framework to analyze the performance of t...
211
click to vote
ECIR
2011
Springer
14 years 10 months ago
2011
Springer
Recently, mean-variance analysis has been proposed as a novel paradigm to model document ranking in Information Retrieval. The main merit of this approach is that it diversifies t...
207
click to vote
ADBIS
2008
Springer
16 years 27 days ago
2008
Springer
Abstract. We propose a new approach for enhancing collaborative information retrieval by means of incorporating positional data for a location-aware personalized retrieval process....