[ACM Press the 21st annual conference - Not Known (1994..-..)] Proceedings of the 21st annual conference on Computer graphics and interactive techniques - SIGGRAPH '94 - Evolving virtual creatures
- 作者Sims, Karl
- 文件大小83.77KB
- 发表时间1994
- DOI10.1145/192161.192167
- 页码15-22
[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