1184 search results - page 198 / 237 » Nearness relations and topology |
195
click to vote
SIGMOD
2009
ACM
16 years 1 days ago
2009
ACM
This paper presents SELinks, a programming language focused on building secure multi-tier web applications. SELinks provides a uniform programming model, in the style of LINQ and ...
113
click to vote
ICCAD
2008
IEEE
15 years 8 months ago
2008
IEEE
—We are developing a framework for computation with biochemical reactions with a focus on synthesizing specific logical functionality, a task analogous to technology-independent...
134
click to vote
FOCS
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract— Motivated by applications in cryptography, we consider a generalization of randomness extraction and the related notion of privacy amplification to the case of two cor...
KBSE
2009
IEEE
15 years 6 months ago
2009
IEEE
—To improve software quality, static or dynamic verification tools accept programming rules as input and detect their violations in software as defects. As these programming rul...
ICPP
2009
IEEE
15 years 6 months ago
2009
IEEE
— High-end computing (HEC) systems have passed the petaflop barrier and continue to move toward the next frontier of exascale computing. As companies and research institutes con...