{"title":"A Method for Constructing Fault Trees from AADL Models","authors":"Yue Li, Yian Zhu, Chunyan Ma, Meng Xu","doi":"10.1007/978-3-642-23496-5_18","DOIUrl":"https://doi.org/10.1007/978-3-642-23496-5_18","url":null,"abstract":"","PeriodicalId":149713,"journal":{"name":"International Conference on Autonomic and Trusted Computing","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127068967","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
J. Schmitt, Michael Roth, Rolf Kiefhaber, Florian Kluge, T. Ungerer
{"title":"Concept of a Reflex Manager to Enhance the Planner Component of an Autonomic / Organic System","authors":"J. Schmitt, Michael Roth, Rolf Kiefhaber, Florian Kluge, T. Ungerer","doi":"10.1007/978-3-642-23496-5_2","DOIUrl":"https://doi.org/10.1007/978-3-642-23496-5_2","url":null,"abstract":"","PeriodicalId":149713,"journal":{"name":"International Conference on Autonomic and Trusted Computing","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126744731","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Detection and Classification of Different Botnet C&C Channels","authors":"Gregory Fedynyshyn, M. Chuah, Gang Tan","doi":"10.1007/978-3-642-23496-5_17","DOIUrl":"https://doi.org/10.1007/978-3-642-23496-5_17","url":null,"abstract":"","PeriodicalId":149713,"journal":{"name":"International Conference on Autonomic and Trusted Computing","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116128694","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Jian Wan, L. Yang, Yunfa Li, Xianghua Xu, N. Xiong
{"title":"An Adaptive Management Mechanism for Resource Scheduling in Multiple Virtual Machine System","authors":"Jian Wan, L. Yang, Yunfa Li, Xianghua Xu, N. Xiong","doi":"10.1007/978-3-642-23496-5_5","DOIUrl":"https://doi.org/10.1007/978-3-642-23496-5_5","url":null,"abstract":"","PeriodicalId":149713,"journal":{"name":"International Conference on Autonomic and Trusted Computing","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116036123","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Self-organized Message Scheduling for Asynchronous Distributed Embedded Systems","authors":"Tobias Ziermann, Z. Salcic, J. Teich","doi":"10.1007/978-3-642-23496-5_10","DOIUrl":"https://doi.org/10.1007/978-3-642-23496-5_10","url":null,"abstract":"","PeriodicalId":149713,"journal":{"name":"International Conference on Autonomic and Trusted Computing","volume":"743 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-09-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132024318","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
H. Seebach, Florian Nafz, Jörg Holtmann, Jan Meyer, M. Tichy, W. Reif, Wilhelm Schäfer
{"title":"Designing Self-healing in Automotive Systems","authors":"H. Seebach, Florian Nafz, Jörg Holtmann, Jan Meyer, M. Tichy, W. Reif, Wilhelm Schäfer","doi":"10.1007/978-3-642-16576-4_4","DOIUrl":"https://doi.org/10.1007/978-3-642-16576-4_4","url":null,"abstract":"","PeriodicalId":149713,"journal":{"name":"International Conference on Autonomic and Trusted Computing","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128672158","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Florian Nafz, H. Seebach, Jan-Philipp Steghöfer, S. Bäumler, W. Reif
{"title":"A Formal Framework for Compositional Verification of Organic Computing Systems","authors":"Florian Nafz, H. Seebach, Jan-Philipp Steghöfer, S. Bäumler, W. Reif","doi":"10.1007/978-3-642-16576-4_2","DOIUrl":"https://doi.org/10.1007/978-3-642-16576-4_2","url":null,"abstract":"","PeriodicalId":149713,"journal":{"name":"International Conference on Autonomic and Trusted Computing","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130949369","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Weinan Zhao, Hailong Sun, Zicheng Huang, Xudong Liu, Xitong Kang
{"title":"A User-Oriented Approach to Assessing Web Service Trustworthiness","authors":"Weinan Zhao, Hailong Sun, Zicheng Huang, Xudong Liu, Xitong Kang","doi":"10.1007/978-3-642-16576-4_14","DOIUrl":"https://doi.org/10.1007/978-3-642-16576-4_14","url":null,"abstract":"","PeriodicalId":149713,"journal":{"name":"International Conference on Autonomic and Trusted Computing","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114552594","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}