2014 IEEE 38th International Computer Software and Applications Conference Workshops最新文献_第8页

A Privacy-Preserving Solution for Tracking People in Critical Environments 在关键环境中跟踪人员的隐私保护解决方案

2014 IEEE 38th International Computer Software and Applications Conference Workshops Pub Date : 2014-07-21 DOI: 10.1109/COMPSACW.2014.28

F. Buccafurri, G. Lax, S. Nicolazzo, Antonino Nocera

{"title":"A Privacy-Preserving Solution for Tracking People in Critical Environments","authors":"F. Buccafurri, G. Lax, S. Nicolazzo, Antonino Nocera","doi":"10.1109/COMPSACW.2014.28","DOIUrl":"https://doi.org/10.1109/COMPSACW.2014.28","url":null,"abstract":"In critical environments a high level of security and safety is required, leading to the necessity of controlling as much as possible physical access and localization of people. An effective possibility for tracking people is based on the use of RFIDs, in such a way to have logs reporting people localization at any time. This way, the (a-posteriori) analysis of logs can provide decisive information in case of a security/safety incident. Unfortunately, in most cases, a similar solution is intolerable for privacy reasons, so that finding a good solution of the trade-off between people privacy and security/safety requirements assumes a very important role. This paper proposes an RFID-based technique to trace people but introducing a certain degree of uncertainty, in such a way that their privacy is fully preserved. This approach implements the k-anonymity property for which we are able to guess who accessed a place, at a given time, with probability k-1. An important aspect of our technique is that it is implementable via very cheap RFID tags, thus making our proposal really concrete and attractive. The experimental evaluation shows the capability of the proposed method to reach the aimed results.","PeriodicalId":123335,"journal":{"name":"2014 IEEE 38th International Computer Software and Applications Conference Workshops","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116458780","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}

引用次数: 13

I Was Confused: Robust Accountability for Permission Delegation in Cloud Federations 我很困惑:云联盟中权限授权的稳健问责制

2014 IEEE 38th International Computer Software and Applications Conference Workshops Pub Date : 2014-07-21 DOI: 10.1109/COMPSACW.2014.70

Samane Abdi

引用次数: 4

Improving Models for Model-Based Testing Based on Exploratory Testing 基于探索性测试的基于模型的测试模型改进

2014 IEEE 38th International Computer Software and Applications Conference Workshops Pub Date : 2014-07-21 DOI: 10.1109/COMPSACW.2014.110

Ceren Sahin Gebizli, Hasan Sözer

{"title":"Improving Models for Model-Based Testing Based on Exploratory Testing","authors":"Ceren Sahin Gebizli, Hasan Sözer","doi":"10.1109/COMPSACW.2014.110","DOIUrl":"https://doi.org/10.1109/COMPSACW.2014.110","url":null,"abstract":"Model-based testing facilitates automatic generation of test cases by means of models of the system under test. Correctness and completeness of these models determine the effectiveness of the generated test cases. Critical faults can be missed due to omissions in the models, which are primarily created manually. In practice, these faults are usually detected with exploratory testing performed manually by experienced test engineers. In this paper, we propose an approach for refining system models based on the experience and domain knowledge of these test engineers. Our toolset analyzes the execution traces that are recorded during exploratory testing activities and identifies the omissions in system models. The identified omissions guide the refinement of models to be able to generate more effective test cases. We applied our approach in the context of an industrial case study to improve the models for model-based testing of a Digital TV system. After applying our approach, three critical faults were detected. These faults were not detected by the initial set of test cases and they were also missed during the exploratory testing activities.","PeriodicalId":123335,"journal":{"name":"2014 IEEE 38th International Computer Software and Applications Conference Workshops","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126416375","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}

引用次数: 15

An Ironing Support System with Superimposed Information for Beginners 为初学者设计的带有叠加信息的熨烫支撑系统

2014 IEEE 38th International Computer Software and Applications Conference Workshops Pub Date : 2014-07-21 DOI: 10.1109/COMPSACW.2014.92

Kimie Suzuki, K. Fujinami

引用次数: 1

Chartists and Fundamentalists in an Agent Based Herding Model 基于主体的羊群模型中的图表分析师和原教旨主义者

2014 IEEE 38th International Computer Software and Applications Conference Workshops Pub Date : 2014-07-21 DOI: 10.1109/COMPSACW.2014.77

Souhir Masmoudi

引用次数: 3

A Meta-model Transformation from UML Activity Diagrams to Event-B Models 从UML活动图到事件- b模型的元模型转换

2014 IEEE 38th International Computer Software and Applications Conference Workshops Pub Date : 2014-07-21 DOI: 10.1109/COMPSACW.2014.119

A. B. Younes, Y. Hlaoui, Leila Jemni Ben Ayed

引用次数: 18

Modeling the Cost Structure of Identity Proofing 身份证明的成本结构建模

2014 IEEE 38th International Computer Software and Applications Conference Workshops Pub Date : 2014-07-21 DOI: 10.1109/COMPSACW.2014.34

Masaki Shimaoka, N. Sonehara

引用次数: 1

Accountability in a Context-Aware Smarthome Healthcare Reasoning System 上下文感知智能家居医疗推理系统中的问责制

2014 IEEE 38th International Computer Software and Applications Conference Workshops Pub Date : 2014-07-21 DOI: 10.1109/COMPSACW.2014.118

Bingchuan Yuan, J. Herbert

{"title":"Accountability in a Context-Aware Smarthome Healthcare Reasoning System","authors":"Bingchuan Yuan, J. Herbert","doi":"10.1109/COMPSACW.2014.118","DOIUrl":"https://doi.org/10.1109/COMPSACW.2014.118","url":null,"abstract":"Pervasive healthcare is emerging as a possible solution for the healthcare needs of an increasingly elderly population in the developed world. It is capable of providing a technology-driven approach to alleviate the healthcare needs by allowing healthcare to move from hospital-centered care to self-care, mobile care, and at-home care. When pervasive computing is used to provide technology-driven assistive healthcare, there is a need for the system to be as intelligent and sophisticated as possible, while also being as transparent and accountable as possible for both subject and caregivers. The CARA (Context Aware Real-time Assistant) healthcare system implements a sophisticated hybrid reasoning framework that incorporates both rule-based and case-based reasoning mechanisms. This provides a novel solution that combines context awareness, general domain knowledge, and automated intelligence for pervasive healthcare. The use of a sophisticated reasoning engine in healthcare demands accountability of the system. To improve the accountability of the reasoning system, we explored the use of case provenance to provide better understanding of the reasoning outcome to the user, and increase transparency. We developed a semantic-based mechanism to check the correctness and coherence of the fuzzy rules by detecting possible conflicts, this aims to eliminate inconsistency.","PeriodicalId":123335,"journal":{"name":"2014 IEEE 38th International Computer Software and Applications Conference Workshops","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131439113","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}

引用次数: 3

Testing Java Exceptions: An Instrumentation Technique 测试Java异常:一种检测技术

2014 IEEE 38th International Computer Software and Applications Conference Workshops Pub Date : 2014-07-21 DOI: 10.1109/COMPSACW.2014.105

A. L. Martins, Simone Hanazumi, A. Melo

引用次数: 8

Automated Generation of Integration Test Sequences from Logical Contracts 从逻辑契约自动生成集成测试序列

2014 IEEE 38th International Computer Software and Applications Conference Workshops Pub Date : 2014-07-21 DOI: 10.1109/COMPSACW.2014.106

Dianxiang Xu, Weifeng Xu, Manghui Tu

引用次数: 3