Konferenzbeitrag (918)
921.
Konferenzbeitrag
Global Real-time Semaphore Protocols: A Survey, Unified Analysis, and Comparison. In: IEEE 36th Real-Time Systems Symposium, S. 1 - 12. IEEE 36th Real-Time Systems Symposium, San Antonio, TX, USA, 01. Dezember 2015 - 04. Dezember 2015. IEEE Computer Society, Los Alamitos, CA (2015)
922.
Konferenzbeitrag
Fairness Constraints: A Mechanism for Fair Classification. In: 2nd Workshop on Fairness, Accountability, and Transparency in Machine Learning. 2nd Workshop on Fairness, Accountability, and Transparency in Machine Learning, Lille, France, 11. Juli 2015. (2015)
923.
Konferenzbeitrag
Refinement Types for Incremental Computational Complexity. In: Programming Languages and Systems, S. 406 - 431 (Hg. Vitek, J.). 24th European Symposium on Programming, London, UK, 11. April 2015 - 18. April 2015. Springer, Berlin (2015)
924.
Konferenzbeitrag
Notes on Counting with Finite Machines. In: 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, S. 339 - 350 (Hg. Raman, V.; Suresh, S. P.). 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, New Delhi, India, 15. Dezember 2014 - 17. Dezember 2014. Schloß Dagstuhl, Wadern (2014)
925.
Konferenzbeitrag
Brave New World: Privacy Risks for Mobile Users. In: SPME'14, S. 7 - 11. ACM MobiCom Workshop on Security and Privacy in Mobile Environments, Maui, HI, USA, 11. September 2014. ACM, New York, NY (2014)
926.
Konferenzbeitrag
EnCore: Private, Context-based Communication for Mobile Social Apps. In: MobiSys'14, S. 135 - 148. 12th Annual International Conference on Mobile Systems, Applications, and Services, Bretton Woods, NH, USA, 16. Juni 2014 - 19. Juni 2014. ACM, New York, NY (2014)
927.
Konferenzbeitrag
Synthesis of Geometry Proof Problems. In: AAAI'14, S. 245 - 252. Twenty-Eighth AAAI Conference on Artificial Intelligence, Québec City, Québec, Canada, 27. Juli 2014 - 31. Juli 2014. ACM, New York, NY (2014)
928.
Konferenzbeitrag
BackRef: Accountability in Anonymous Communication Networks. In: Applied Cryptography and Network Security, S. 380 - 400 (Hg. Boureanu, I.; Owesarski, P.). 12th International Conference on Applied Cryptography and Network Security, Lausanne, Switzerland, 10. Juni 2014 - 13. Juni 2014. Springer, Berlin (2014)
929.
Konferenzbeitrag
Deep Twitter diving: Exploring Topical Groups in Microblogs at Scale. In: Computer Supported Cooperative Work, S. 197 - 210. 17th ACM conference on Computer Supported Cooperative Work, Baltimore, MD, USA, 15. Februar 2014 - 19. Februar 2014. ACM, New York, NY (2014)
930.
Konferenzbeitrag
Inferring User interests in the Twitter Social Network. In: RecSys '14, S. 357 - 360. Eighth ACM Conference on Recommender Systems, Foster City, Silicon Valley, CA, USA , 06. Oktober 2014 - 10. Oktober 2014. ACM, New York, NY (2014)
931.
Konferenzbeitrag
Generalizing Permissive-upgrade in Dynamic Information Flow Analysis. In: PLAS'14, 15, S. 15 - 24. ACM Ninth Workshop on Programming Languages and Analysis for Security, Uppsala, Sweden, 28. Juli 2014 - 01. August 2014. ACM, New York, NY (2014)
932.
Konferenzbeitrag
Information Flow Control in WebKit’s JavaScript Bytecode. In: Principles of Security and Trust, S. 159 - 178 (Hg. Abadi, M.; Kremer, S.). 3rd Conference on Principles of Security and Trust, Grenoble, France, 05. April 2014 - 13. April 2014. Springer, Berlin (2014)
933.
Konferenzbeitrag
A Synchronous IPC Protocol for Predictable Access to Shared Resources in Mixed-criticality Systems. In: IEEE 35th Real-Time Systems Symposium, S. 196 - 206. IEEE 35th Real-Time Systems Symposium, Rome, Italy, 02. Dezember 2014 - 05. Dezember 2014. IEEE Computer Society, Los Alamitos, CA (2014)
934.
Konferenzbeitrag
The FMLP+: An Asymptotically Optimal Real-time Locking Protocol for Suspension-aware Analysis. In: ECRTS 2014, S. 61 - 71. 26th Euromicro Conference on Real-Time Systems, Madrid, Spain, 08. Juli 2014 - 11. Juli 2014. IEEE Computer Society, Los Alamitos, CA (2014)
935.
Konferenzbeitrag
Linux’s Processor Affinity API, Refined: Shifting Real-Time Tasks towards Higher Schedulability. In: IEEE 35th Real-Time Systems Symposium, S. 249 - 259. IEEE 35th Real-Time Systems Symposium, Rome, Italy, 02. Dezember 2014 - 05. Dezember 2014. IEEE Computer Society, Los Alamitos, CA (2014)
936.
Konferenzbeitrag
Scaling Global Scheduling with Message Passing. In: IEEE 20th Real-Time and Embedded Technology and Applications Symposium, S. 263 - 274. 20th Real Time and Embedded Technology and Applications
Symposium, Berlin, Germany, 15. April 2014 - 17. April 2014. IEEE, Piscataway, NJ (2014)
937.
Konferenzbeitrag
Edit Distance for Timed Automata. In: HSCC'14, S. 302 - 312. 17th International Conference on Hybrid Systems, Berlin, Germany, 15. April 2014 - 17. April 2014. ACM, New York, NY (2014)
938.
Konferenzbeitrag
Unary Pushdown Automata and Straight-line Programs. In: Automata, Languages, and Programming, S. 146 - 157. 41st International Colloquium on Automata, Languages, and Programming, Copenhagen, Denmark, 08. Juli 2014 - 11. Juli 2014. Springer, Berlin (2014)
939.
Konferenzbeitrag
Temporal Mode-checking for Runtime Monitoring of Privacy Policies. In: Computer Aided Verification, S. 131 - 149 (Hg. Biere, A.; Bloem, R.). 26th International Conference on Computer Aided Verification, Vienna, Austria, 18. Juli 2014 - 22. Juli 2014. Springer, Berlin (2014)
940.
Konferenzbeitrag
1st Workshop on Diffusion Networks and Cascade Analytics. In: Proceedings of the 7th ACM International Conference on Web Search and Data Mining,, S. 689 - 690. 7th ACM International Conference on Web Search and Data Mining, New York, NY, USA, 24. Februar 2014 - 28. Februar 2014. ACM, New York, NY (2014)