Konferenzbeitrag (918)
1021.
Konferenzbeitrag
Reliable Client Accounting for P2P-Infrastructure Hybrids. In: Proceedings of NSDI ’12: 9th USENIX Symposium on Networked Systems Design and Implementation, S. 1 - 14. NSDI'12, San Jose, CA, 25. April 2012 - 27. April 2012. USENIX, Berkeley, CA (2012)
1022.
Konferenzbeitrag
Non-tracking web analytics. In: Proceedings of the 2012 ACM Conference on Computer and Communications Security, S. 687 - 698. CCS'12, Raleigh, North Carolina, USA, 16. Oktober 2012 - 18. Oktober 2012. ACM, New York, NY (2012)
1023.
Konferenzbeitrag
Shredder: GPU-Accelerated Incremental Storage and Computation. In: Proceedings of FAST ’12: 10th USENIX Conference on File and Storage Technologies, S. 1 - 15. FAST'12, San Jose, CA, 15. Februar 2012 - 17. Februar 2012. USENIX, Berkeley, CA (2012)
1024.
Konferenzbeitrag
The Case for Migratory Priority Inheritance in Linux: Bounded Priority Inversions on Multiprocessors. In: Proceedings of the 14th Real-Time Linux Workshop (RTLWS 2012), S. 67 - 86. 14th Real-Time Linux Workshop, Chapel Hill, North Carolina, 16. Oktober 2012 - 20. Oktober 2012. Real-Time Linux Foundation, s.l. (2012)
1025.
Konferenzbeitrag
Scalable Testing of File System Checkers. In: EuroSys’12: Proceedings of the EuroSys 2012 Conference, S. 239 - 252. EuroSys'12, Bern, Switzerland, 10. April 2012 - 13. April 2012. ACM, New York, NY (2012)
1026.
Konferenzbeitrag
Equivalence of Games with Probabilistic Uncertainty and Partial-Observation Games. In: Automated Technology for Verification and Analysis: 10th International Symposium, ATVA 2012, S. 385 - 399 (Hg. Chakraborty, S.; Mukund, M.). AVTA 2012, Thiruvananthapuram, India, 03. Oktober 2012 - 06. Oktober 2010. Springer, New York, NY (2012)
1027.
Konferenzbeitrag
Towards Statistical Queries over Distributed Private User Data. In: Proceedings of NSDI ’12: 9th USENIX Symposium on Networked Systems Design and Implementation, S. 1 - 14. NSDI'12, San Jose, CA, 25. April 2012 - 27. April 2012. USENIX, Berkeley, CA (2012)
1028.
Konferenzbeitrag
Type-Directed Automatic Incrementalization. In: PLDI’12: Proceedings of the 2012 ACM SIGPLAN Conference on Programming Language Design and Implementation, S. 299 - 310. PLDI'12, Beijing, China, 11. Juni 2012 - 16. Juni 2012. ACM, New York, NY (2012)
1029.
Konferenzbeitrag
On the (limited) power of non-equivocation. In: Proceedings of the 2012 ACM Symposium on Principles of Distributed Computing, S. 301 - 308. PODC 2012, Madeira, Portugal. ACM, New York, NY (2012)
1030.
Konferenzbeitrag
Elaborating Intersection and Union Types. In: ICFP’12: Proceedings of the 2012 ACM SIGPLAN International Conference on Functional Programming, S. 17 - 28. ICFP'12, Copenhagen, Denmark, 09. September 2012 - 15. September 2012. ACM, New York, NY (2012)
1031.
Konferenzbeitrag
A Perfect Model for Bounded Verification. In: LICS 2012: Proceedings of the 2012 27th Annual ACM/IEEE Symposium, S. 285 - 294. LICS 2012, Dubrovnik, Croatio, 25. Juni 2012 - 28. Juni 2012. IEEE Computer Society, Los Alamitos, CA (2012)
1032.
Konferenzbeitrag
Engage: A Deployment Management System. In: PLDI’12: Proceedings of the 2012 ACM SIGPLAN Conference on Programming Language Design and Implementation, S. 263 - 274. PLDI'12, Beijing, China, 11. Juni 2012 - 16. Juni 2012. ACM, New York, NY (2012)
1033.
Konferenzbeitrag
Countermodels from Sequent Calculi in Multi-Modal Logics. In: 27th Annual ACM/IEEE Symposium on Logic in Computer Science, S. 315 - 324. LICS 2012, Dubrovnik, Croatia, 25. Juni 2012 - 28. Juni 2012. IEEE Computer Society, Los Alamitos, California (2012)
1034.
Konferenzbeitrag
New Modalities for Access Control Logics: Permission, Control and Ratification. In: Security and Trust Management: 7th International Workshop, S. 56 - 71 (Hg. Meadows, C.; Fernandez-Gago, C.). STM'11, Copenhagen, Denmark, 27. Juni 2011 - 28. Juni 2011. Springer, New York, NY (2012)
1035.
Konferenzbeitrag
Labeled Sequent Calculi for Access Control Logics: Countermodels, Saturation and Abduction. In: 2012 IEEE 25th Computer Security Foundations Symposium, S. 139 - 153. CSF'12, Cambridge, Mass., 25. Juni 2012 - 27. Juni 2012. IEEE, Piscataway, NJ (2012)
1036.
Konferenzbeitrag
Cognos: Crowdsourcing Search for Topic Experts in Microblogs. In: SIGIR’12: the Proceedings of the International ACM SIGIR Conference on Research & Development in Information Retrieval, S. 575 - 590. SIGIR'12, Portland, Oregon, 12. August 2012 - 16. August 2012. ACM, New York, NY (2012)
1037.
Konferenzbeitrag
Understanding and Combating Link Farming in the Twitter Social Network. In: WWW’12: Proceedings of the 21st Annual Conference on World Wide Web, S. 61 - 70. WWW'12, Lyon, France, 16. April 2012 - 20. April 2012. ACM, New York, NY (2012)
1038.
Konferenzbeitrag
The marriage of bisimulations and Kripke logical relations. In: Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, S. 59 - 72. POPL'12, Philadelphia, PA, 22. Januar 2012 - 28. Januar 2012. ACM, New York, NY (2012)
1039.
Konferenzbeitrag
All about Eve: Execute-Verify Replication for Multi-Core Servers. In: Proceedings of the 10th USENIX Symposium on Operating Systems Design and Implementation (OSDI ’12), S. 237 - 250. OSDI'12, Hollywood, CA, 08. Oktober 2012 - 10. Oktober 2012. USENIX, Berkeley, CA (2012)
1040.
Konferenzbeitrag
Predicting emerging social conventions in online social networks. In: CIKM’12: the Proceedings of the 21st ACM International Conference on Information and Knowledge Management, S. 445 - 454. CIKM'12, Maui, Hawaii, USA, 29. Oktober 2012 - 02. November 2012. ACM, New York, NY (2012)