10848 search results - page 1882 / 2170 » Programming in Biomolecular Computation |
177
click to vote
CRV
2006
IEEE
16 years 22 days ago
2006
IEEE
A regularization-based approach to 3-D reconstruction from multiple images is proposed. As one of the most widely used multiple-view 3-D reconstruction algorithms, Space Carving c...
169
click to vote
CSFW
2006
IEEE
16 years 22 days ago
2006
IEEE
Robustness links confidentiality and integrity properties of a computing system and has been identified as a useful property for characterizing and enforcing security. Previous ...
147
click to vote
CSFW
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
121
click to vote
CSMR
2006
IEEE
16 years 22 days ago
2006
IEEE
Automated formatting is an important technique for the software maintainer. It is either applied separately to improve the readability of source code, or as part of a source code ...
170
click to vote
ESCIENCE
2006
IEEE
16 years 21 days ago
2006
IEEE
Grid systems have a reputation for being difficult to build and use. We describe how the ease of use of the Styx Grid Services (SGS) software can be combined with the security and...