660 search results - page 76 / 132 » Reasoning about Dynamic Policies |
106
click to vote
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
Modern architectures implement relaxed memory models which may reorder memory operations or execute them non-atomically. Special instructions called memory fences are provided, al...
INFOCOM
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract— We develop an economic model for networks offering tiered services and we formulate the problem of selecting the service tiers from three perspectives: one that conside...
IQ
2007
15 years 1 months ago
2007
: To manage information quality (IQ) effectively, one needs to know how IQ changes over time, what causes it to change, and whether the changes can be predicted. In this paper we a...
180
click to vote
POPL
2007
ACM
16 years 5 days ago
2007
ACM
It is well recognized that JavaScript can be exploited to launch browser-based security attacks. We propose to battle such attacks using program instrumentation. Untrusted JavaScr...
131
click to vote
ICS
1995
Tsinghua U.
15 years 3 months ago
1995
Tsinghua U.
Current data cache organizations fail to deliver high performance in scalar processors for many vector applications. There are two main reasons for this loss of performance: the u...