Proceedings of the Symposium on Applied Computing最新文献

筛选
英文 中文
Secure storage of user credentials and attributes in federation of clouds 云联合中用户凭据和属性的安全存储
Proceedings of the Symposium on Applied Computing Pub Date : 2017-04-03 DOI: 10.1145/3019612.3019627
Luciano Barreto, Leomar Scheunemann, J. Fraga, Frank Siqueira
{"title":"Secure storage of user credentials and attributes in federation of clouds","authors":"Luciano Barreto, Leomar Scheunemann, J. Fraga, Frank Siqueira","doi":"10.1145/3019612.3019627","DOIUrl":"https://doi.org/10.1145/3019612.3019627","url":null,"abstract":"The use of cloud computing and cloud federations has been the focus of studies in the last years. Many of these infrastructures delegate user authentication to Identity Providers. Once these services are available through the Internet, concerns about the confidentiality of user credentials and attributes are high. The main focus of this work is the security of the credentials and user attributes in authentication infrastructures, exploring secret sharing techniques and using cloud federations as a base for storing this information.","PeriodicalId":20728,"journal":{"name":"Proceedings of the Symposium on Applied Computing","volume":"1 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2017-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91156543","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}
引用次数: 4
Predicting coordinated group movements of sharks with limited observations using AUVs 利用水下航行器在有限的观察下预测鲨鱼的协调群体运动
Proceedings of the Symposium on Applied Computing Pub Date : 2017-04-03 DOI: 10.1145/3019612.3019711
Cherie Ho, Kimberly Joly, A. Nosal, C. Lowe, C. Clark
{"title":"Predicting coordinated group movements of sharks with limited observations using AUVs","authors":"Cherie Ho, Kimberly Joly, A. Nosal, C. Lowe, C. Clark","doi":"10.1145/3019612.3019711","DOIUrl":"https://doi.org/10.1145/3019612.3019711","url":null,"abstract":"This paper presents a method for modeling and then tracking the 2D planar size, location, orientation, and number of individuals of an animal aggregation using Autonomous Underwater Vehicles (AUVs). It is assumed that the AUVs are equipped with sensors that can measure the position states of a subset of individuals from within the aggregation being tracked. A new aggregation model based on provably stable Markov Process Matrices is shown as a viable model for representing aggregations. Then, a multi-stage state estimation architecture based on Particle Filters is presented that can estimate the time-varying model parameters in real-time using sensor measurements obtained by AUVs. To validate the approach, a historical data set is used consisting of >100 shark trajectories from a leopard shark aggregation observed in the La Jolla, CA coast area. The method is generalizable to any stable group movement model constructed using a Markov Matrix. Simulation results show that, when at least 40+ of sharks are tagged, the estimated number of sharks in the aggregation has an error of 6+. This error increased to 27+ when the system was tested with real data.","PeriodicalId":20728,"journal":{"name":"Proceedings of the Symposium on Applied Computing","volume":"16 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2017-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91283705","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
Temporal reasoning techniques for the analysis of interactions in the treatment of comorbid patients 分析合并症患者治疗中相互作用的时间推理技术
Proceedings of the Symposium on Applied Computing Pub Date : 2017-04-03 DOI: 10.1145/3019612.3019713
Luca Anselma, Luca Piovesan, P. Terenziani
{"title":"Temporal reasoning techniques for the analysis of interactions in the treatment of comorbid patients","authors":"Luca Anselma, Luca Piovesan, P. Terenziani","doi":"10.1145/3019612.3019713","DOIUrl":"https://doi.org/10.1145/3019612.3019713","url":null,"abstract":"Clinical practice guidelines are assuming a major role in the medical area, to provide physicians with evidence-based recommendations for the treatment of single pathologies. The treatment of comorbid patients (i.e., patients affected by multiple diseases) is one of the main challenges for the modern healthcare. It requires the development of new methodologies, supporting physicians in the treatment of interactions between guidelines. Several Artificial Intelligence approaches have started to face such a challenging problem. However, current approaches have a substantial limitation: they do not take into account the temporal dimension. This is a strong limitation. For instance, the effects of two actions taken from different guidelines may potentially conflict, but practical conflicts happen only if effects of such actions overlaps in time. In this paper, we propose an approach to support the temporal detection of interactions. Artificial intelligence temporal reasoning techniques, based on temporal constraint propagation, are widely exploited to such a purpose.","PeriodicalId":20728,"journal":{"name":"Proceedings of the Symposium on Applied Computing","volume":"63 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2017-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76967464","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
Learning and reasoning in logic tensor networks: theory and application to semantic image interpretation 逻辑张量网络的学习与推理:理论及其在语义图像解释中的应用
Proceedings of the Symposium on Applied Computing Pub Date : 2017-04-03 DOI: 10.1145/3019612.3019642
L. Serafini, Ivan Donadello, A. Garcez
{"title":"Learning and reasoning in logic tensor networks: theory and application to semantic image interpretation","authors":"L. Serafini, Ivan Donadello, A. Garcez","doi":"10.1145/3019612.3019642","DOIUrl":"https://doi.org/10.1145/3019612.3019642","url":null,"abstract":"This paper presents a revision of Real Logic and its implementation with Logic Tensor Networks and its application to Semantic Image Interpretation. Real Logic is a framework where learning from numerical data and logical reasoning are integrated using first order logic syntax. The symbols of the signature of Real Logic are interpreted in the data-space, i.e, on the domain of real numbers. The integration of learning and reasoning obtained in Real Logic allows us to formalize learning as approximate satisfiability in the presence of logical constraints, and to perform inference on symbolic and numerical data. After introducing a refined version of the formalism, we describe its implementation into Logic Tensor Networks which uses deep learning within Google's TensorFlow™. We evaluate LTN on the task of classifying objects and their parts in images, where we combine state-of-the-art-object detectors with a part-of ontology. LTN outperforms the state-of-the-art on object classification, and improves the performances on part-of relation detection with respect to a rule-based baseline.","PeriodicalId":20728,"journal":{"name":"Proceedings of the Symposium on Applied Computing","volume":"16 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2017-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78004039","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}
引用次数: 21
Modeling and generation of secure component communications in AUTOSAR AUTOSAR中安全组件通信的建模和生成
Proceedings of the Symposium on Applied Computing Pub Date : 2017-04-03 DOI: 10.1145/3019612.3019682
C. Bernardeschi, M. Natale, G. Dini, Dario Varano
{"title":"Modeling and generation of secure component communications in AUTOSAR","authors":"C. Bernardeschi, M. Natale, G. Dini, Dario Varano","doi":"10.1145/3019612.3019682","DOIUrl":"https://doi.org/10.1145/3019612.3019682","url":null,"abstract":"The AUTOSAR standard acknowledges the need for improved security in automotive communications by providing a set of standard modules for encryption and authentication, to ensure confidentiality and integrity. However, these modules are not currently matched by corresponding models for security at the application level, and their use is somewhat in violation of the established AUTOSAR methodology that relies on code generation from high level specifications for all the communications and scheduling features. In this paper we present modeling extensions and code generation features, developed in the context of the EU project Sahire, that aim at bridging this gap.","PeriodicalId":20728,"journal":{"name":"Proceedings of the Symposium on Applied Computing","volume":"56 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2017-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"74906152","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}
引用次数: 4
Session details: SP - software platforms track 会话详细信息:SP -软件平台跟踪
Proceedings of the Symposium on Applied Computing Pub Date : 2017-04-03 DOI: 10.1145/3243977
Jinmang Jung, Jun Huang, Hong Min
{"title":"Session details: SP - software platforms track","authors":"Jinmang Jung, Jun Huang, Hong Min","doi":"10.1145/3243977","DOIUrl":"https://doi.org/10.1145/3243977","url":null,"abstract":"The software platforms are in a constant state of change with new devices and technologies introduced almost every day. As a result, software platform developers and researchers continue to evolve software technologies that are used for increasing mobile conversions and enhancing relationships among users. The structure of software systems involves working with a wide variety of software platforms and technologies range from embedded devices and smart-phones on the low end, to enterprise and distributed systems on the high end. Many research questions remain open from limited battery to remote access control, interaction with external devices, assurance in quality of service, context-aware adaptation to the environment, interface modeling or other issues (security and privacy problems) that are obstacles to thrive software platform technologies. This track aims to share research results and experiences in Software Platforms field with researchers and developers, the track addresses all of these research issues related to software platforms.","PeriodicalId":20728,"journal":{"name":"Proceedings of the Symposium on Applied Computing","volume":"117 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2017-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75759135","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
Session details: WT - web technologies track 会话细节:WT - web技术跟踪
Proceedings of the Symposium on Applied Computing Pub Date : 2017-04-03 DOI: 10.1145/3243955
{"title":"Session details: WT - web technologies track","authors":"","doi":"10.1145/3243955","DOIUrl":"https://doi.org/10.1145/3243955","url":null,"abstract":"The World Wide Web is changing. The advent of HTML5, the increasing importance of AJAX and client-side scripting, the explosion of Web-based Social Networks as well as the advent of the Federated Social Web, the new frontiers of Semantic Web, and the importance of the integration of Web technology and Mobile Computing are some examples of this general trend. Web applications are relentlessly evolving into rich and flexible environments where users can easily access information sources, publish content, listen to music, watch videos, draw pictures, and play directly via browsers. This class of ubiquitous software systems is gaining momentum and fosters the evolution of new ways for people to interact, collaborate and cooperate. Hence, novel approaches and techniques, new tools and frameworks are needed to address the increasing complexity of these applications. This track aims at bringing together researchers and practitioners from industry and academia working on both practical and foundational aspects of Web technologies, as well as other technologies that in the Web framework have found new and unexpected application fields.","PeriodicalId":20728,"journal":{"name":"Proceedings of the Symposium on Applied Computing","volume":"5 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2017-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"72780423","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
Irony detection on microposts with limited set of features 有限特征微博的反讽检测
Proceedings of the Symposium on Applied Computing Pub Date : 2017-04-03 DOI: 10.1145/3019612.3019818
Hande Taslioglu, P. Senkul
{"title":"Irony detection on microposts with limited set of features","authors":"Hande Taslioglu, P. Senkul","doi":"10.1145/3019612.3019818","DOIUrl":"https://doi.org/10.1145/3019612.3019818","url":null,"abstract":"Detecting irony in texts attracts computer scientists' attention as a recent research problem. Automatic detection of irony on microblog texts, i.e., microposts, poses additional challenges. Microposts have limited number of characters, and generally include typing errors, therefore traditional methods of text mining cannot be applied easily. This study aims to automatically detect irony in microposts. The proposed solution is based on supervised learning through a limited set of features extracted from the text. Experimental results show the effectiveness of the approach for Turkish and English informal texts.","PeriodicalId":20728,"journal":{"name":"Proceedings of the Symposium on Applied Computing","volume":"98 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2017-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80543805","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}
引用次数: 5
Session details: CASM - collective adaptive system and middleware track 会议细节:CASM -集体自适应系统和中间件跟踪
Proceedings of the Symposium on Applied Computing Pub Date : 2017-04-03 DOI: 10.1145/3243942
{"title":"Session details: CASM - collective adaptive system and middleware track","authors":"","doi":"10.1145/3243942","DOIUrl":"https://doi.org/10.1145/3243942","url":null,"abstract":"Nowadays, most aspects of our daily life are affected by pervasive technology, referred to as Collective Adaptive Systems (CAS), consisting of massive numbers of heterogeneous units/nodes, complex interactions, and humans-in-the-loop. These systems have to be equipped with dynamic and autonomous adaptation capabilities, to deal with changes in their working environments and within themselves. The development of CAS is closely related to the area of production-level enterprise applications, with a special interest in the development, design, maintenance, scalability and other software quality attributes of Middleware. The Special Track on Collective Adaptive Systems and Middleware takes deliberately a broad view of what CAS and related middleware are and how they should be designed, analysed, built and deployed. In particular, we welcomed papers both in the foundational view (e.g., theories, methods, formalisms, models) and the practical aspects (e.g., development methodologies, programming languages, development and runtime environments, tools).","PeriodicalId":20728,"journal":{"name":"Proceedings of the Symposium on Applied Computing","volume":"11 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2017-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80777569","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
Computing super reduced program slices by composing slicing techniques 利用组合切片技术计算超精简程序切片
Proceedings of the Symposium on Applied Computing Pub Date : 2017-04-03 DOI: 10.1145/3019612.3019896
David Insa, Sergio Pérez, Josep Silva
{"title":"Computing super reduced program slices by composing slicing techniques","authors":"David Insa, Sergio Pérez, Josep Silva","doi":"10.1145/3019612.3019896","DOIUrl":"https://doi.org/10.1145/3019612.3019896","url":null,"abstract":"Program slicing is a technique to extract the part of a program (the slice) that influences or is influenced by a set of variables at a given point. Computing minimal slices is undecidable in the general case, and obtaining the minimal slice of a given program is computationally prohibitive even for very small programs. Hence, no matter what program sheer we use, in general, we cannot be sure that our slices are minimal. In this work, we present a method to automatically produce a new notion of slice that we call super reduced slice because it is constructed with the combination of different slicing techniques, including the composition of standard program sheers.","PeriodicalId":20728,"journal":{"name":"Proceedings of the Symposium on Applied Computing","volume":"51 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2017-04-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80354986","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
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学术文献互助群
群 号:481959085
Book学术官方微信