8298 search results - page 256 / 1660 » On the Complexity of Numerical Analysis |
193
click to vote
APNOMS
2006
Springer
15 years 11 months ago
2006
Springer
In this paper, we propose two mechanisms, differentiation by backoff exponent and differentiation by the size of contention window, for IEEE 802.15.4 sensor networks to provide mul...
226
click to vote
CAV
2006
Springer
15 years 11 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...
211
click to vote
ISW
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. In recent years, protocols have been developed to ensure secure communications over the Internet, e.g., the secure sockets layer (SSL) and secure electronic transaction (...
197
click to vote
WSC
2008
15 years 9 months ago
2008
This paper investigates the effects of demand risk on the performance of supply chain in continuous time setting. The inventory level has been modeled as a jump-diffusion process ...
183
click to vote
FLAIRS
2006
15 years 8 months ago
2006
In this paper we test whether a correlation exists between the optimal mutation rate and problem difficulty. We find that the range of optimal mutation rates is inversely proporti...