2137 search results - page 225 / 428 » Proving Abstract Non-interference |
110
Voted
FSTTCS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper we construct fixed finite tile systems that assemble into particular classes of shapes. Moreover, given an arbitrary n, we show how to calculate the tile co...
128
click to vote
FPL
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Field-programmable gate arrays (FPGAs) have become increasingly interesting in system design and due to the rapid technological progress ever larger devices are commercia...
136
Voted
ISW
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Signcryption is a public-key cryptographic primitive introduced by Zheng, which achieves both message confidentiality and nonrepudiatable origin authenticity, at a lower ...
153
Voted
NAA
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. Monte Carlo (MC) methods have proved to be flexible, robust and very useful techniques in computational finance. Several studies have investigated ways to achieve greater...
125
Voted
AAECC
1995
Springer
15 years 7 months ago
1995
Springer
Abstract. We look for the approximation of exp(A1 + A2) by a product in form exp(x1A1) exp(y1A2) · · · exp(xnA1) exp(ynA2). We specially are interested in minimal approximations...