1580 search results - page 109 / 316 » Non-Interference Through Determinism |
ICECCS
2002
IEEE
14 years 3 months ago
2002
IEEE
Cost-effective development of large, integrated computer-based systems can be realized through systematic reuse of development experiences throughout the development process. In t...
IEEEMSP
2002
IEEE
14 years 3 months ago
2002
IEEE
Abstract—This paper addresses the problem of streaming packetized media over a lossy packet network through an intermediate proxy server to a client, in a rate-distortion optimiz...
CIE
2010
Springer
14 years 3 months ago
2010
Springer
A theorem of Besicovitch and Davies implies for Cantor space 2ω that each Σ1 1 (analytic) class of positive Hausdorff dimension contains a Π0 1 (closed) subclass of positive di...
DIS
2001
Springer
14 years 3 months ago
2001
Springer
Electron velocity distribution obtained by direct spacecraft observation in space is contaminated by photoelectrons. The photoelectrons are generated due to the solar ultraviolet r...
UM
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. The generation of formal poetry involves both complex creativity usually exercised by a human poet - and strict algorithmic restrictions regarding the metrical structure ...