2019 search results - page 180 / 404 » Programming with Shared Data Abstractions |
119
click to vote
SRDS
2003
IEEE
15 years 8 months ago
2003
IEEE
A large class of security attacks exploit software implementation vulnerabilities such as unchecked buffers. This paper proposes Transparent Runtime Randomization (TRR), a general...
128
click to vote
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
Non-interference is a high-level security property that guarantees the absence of illicit information leakages through executing programs. More precisely, non-interference for a p...
144
click to vote
ICFP
2007
ACM
16 years 3 months ago
2007
ACM
There has been much work in recent years on extending ML with recursive modules. One of the most difficult problems in the development of such an extension is the double vision pr...
121
click to vote
CDVE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Large-scale scientific investigation often includes collaborative data exploration among geographically distributed researchers. The tools used for this exploration typi...
162
click to vote
ICCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Publish/subscribe model is appropriate in many push based data dissemination applications such as data dissemination services, information sharing, service discovery, etc...