6527 search results - page 1045 / 1306 » On Typing Information Flow |
215
click to vote
FASE
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
166
click to vote
GBRPR
2005
Springer
16 years 28 days ago
2005
Springer
Graph pyramids are often used for representing irregular image pyramids. For the 2D case, combinatorial pyramids have been recently defined in order to explicitly represent more ...
192
click to vote
GCC
2005
Springer
16 years 28 days ago
2005
Springer
One of the key problems with virtual organizations in the context of the (Semantic) Grid is we don’t know how to describe the components used in virtual organizations because the...
181
click to vote
GECCO
2005
Springer
16 years 28 days ago
2005
Springer
We propose a method for applying genetic algorithms to create 3D terrain data sets. Existing procedural algorithms for generation of terrain have several shortcomings. The most po...
208
click to vote
HIP
2005
Springer
16 years 28 days ago
2005
Springer
In this paper, we propose a new class of Human Interactive Proofs (HIPs) that allow a human to distinguish one computer from another. Unlike traditional HIPs, where the computer is...