[ACM Press the 2010 Conference of the Center for Advanced Studies - Toronto, Ontario, Canada (2010.11.01-2010.11.04)] Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research - CASCON '10 - Use DB2 optimization techniques to get and maintain a good query execution plan
- 作者Yang, Angela
- 文件大小474.90KB
- 发表时间2010
- DOI10.1145/1923947.1924005
[ACM Press Proceeding of the 15th ACM symposium - Pittsburgh, Pennsylvania, USA (2010.06.09-2010.06.11)] Proceeding of the 15th ACM symposium on Access control models and technologies - SACMAT '10 - StateMinerTakabi, Hassan; Joshi, James B.D. · 2010
[ACM Press Proceeding of the 15th ACM symposium - Pittsburgh, Pennsylvania, USA (2010.06.09-2010.06.11)] Proceeding of the 15th ACM symposium on Access control models and technologies - SACMAT '10 - Architectures for practical securityGligor, Virgil · 2010
[ACM Press Proceeding of the 15th ACM symposium - Pittsburgh, Pennsylvania, USA (2010.06.09-2010.06.11)] Proceeding of the 15th ACM symposium on Access control models and technologies - SACMAT '10 - New access models for healthcareGrandison, Tyrone · 2010
[ACM Press Proceeding of the 15th ACM symposium - Pittsburgh, Pennsylvania, USA (2010.06.09-2010.06.11)] Proceeding of the 15th ACM symposium on Access control models and technologies - SACMAT '10 - Role updating for assignmentsHu, Jinwei; Zhang, Yan; Li, Ruixuan; Lu, Zhengding · 2010
[ACM Press Proceeding of the 15th ACM symposium - Pittsburgh, Pennsylvania, USA (2010.06.09-2010.06.11)] Proceeding of the 15th ACM symposium on Access control models and technologies - SACMAT '10 - Access control in practiceTripunitara, Mahesh V.; Garg, Praerit; Bocchino, Bob; Frye, Fred; Sundaram, Divya · 2010
[ACM Press Proceeding of the 15th ACM symposium - Pittsburgh, Pennsylvania, USA (2010.06.09-2010.06.11)] Proceeding of the 15th ACM symposium on Access control models and technologies - SACMAT '10 - Role mining based on weightsMa, Xiaopu; Li, Ruixuan; Lu, Zhengding · 2010
[ACM Press Proceeding of the 15th ACM symposium - Pittsburgh, Pennsylvania, USA (2010.06.09-2010.06.11)] Proceeding of the 15th ACM symposium on Access control models and technologies - SACMAT '10 - Solving the access-control puzzleBauer, Lujo; Lee, Adam J. · 2010
[ACM Press Proceeding of the 15th ACM symposium - Pittsburgh, Pennsylvania, USA (2010.06.09-2010.06.11)] Proceeding of the 15th ACM symposium on Access control models and technologies - SACMAT '10 - Privacy-preserving trust verificationVaidya, Jaideep; Atluri, Vijayalakshmi; Shafiq, Basit; Adam, Nabil · 2010
Verifying aspect advice modularlyKrishnamurthi, Shriram; Fisler, Kathi; Greenberg, Michael · ACM SIGSOFT Software Engineering Notes · 2004
Foundations of incremental aspect model-checkingKrishnamurthi, Shriram; Fisler, Kathi · ACM Transactions on Software Engineering and Methodology · 2007
Modular verification of collaboration-based software designsFisler, Kathi; Krishnamurthi, Shriram · ACM SIGSOFT Software Engineering Notes · 2001
Verifying cross-cutting features as open systemsLi, Harry; Krishnamurthi, Shriram; Fisler, Kathi · ACM SIGSOFT Software Engineering Notes · 2002
Modular Verification of Open Features Using Three-Valued Model CheckingHarry C. Li; Shriram Krishnamurthi; Kathi Fisler · 2005
[ACM Press the 2014 conference - Uppsala, Sweden (2014.06.21-2014.06.25)] Proceedings of the 2014 conference on Innovation & technology in computer science education - ITiCSE '14 - CaptainTeachPolitz, Joe Gibbs; Krishnamurthi, Shriram; Fisler, Kathi · 2014
[ACM Press the 2014 conference - Uppsala, Sweden (2014.06.21-2014.06.25)] Proceedings of the 2014 conference on Innovation & technology in computer science education - ITiCSE '14 - CaptainTeachPolitz, Joe Gibbs; Patterson, Daniel; Krishnamurthi, Shriram; Fisler, Kathi · 2014
[ACM Press the 2018 ACM Conference - Espoo, Finland (2018.08.13-2018.08.15)] Proceedings of the 2018 ACM Conference on International Computing Education Research - ICER '18 - Who Tests the Testers?Wrenn, John; Krishnamurthi, Shriram; Fisler, Kathi · 2018