Konferenzbeitrag (918)
1121.
Konferenzbeitrag
Systematic testing for control applications. In: 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE), S. 1 - 10. 2010 8th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE), Grenoble, 26. Juli 2010 - 28. Juli 2010. IEEE, Piscataway, NJ (2010)
1122.
Konferenzbeitrag
You are who you know: inferring user profiles in online social networks. In: Proceedings of the Third ACM International Conference on Web Search & Data Mining (WSDM), S. 251 - 260. Third ACM International Conference on Web Search & Data Mining (WSDM 2010), New York, NY, 03. Februar 2010 - 06. Februar 2010. ACM, New York, NY (2010)
1123.
Konferenzbeitrag
F-ing modules. In: TLDI’10: proceedings of the 2010 ACM SIGPLAN Workshop on Types in Language Design and Implementation, S. 89 - 102. 2010 ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2010), Madrid, 23. Januar 2010. ACM, New York, NY (2010)
1124.
Konferenzbeitrag
An analysis of social network-based Sybil defenses. In: SIGCOMM’10: proceedings of the SIGCOMM 2010 Conference, S. 363 - 374. SIGCOMM 2010 Conference, New Delhi, 30. August 2010 - 03. September 2010. ACM, New York, NY (2010)
1125.
Konferenzbeitrag
Conductor: orchestrating the clouds. In: Proceedings of the 4th ACM/SIGOPS Workshop on Large-Scale Distributed Systems and Middleware (LADIS 2010), S. 44 - 48. 4th International Workshop on Large Scale Distributed Systems and Middleware (LADIS 2010), Zürich, 28. Juli 2010 - 29. Juli 2010. ACM, New York, NY (2010)
1126.
Konferenzbeitrag
Brief announcement: Modelling MapReduce for optimal execution in the cloud. In: PODC’10: proceedings of the 2010 ACM Symposium on Principles of Distributed Computing, S. 408 - 409. 29th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2010), Zürich, 25. Juli 2010 - 28. Juli 2010. ACM, New York, NY (2010)
1127.
Konferenzbeitrag
State-dependent representation independence. In: POPL’09 Proceedings of the 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, S. 340 - 353. 36th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Savannah, Georgia, 21. Januar 2009 - 23. Januar 2009. ACM, New York, NY (2009)
1128.
Konferenzbeitrag
Preserving digital data in heterogeneous environments. In: JCDL’09: proceedings of the 2009 ACM/IEEE Joint Conference on Digital Libraries, S. 345 - 348. 2009 ACM/IEEE Joint Conference on Digital Libraries (JCDL'09), Austin, Texas, 15. Juni 2009 - 19. Juni 2009. ACM, New York, NY (2009)
1129.
Konferenzbeitrag
Tempest in a teapot: compromising reflections revisited. In: Proceedings of the 2009 30th IEEE Symposium on Security and Privacy, S. 315 - 327. 30th IEEE Symposium on Security and Privacy, Berkeley, CA, 17. Mai 2009 - 20. Mai 2009. IEEE Computer Society, Los Alamitos, CA (2009)
1130.
Konferenzbeitrag
CSAR: A Practical and Probable Technique to Make Randomized Systems Accountable. In: 2009 Network and Distributed System Security Symposium, S. 341 - 353. 16th Annual Network and Distributed System Security Symposium, San Diego, CA, USA, 08. Februar 2009 - 11. Februar 2009. Internet Society, Reston, VA (2009)
1131.
Konferenzbeitrag
Achieving security despite compromise using zero-knowledge. In: Proceedings of the 22nd IEEE Computer Security Foundations Symposium: CSF 2009, S. 308 - 323. 22nd IEEE Computer Security Foundations Symposium, Port Jefferson, NY, 08. Juli 2009 - 10. Juli 2009. IEEE Computer Society, Los Alamitos, CA (2009)
1132.
Konferenzbeitrag
Anonymity and censorship resistance in unstructured overlay networks. In: On the Move to Meaningful Internet Systems: OTM 2009: proceedings. - Part I, S. 147 - 164 (Hg. Meersman, R.; Dillon, T.; Herrero, P.). Confederated International Conferences CoopIS, DOA, IS, and ODBASE 2009, Vilamoura, 01. November 2009 - 06. November 2009. Springer, Berlin (2009)
1133.
Konferenzbeitrag
CoSP: a general framework for computational soundness proofs. In: CCS'09: Proceedings of the 16th ACM Conference on Computer and Communications Security, S. 66 - 78. 16th ACM Conference on Computer and Communications Security, Chicago, Ill., 09. November 2009 - 13. November 2009. ACM, New York, NY (2009)
1134.
Konferenzbeitrag
Automatic discovery and quantification of information leaks. In: Proceedings of the 2009 30th IEEE Symposium on Security and Privacy, S. 141 - 153. 30th IEEE Symposium on Security and Privacy, Berkeley, CA, 17. Mai 2009 - 20. Mai 2009. IEEE Computer Society, Los Alamitos, CA (2009)
1135.
Konferenzbeitrag
Characterizing user behavior in online social networks. In: IMC’09 Proceedings of the 2009 ACM SIGCOMM Internet Measurement Conference, S. 49 - 62. 2009 ACM SIGCOMM Internet Measurement Conference, Chicago, Ill., 04. November 2009 - 06. November 2009. ACM, New York, NY (2009)
1136.
Konferenzbeitrag
A measurement-driven analysis of information propagation in the flickr social network. In: WWW’09: proceedings of the 18th International World Wide Web Conference, S. 721 - 730. 18th International World Wide Web Conference (WWW 2009), Madrid, 20. April 2009 - 24. April 2009. ACM, New York, NY (2009)
1137.
Konferenzbeitrag
Flash floods and ripples: The spread of media content through the blogosphere. In: ICWSM 2009 Data Challenge Workshop, S. 1 - 8. 3rd International AAAI Conference on Weblogs and Social Media, San Jose, CA, 17. Mai 2009 - 20. Mai 2009. AAAI, Menlo Park, CA (2009)
1138.
Konferenzbeitrag
Finding heap-bounds for hardware synthesis. In: Proceedings of 9th International Conference 2009 Formal Methods in Computer-Aided Design FMCAD 2009, S. 205 - 212 (Hg. Hung, W. N. N.). FMCAD 2009, Austin, Texas, 15. November 2009 - 18. November 2009. IEEE, Piscataway, NJ (2009)
1139.
Konferenzbeitrag
Logical step-indexed logical relations. In: 24th Annual IEEE Symposium on Logic in Computer Science (LICS 2009) proceedings, S. 71 - 80. 24th Annual IEEE Symposium on Logic in Computer Science (LICS 2009), Los Angelos, CA, 11. August 2009 - 14. August 2009. IEEE Computer Society, Los Alamitos, CA (2009)
1140.
Konferenzbeitrag
Efficient cross-layer negotiation. In: Eighth ACM Workshop on SIGCOMM logo Hot Topics in Networks (HotNets-VIII), 123, S. 1 - 6. Eighth ACM Workshop on SIGCOMM logo Hot Topics in Networks (HotNets-VIII), New York, NY, 22. Oktober 2009 - 23. Oktober 2009. ACM, New York, NY (2009)