675 search results - page 28 / 135 » Using Fairness to Make Abstractions Work |
121
Voted
ICC
2000
IEEE
15 years 6 months ago
2000
IEEE
Abstract—Packet scheduling disciplines play an important role in providing Quality of Service (QoS) guarantees to applications traffic in high speed networks. Several scheduling...
126
Voted
ENTCS
2008
15 years 1 months ago
2008
Thanks to recent advances, modern proof assistants now enable verification of realistic sequential programs. However, regarding the concurrency paradigm, previous work essentially...
111
click to vote
TWC
2008
15 years 1 months ago
2008
This paper analyzes distributed asynchronous power and rate control for wireless ad hoc networks. Importantly, all network transmitters are considered to be independent of any mana...
121
click to vote
CICLING
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The purpose of information extraction (IE) is to find desired pieces of information in natural language texts and store them in a form that is suitable for automatic pro...
117
click to vote
IACR
2011
14 years 1 months ago
2011
Abstract—In this work we consider two protocols for performing cryptanalysis and security enhancement. The first one by Song, is a password authentication scheme based on smart ...