公開日 Compositional Modeling for Data-Centric Business Applications Ethan Jackson, Wolfram Schulte Software Composition | January 2008 ISBN: 978-3-540-78788-4 プロジェクト
公開日 On the Relative Completeness of Bytecode Analysis versus Source Code Analysis Francesco Logozzo, Manuel Fahndrich Proceedings of the International Conference on Compiler Construction | January 2008 プロジェクト
公開日 Index Design for Dynamic Personalized PageRank Amit Pathak, Soumen Chakrabarti, Manish Gupta Proc. of the 24th Intl. Conf. on Data Engineering (ICDE) | January 2008 Proc. of the 24th Intl. Conf. on Data Engineering (ICDE)
公開日 White-Box Testing of Behavioral Web Service Contracts With Pex Nikolai Tillmann, Jonathan "Peli" de Halleux TAV-WEB ’08: Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications | January 2008 ISBN: 978-1-60558-053-1 プロジェクト プロジェクト
公開日 The Power of Rich Syntax for Model-based Development Ethan Jackson, Wolfram Schulte Microsoft Research による投稿, January 2008 プロジェクト
公開日 Verification Condition Splitting Rustan Leino, Wolfram Schulte Microsoft Research による投稿, January 2008 プロジェクト
公開日 Vx86: x86 Assembler Simulated in C Powered by Automated Theorem Proving Wolfram Schulte AMAST | January 2008 ISBN: 978-3-540-79979-5 プロジェクト
公開日 Conditional Correlation Analysis for Safe Region-based Memory Management Xi Wang, Zhilei Xu, Xuezheng Liu, Zhenyu Guo, Xiaoge Wang, Zheng Zhang Programming Language Design and Implementation (PLDI) | January 2008
公開日 Serving Comparative Shopping Links Non-invasively Renan Cattelan, Darko Kirovski, Deepak Vijaywargi MSR-TR-2008-14 | January 2008