Sciweavers

12194 search results - page 410 / 2439
» cans 2010
Sort
View
CORR
2010
Springer
115views Education» more  CORR 2010»
15 years 7 months ago
Online Cake Cutting
We propose an online form of the cake cutting problem. This models situations where players arrive and depart during the process of dividing a resource. We show that well known fa...
Toby Walsh
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 7 months ago
Soundly Handling Static Fields: Issues, Semantics and Analysis
Although in most cases class initialization works as expected, some static fields may be read before being initialized, despite being initialized in their corresponding class init...
Laurent Hubert, David Pichardie
CORR
2010
Springer
153views Education» more  CORR 2010»
15 years 7 months ago
Characterising Probabilistic Processes Logically
Abstract. In this paper we work on (bi)simulation semantics of processes that exhibit both nondeterministic and probabilistic behaviour. We propose a probabilistic extension of the...
Yuxin Deng, Rob J. van Glabbeek
CORR
2010
Springer
148views Education» more  CORR 2010»
15 years 7 months ago
Techniques for Enhanced Physical-Layer Security
Information-theoretic security--widely accepted as the strictest notion of security--relies on channel coding techniques that exploit the inherent randomness of propagation channel...
Pedro C. Pinto, João Barros, Moe Z. Win
CORR
2010
Springer
216views Education» more  CORR 2010»
15 years 7 months ago
E2XLRADR (Energy Efficient Cross Layer Routing Algorithm with Dynamic Retransmission for Wireless Sensor Networks)
The main focus of this article is to achieve prolonged network lifetime with overall energy efficiency in wireless sensor networks through controlled utilization of limited energy...
Kanojia Sindhuben Babulal, Rajiv Ranjan Tewari