发布求助
文献互助 智能选刊 最新文献

Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity最新文献

筛选
英文 中文
A secure play store for android 一个安全的android游戏商店
Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity Pub Date : 2013-10-26 DOI: 10.1145/2508075.2508083
Feng Shen
{"title":"A secure play store for android","authors":"Feng Shen","doi":"10.1145/2508075.2508083","DOIUrl":"https://doi.org/10.1145/2508075.2508083","url":null,"abstract":"As Android becomes popular, Android security acquires more and more attentions. This paper proposes a new system design strategy for dissemination of high fidelity applications. We propose to use static and dynamic data flow analysis on Android applications to detect about how the apps leverage users'/enterprises' sensitive data. Also, we plan to build up a cloud-based back-end to safeguard mobile devices. The new secure system framework will not only analyze an individual app isolatedly, but also analyze the correlation between apps.","PeriodicalId":430425,"journal":{"name":"Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133581029","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}
引用次数: 1
Model-driven generative framework for automated OMG DDS performance testing in the cloud 模型驱动的生成框架，用于在云中自动化OMG DDS性能测试
Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity Pub Date : 2013-10-26 DOI: 10.1145/2508075.2508096
Kyoungho An, T. Kuroda, A. Gokhale, Sumant Tambe, Andrea Sorbini
{"title":"Model-driven generative framework for automated OMG DDS performance testing in the cloud","authors":"Kyoungho An, T. Kuroda, A. Gokhale, Sumant Tambe, Andrea Sorbini","doi":"10.1145/2508075.2508096","DOIUrl":"https://doi.org/10.1145/2508075.2508096","url":null,"abstract":"The Object Management Group's (OMG) Data Distribution Service (DDS) provides many configurable policies which determine end-to-end quality of service (QoS) delivered to the applications. It is challenging, however, to predict the application's performance in terms of latencies, throughput, and resource usage because diverse combinations of QoS configurations influence QoS of applications in different ways. To overcome this problem, design-time formal methods have been applied with mixed success, but a lack of sufficient accuracy in prediction, tool support, and understanding of formalism has prevented wider adoption of the formal techniques. A promising approach to address this challenge is to emulate application behavior and gather data on the QoS parameters of interest by experimentation. To realize this approach, we have developed a middleware framework that uses model-driven generative mechanisms to automate performance testing of a large number of DDS QoS configuration combinations that can be deployed and tested on a cloud platform.","PeriodicalId":430425,"journal":{"name":"Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129201508","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}
引用次数: 7
Effective fusion and separation of distribution, fault-tolerance, and energy-efficiency concerns 有效的融合和分离分布、容错和能源效率问题
Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity Pub Date : 2013-10-26 DOI: 10.1145/2508075.2508082
Young-Woo Kwon
{"title":"Effective fusion and separation of distribution, fault-tolerance, and energy-efficiency concerns","authors":"Young-Woo Kwon","doi":"10.1145/2508075.2508082","DOIUrl":"https://doi.org/10.1145/2508075.2508082","url":null,"abstract":"As modern software applications are becoming increasingly distributed and mobile, their design and implementation are characterized by distributed software architectures, possibility of faults, and the need for energy awareness. Thus, software developers should be able to simultaneously reason about and handle the concerns of distribution, fault-tolerance, and energy efficiency. Being closely intertwined, these concerns can introduce significant complexity into the design and implementation of modern software. Thus, to develop reliable and energy efficient applications, software developers must understand how distribution, fault-tolerance, and energy efficiency interplay with each other and how to implement these concerns while keeping the complexity in check. This paper studies these concerns and their interaction; it also develops novel approaches, techniques, and tools that effectively fuse and separate these concerns as required by particular software development scenarios.","PeriodicalId":430425,"journal":{"name":"Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity","volume":"509 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115890003","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}
引用次数: 0
HJ-Hadoop: an optimized mapreduce runtime for multi-core systems HJ-Hadoop:针对多核系统优化的mapreduce运行时
Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity Pub Date : 2013-10-26 DOI: 10.1145/2508075.2514875
Yunming Zhang
{"title":"HJ-Hadoop: an optimized mapreduce runtime for multi-core systems","authors":"Yunming Zhang","doi":"10.1145/2508075.2514875","DOIUrl":"https://doi.org/10.1145/2508075.2514875","url":null,"abstract":"We introduces HabaneroJava-Hadoop, an extension to the HadoopMapReduce system that is optimized for multi-core machines. HJ-Hadoop exploits intra-JVM parallelism that increases memory efficiency of each node. Results show a significant improvement in the amount of data each MapReduce job could process and load balance across cores for certain applications.","PeriodicalId":430425,"journal":{"name":"Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity","volume":"284 12","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114091732","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}
引用次数: 9
CSI: crash scene investigation 事故现场调查
Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity Pub Date : 2013-10-26 DOI: 10.1145/2508075.2514881
Peter Ohmann
{"title":"CSI: crash scene investigation","authors":"Peter Ohmann","doi":"10.1145/2508075.2514881","DOIUrl":"https://doi.org/10.1145/2508075.2514881","url":null,"abstract":"Prior work proposes inexpensive, tunable tracing of acyclic paths and callsite coverage to enhance post-failure memory dumps. To better understand this data, current work investigates the benefit of each piece of traced data independently, their interplay, future low-cost data to collect, and further analysis uses of the post-mortem data.","PeriodicalId":430425,"journal":{"name":"Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116402176","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}
引用次数: 2
The poor man's proof assistant: using prolog to develop formal language theoretic proofs 穷人的证明助手:用序发展形式语言理论证明
Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity Pub Date : 2013-10-26 DOI: 10.1145/2508075.2527300
J. Eremondi
{"title":"The poor man's proof assistant: using prolog to develop formal language theoretic proofs","authors":"J. Eremondi","doi":"10.1145/2508075.2527300","DOIUrl":"https://doi.org/10.1145/2508075.2527300","url":null,"abstract":"While proving a theorem from a set of axioms is undecidable in first order logic, recent development has produced several tools which serve as automated theorem provers. However, often these systems are too complex for a given problem. Their usefulness is outweighed by the difficulty of learning a new tool or translating results into computer-readable form. I describe tools developed in Prolog to partially characterize the shuffle-inclusion problem. These tools allowed for rapid development of proofs with little intellectual overhead. While focused around a specific problem, the techniques described are general, and well suited to many problems on discrete structures.","PeriodicalId":430425,"journal":{"name":"Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125876046","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}
引用次数: 0
Task fusion: improving utilization of multi-user clusters 任务融合:提高多用户集群的利用率
Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity Pub Date : 2013-10-26 DOI: 10.1145/2508075.2514878
Robert Dyer
{"title":"Task fusion: improving utilization of multi-user clusters","authors":"Robert Dyer","doi":"10.1145/2508075.2514878","DOIUrl":"https://doi.org/10.1145/2508075.2514878","url":null,"abstract":"Researchers use shared computing clusters to ask interesting questions and wish to maximize their utilization. Currently, optimizations focus on individual programs. We present task fusion to automatically merge multiple tasks into a single task. An example implementation shows fused tasks take 14-90% less time than running the tasks individually.","PeriodicalId":430425,"journal":{"name":"Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity","volume":"294 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114550758","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}
引用次数: 11
Session details: Panels 会议详情:小组讨论
Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity Pub Date : 2013-10-26 DOI: 10.1145/3245139
S. Fraser
{"title":"Session details: Panels","authors":"S. Fraser","doi":"10.1145/3245139","DOIUrl":"https://doi.org/10.1145/3245139","url":null,"abstract":"","PeriodicalId":430425,"journal":{"name":"Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124386467","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}
引用次数: 0
DevOps patterns to scale web applications using cloud services 使用云服务扩展web应用程序的DevOps模式
Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity Pub Date : 2013-10-26 DOI: 10.1145/2508075.2508432
D. Cukier
{"title":"DevOps patterns to scale web applications using cloud services","authors":"D. Cukier","doi":"10.1145/2508075.2508432","DOIUrl":"https://doi.org/10.1145/2508075.2508432","url":null,"abstract":"Scaling a web applications can be easy for simple CRUD software running when you use Platform as a Service Clouds (PaaS). But if you need to deploy a complex software, with many components and a lot users, you will need have a mix of cloud services in PaaS, SaaS and IaaS layers. You will also need knowledge in architecture patterns to make all these software components communicate accordingly. In this article, we share our experience of using cloud services to scale a web application. We show usage examples of load balancing, session sharing, e-mail delivery, asynchronous processing, logs processing, monitoring, continuous deployment, realtime user monitoring (RUM). These are a mixture of development and system operations (DevOps) that improved our application availability, scalability and performance.","PeriodicalId":430425,"journal":{"name":"Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity","volume":"54 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125176778","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}
引用次数: 57
Migration from deprecated API in Java 从Java中已弃用的API迁移
Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity Pub Date : 2013-10-26 DOI: 10.1145/2508075.2508093
R. Strobl, Zdenek Tronícek
{"title":"Migration from deprecated API in Java","authors":"R. Strobl, Zdenek Tronícek","doi":"10.1145/2508075.2508093","DOIUrl":"https://doi.org/10.1145/2508075.2508093","url":null,"abstract":"When software components evolve, they change interfaces. Members that are obsolete are marked as deprecated and new members are added. We deal with the problem of migration from deprecated members to their replacement. We implemented two tools: Java Source Code Update Tool, which updates the source code based on a configuration file, and a generator, which heuristically figures out how to migrate from deprecated members and generates the configuration file. We evaluated these tools on five open source projects and the results are very encouraging.","PeriodicalId":430425,"journal":{"name":"Proceedings of the 2013 companion publication for conference on Systems, programming, & applications: software for humanity","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124736978","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}
引用次数: 11
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信
小红书