Sciweavers

12897 search results - page 2414 / 2580
» Multi-Torrent: A Performance Study
Sort
View
INFORMATICALT
2007
76views more  INFORMATICALT 2007»
15 years 5 months ago
An Integrative Framework to Protocol Analysis and Repair: Bellare-Rogaway Model + Planning + Model Checker
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...
Kim-Kwang Raymond Choo
TCOM
2008
68views more  TCOM 2008»
15 years 5 months ago
Analysis and design of book-ahead bandwidth-sharing mechanisms
In this article, we present a novel discrete-time Markov chain model of book-ahead bandwidthsharing mechanisms. We use this analytical model and a simulation model to understand t...
Xiangfei Zhu, Malathi Veeraraghavan
INTERNET
2007
103views more  INTERNET 2007»
15 years 5 months ago
Publish-Subscribe Information Delivery with Substring Predicates
The content-based publish/subscribe (pub/sub)paradigm for system design is becoming increasingly popular, offering unique benefits for a large number of data-intensive applicatio...
Ioannis Aekaterinidis, Peter Triantafillou
IOR
2007
95views more  IOR 2007»
15 years 5 months ago
Index Policies for Shooting Problems
We consider a scenario in which a single Red wishes to shoot at a collection of Blue targets, one at a time, to maximise some measure of return obtained from Blues killed before R...
Kevin D. Glazebrook, Christopher Kirkbride, H. M. ...
IS
2007
15 years 5 months ago
Browsing large online data tables using generalized query previews
Companies, government agencies, and other organizations are making their data available to the world over the Internet. They often use large online relational tables for this purp...
Egemen Tanin, Ben Shneiderman, Hairuo Xie
« Prev « First page 2414 / 2580 Last » Next »