Sciweavers

1222 search results - page 74 / 245
» corr 2008
Sort
View
CORR
2008
Springer
85views Education» more  CORR 2008»
15 years 6 months ago
Quantifying Timing Leaks and Cost Optimisation
We develop a new notion of security against timing attacks where the attacker is able to simultaneously observe the execution time of a program and the probability of the values of...
Alessandra Di Pierro, Chris Hankin, Herbert Wiklic...
CORR
2008
Springer
54views Education» more  CORR 2008»
15 years 6 months ago
Parameterized Telescoping Proves Algebraic Independence of Sums
Usually creative telescoping is used to derive recurrences for sums. In this article we show that the non-existence of a creative telescoping solution, and more generally, of a par...
Carsten Schneider
CORR
2008
Springer
73views Education» more  CORR 2008»
15 years 6 months ago
Energy Benefit of Network Coding for Multiple Unicast in Wireless Networks
We show that the maximum possible energy benefit of network coding for multiple unicast on wireless networks is at least 3. This improves the previously known lower bound of 2.4 f...
Jasper Goseling, Jos H. Weber
CORR
2008
Springer
122views Education» more  CORR 2008»
15 years 6 months ago
Exploring Human Factors in Spreadsheet Development
In this paper we consider human factors and their impact on spreadsheet development in strategic decision-making. This paper brings forward research from many disciplines both dir...
Simon R. Thorne, David Ball
CORR
2008
Springer
90views Education» more  CORR 2008»
15 years 6 months ago
Spacetime Meshing for Discontinuous Galerkin Methods
Abstract. Spacetime-discontinuous Galerkin (SDG) finite element methods are used to solve hyperbolic spacetime partial differential equations (PDEs) to accurately model wave propag...
Shripad Thite