10899 search results - page 2034 / 2180 » Wide Area Computation |
152
Voted
PEPM
2009
ACM
16 years 1 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
168
Voted
WWW
2010
ACM
15 years 11 months ago
2010
ACM
Alhambra is a browser-based system designed to enforce and test web browser security policies. At the core of Alhambra is a policyenhanced browser supporting fine-grain security ...
171
Voted
WWW
2010
ACM
15 years 11 months ago
2010
ACM
Browsers do not currently support the secure sharing of JavaScript objects between principals. We present this problem as the need for object views, which are consistent and contr...
151
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
Twitter, a popular microblogging service, has received much attention recently. An important characteristic of Twitter is its real-time nature. For example, when an earthquake occ...
144
click to vote
TEI
2010
ACM
15 years 11 months ago
2010
ACM
Tangible user interfaces enable the interaction with digital information through the physical world. For the binding of physical representations with the underlying digital inform...