2135 search results - page 326 / 427 » An Operational Semantics for JavaScript |
120
click to vote
ENTCS
2000
15 years 2 months ago
2000
Substitution plays an important role in Hoare Logic, as it is used in interpreting assignments. When writing a computer-based realization of Hoare Logic, it is therefore important...
128
click to vote
SIGMOD
2011
ACM
14 years 5 months ago
2011
ACM
The emergence of Web 2.0 has resulted in a huge amount of heterogeneous data that are contributed by a large number of users, engendering new challenges for data management and qu...
199
click to vote
SIGMOD
2007
ACM
16 years 2 months ago
2007
ACM
Increasing monitoring of transactions, environmental parameters, homeland security, RFID chips and interactions of online users rapidly establishes new data sources and applicatio...
113
click to vote
SOSP
2005
ACM
15 years 11 months ago
2005
ACM
Rapid improvements in network bandwidth, cost, and ubiquity combined with the security hazards and high total cost of ownership of personal computers have created a growing market...
119
click to vote
SACMAT
2009
ACM
15 years 9 months ago
2009
ACM
We develop the foundations for a theory of Group-Centric Secure Information Sharing (g-SIS), characterize a specific family of models in this arena and identify several direction...