Pub Date : 2014-07-21DOI: 10.1109/COMPSACW.2014.29
Miyata Sumiko, Suzuki Kazuhiro, Morizumi Tetsuya, K. Hirotsugu
The My Number program is a national identification number in Japan that will be introduced next year. Various personal information is correlated to the personal number of this program. Hence, its protection is paramount. However, whereas the aim of current security measures is to prevent leaks directly, we must consider the possibility of non-secret information being used to indirectly leak secret information by inference. We studied a hypergraph-basedmodel that can help to prevent inference of information in the My Number program. Names, addresses and other information are correlated with the personal number, and inference paths are detected by using a mapping from information stored in the program to the hyper graph. The hyper graph model and Dijkstra's algorithm are used to prevent the possibility of information leaks by inference.
{"title":"Access Control Model for the My Number National Identification Program in Japan","authors":"Miyata Sumiko, Suzuki Kazuhiro, Morizumi Tetsuya, K. Hirotsugu","doi":"10.1109/COMPSACW.2014.29","DOIUrl":"https://doi.org/10.1109/COMPSACW.2014.29","url":null,"abstract":"The My Number program is a national identification number in Japan that will be introduced next year. Various personal information is correlated to the personal number of this program. Hence, its protection is paramount. However, whereas the aim of current security measures is to prevent leaks directly, we must consider the possibility of non-secret information being used to indirectly leak secret information by inference. We studied a hypergraph-basedmodel that can help to prevent inference of information in the My Number program. Names, addresses and other information are correlated with the personal number, and inference paths are detected by using a mapping from information stored in the program to the hyper graph. The hyper graph model and Dijkstra's algorithm are used to prevent the possibility of information leaks by inference.","PeriodicalId":74502,"journal":{"name":"Proceedings : Annual International Computer Software and Applications Conference. COMPSAC","volume":"1 1","pages":"152-157"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76701072","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}
K. Brito, Marcos Antônio da Silva Costa, V. Garcia, S. Meira
The use of Government Open Data to deliver services and promote transparency is a current goal of many governments. In this paper, we briefly describe two contest winner applications with focus on these goals, and present a discussion about the difficulties of integrating Government Open Data to develop them.
{"title":"Experiences Integrating Heterogeneous Government Open Data Sources to Deliver Services and Promote Transparency in Brazil","authors":"K. Brito, Marcos Antônio da Silva Costa, V. Garcia, S. Meira","doi":"10.1109/COMPSAC.2014.87","DOIUrl":"https://doi.org/10.1109/COMPSAC.2014.87","url":null,"abstract":"The use of Government Open Data to deliver services and promote transparency is a current goal of many governments. In this paper, we briefly describe two contest winner applications with focus on these goals, and present a discussion about the difficulties of integrating Government Open Data to develop them.","PeriodicalId":74502,"journal":{"name":"Proceedings : Annual International Computer Software and Applications Conference. COMPSAC","volume":"3 1","pages":"606-607"},"PeriodicalIF":0.0,"publicationDate":"2014-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77071591","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}
Pub Date : 2014-01-01DOI: 10.1109/COMPSAC.2014.103
Xiao He, Tian Zhang, Zhiyi Ma, W. Shao
{"title":"Randomized Model Generation for Performance Testing of Model Transformations","authors":"Xiao He, Tian Zhang, Zhiyi Ma, W. Shao","doi":"10.1109/COMPSAC.2014.103","DOIUrl":"https://doi.org/10.1109/COMPSAC.2014.103","url":null,"abstract":"","PeriodicalId":74502,"journal":{"name":"Proceedings : Annual International Computer Software and Applications Conference. COMPSAC","volume":"137 1","pages":"11-20"},"PeriodicalIF":0.0,"publicationDate":"2014-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79692820","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}
Workshops present a nice place for exchange of ideas and results in different aspects of computer software and appications including software testing, security, privacy and trust, software interoperability and reuse, social and user oriented aspects of software systems and social networks, adaptive systems, middleware architecture, risk management, big data and internet of things, semantics, modelling, verification and service oriented computing. Several workshops are focused towards industrial applications and experience, such as, medical computing, embedded systems design and consumer devices. All these topics correlate well with the topics of the main conference and this creates a possibilitites for participant to get a deep and up-to-date overview of the field.
{"title":"Message from the workshops chairs","authors":"M. Matskin, Y. Okabe","doi":"10.1109/COMPSACW.2014.5","DOIUrl":"https://doi.org/10.1109/COMPSACW.2014.5","url":null,"abstract":"Workshops present a nice place for exchange of ideas and results in different aspects of computer software and appications including software testing, security, privacy and trust, software interoperability and reuse, social and user oriented aspects of software systems and social networks, adaptive systems, middleware architecture, risk management, big data and internet of things, semantics, modelling, verification and service oriented computing. Several workshops are focused towards industrial applications and experience, such as, medical computing, embedded systems design and consumer devices. All these topics correlate well with the topics of the main conference and this creates a possibilitites for participant to get a deep and up-to-date overview of the field.","PeriodicalId":74502,"journal":{"name":"Proceedings : Annual International Computer Software and Applications Conference. COMPSAC","volume":"60 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2014-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91397057","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}
Wanderson Paim de Jesus, Juliano Araujo Wickboldt, L. Granville
The disheartening and thorny path followed while deploying new solutions in the core of current computer networks, culminates in a low rate of emergence of innovation. Several researches proposed applying Software Defined Networks (SDN) and the Network Virtualization (NV) concepts to reverse this rate. However, many gaps and open challenges were observed in the application of these concepts together. In this paper, we propose the ProViNet platform, which merge the SDN and NV concepts to provide a fast and safe deployment of innovations in the existing network infrastructure. ProViNet advance the state-of-art introducing the concept of Network Programming as a Service, in which applications are built simply by composing control plane services. Such approach encourages End-Users to develop and share novel network solutions, fostering innovation. To prove concept and technical feasibility, we evaluate ProViNet with a prototype that allowed demonstrating virtual network infrastructure provisioning and programming.
在当前计算机网络的核心部署新解决方案时，随之而来的是令人沮丧和棘手的道路，最终导致创新的出现率很低。一些研究建议应用软件定义网络(SDN)和网络虚拟化(NV)概念来扭转这一速度。然而，在这些概念的共同应用中，观察到许多差距和开放的挑战。在本文中，我们提出了ProViNet平台，它融合了SDN和NV的概念，在现有的网络基础设施中提供快速和安全的创新部署。ProViNet引入了网络编程即服务(Network Programming as a Service)的概念，在这个概念中，应用程序通过组合控制平面服务来简单地构建。这种方法鼓励最终用户开发和共享新颖的网络解决方案，促进创新。为了证明概念和技术可行性，我们用一个原型来评估ProViNet，该原型允许演示虚拟网络基础设施的配置和编程。
{"title":"ProViNet - An Open Platform for Programmable Virtual Network Management","authors":"Wanderson Paim de Jesus, Juliano Araujo Wickboldt, L. Granville","doi":"10.1109/COMPSAC.2013.58","DOIUrl":"https://doi.org/10.1109/COMPSAC.2013.58","url":null,"abstract":"The disheartening and thorny path followed while deploying new solutions in the core of current computer networks, culminates in a low rate of emergence of innovation. Several researches proposed applying Software Defined Networks (SDN) and the Network Virtualization (NV) concepts to reverse this rate. However, many gaps and open challenges were observed in the application of these concepts together. In this paper, we propose the ProViNet platform, which merge the SDN and NV concepts to provide a fast and safe deployment of innovations in the existing network infrastructure. ProViNet advance the state-of-art introducing the concept of Network Programming as a Service, in which applications are built simply by composing control plane services. Such approach encourages End-Users to develop and share novel network solutions, fostering innovation. To prove concept and technical feasibility, we evaluate ProViNet with a prototype that allowed demonstrating virtual network infrastructure provisioning and programming.","PeriodicalId":74502,"journal":{"name":"Proceedings : Annual International Computer Software and Applications Conference. COMPSAC","volume":"102 1","pages":"329-338"},"PeriodicalIF":0.0,"publicationDate":"2013-07-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75785251","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}
Pub Date : 2013-01-01DOI: 10.1109/COMPSACW.2013.61
G M Tanimul Ahsan, Ivor D Addo, S Iqbal Ahamed, Daniel Petereit, Shalini Kanekar, Linda Burhansstipanov, Linda U Krebs
The prevalence of tobacco dependence in the United States (US) remains alarming. Invariably, smoke-related health problems are the leading preventable causes of death in the US. Research has shown that a culturally tailored cessation counseling program can help reduce smoking and other tobacco usage. In this paper, we present a mobile health (mHealth) solution that leverages the Short Message Service (SMS) or text messaging feature of mobile devices to motivate behavior change among tobacco users. Our approach implements the Theory of Planned Behavior (TPB) and a phase-based framework. We make contributions to improving previous mHealth intervention approaches by delivering personalized and evidence-based motivational SMS messages to participants. Our proposed solution implements machine learning algorithms that take the participant's demographic profile and previous smoking behavior into account. We discuss our preliminary evaluation of the system against a couple of pseudo-scenarios and our observation of the system's performance.
{"title":"Toward an mHealth Intervention for Smoking Cessation.","authors":"G M Tanimul Ahsan, Ivor D Addo, S Iqbal Ahamed, Daniel Petereit, Shalini Kanekar, Linda Burhansstipanov, Linda U Krebs","doi":"10.1109/COMPSACW.2013.61","DOIUrl":"https://doi.org/10.1109/COMPSACW.2013.61","url":null,"abstract":"<p><p>The prevalence of tobacco dependence in the United States (US) remains alarming. Invariably, smoke-related health problems are the leading preventable causes of death in the US. Research has shown that a culturally tailored cessation counseling program can help reduce smoking and other tobacco usage. In this paper, we present a mobile health (mHealth) solution that leverages the Short Message Service (SMS) or text messaging feature of mobile devices to motivate behavior change among tobacco users. Our approach implements the Theory of Planned Behavior (TPB) and a phase-based framework. We make contributions to improving previous mHealth intervention approaches by delivering personalized and evidence-based motivational SMS messages to participants. Our proposed solution implements machine learning algorithms that take the participant's demographic profile and previous smoking behavior into account. We discuss our preliminary evaluation of the system against a couple of pseudo-scenarios and our observation of the system's performance.</p>","PeriodicalId":74502,"journal":{"name":"Proceedings : Annual International Computer Software and Applications Conference. COMPSAC","volume":" ","pages":""},"PeriodicalIF":0.0,"publicationDate":"2013-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1109/COMPSACW.2013.61","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"40277312","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2012-07-16DOI: 10.1109/COMPSAC.2012.118
Songmao Zhang
We propose to use Semantic Web technologies to support the automatic generation of 3D computer animations. One of our projects is in the domain of Chinese traditional architecture. More precisely, the user describes in natural language the house he/she wants to build, and our system eventually generates an animation to demonstrate how the timber structure is constructed by every single piece of wood. The processing in between includes information retrieval, reasoning of various types of components needed, computation of the size and position of every wood in the 3D scene, reasoning of construction sequence, and generation of animation descriptions. We have built a knowledge base consisting of one ontology and four rule bases to support the whole automation. Different Semantic Web formalisms are used including OWL DL, SWRL and Jess language. The inference engine Pellet is used to ensure the logical consistency of the ontology, and the rule engine Jess to implement the size and position computation and sequence reasoning. Our experience in using the Semantic Web technologies in real-world systems validates their prominent advantages including the reasoning facilities and modeling tools. At the meantime, limitations are revealed including low efficiency in processing large knowledge bases.
{"title":"Position statement for the panel on creative computing: Reconciling objective precision with subjective ambiguity - Using the semantic web technologies to support automatic animation","authors":"Songmao Zhang","doi":"10.1109/COMPSAC.2012.118","DOIUrl":"https://doi.org/10.1109/COMPSAC.2012.118","url":null,"abstract":"We propose to use Semantic Web technologies to support the automatic generation of 3D computer animations. One of our projects is in the domain of Chinese traditional architecture. More precisely, the user describes in natural language the house he/she wants to build, and our system eventually generates an animation to demonstrate how the timber structure is constructed by every single piece of wood. The processing in between includes information retrieval, reasoning of various types of components needed, computation of the size and position of every wood in the 3D scene, reasoning of construction sequence, and generation of animation descriptions. We have built a knowledge base consisting of one ontology and four rule bases to support the whole automation. Different Semantic Web formalisms are used including OWL DL, SWRL and Jess language. The inference engine Pellet is used to ensure the logical consistency of the ontology, and the rule engine Jess to implement the size and position computation and sequence reasoning. Our experience in using the Semantic Web technologies in real-world systems validates their prominent advantages including the reasoning facilities and modeling tools. At the meantime, limitations are revealed including low efficiency in processing large knowledge bases.","PeriodicalId":74502,"journal":{"name":"Proceedings : Annual International Computer Software and Applications Conference. COMPSAC","volume":"26 1","pages":"309"},"PeriodicalIF":0.0,"publicationDate":"2012-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82855886","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}
Accurate and robust image analysis software is crucial for assessing the quality of ultrasound images of fetal biometry. In this work, we present the result of our automated image analysis method based on a machine learning algorithm in detecting important anatomical landmarks employed in manual scoring of ultrasound images of the fetal abdomen. Experimental results on 2384 images are promising and the clinical validation using 300 images demonstrates a high level agreement between the automated method and experts.
{"title":"Image Analysis Using Machine Learning: Anatomical Landmarks Detection in Fetal Ultrasound Images","authors":"B. Rahmatullah, A. Papageorghiou, J. A. Noble","doi":"10.1109/COMPSAC.2012.52","DOIUrl":"https://doi.org/10.1109/COMPSAC.2012.52","url":null,"abstract":"Accurate and robust image analysis software is crucial for assessing the quality of ultrasound images of fetal biometry. In this work, we present the result of our automated image analysis method based on a machine learning algorithm in detecting important anatomical landmarks employed in manual scoring of ultrasound images of the fetal abdomen. Experimental results on 2384 images are promising and the clinical validation using 300 images demonstrates a high level agreement between the automated method and experts.","PeriodicalId":74502,"journal":{"name":"Proceedings : Annual International Computer Software and Applications Conference. COMPSAC","volume":"13 1","pages":"354-355"},"PeriodicalIF":0.0,"publicationDate":"2012-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87716916","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}
Pub Date : 2012-07-16DOI: 10.1109/COMPSAC.2012.121
Tugkan Tuglular
{"title":"Panel 5: Cloud Computing for Developing Countries Panelists","authors":"Tugkan Tuglular","doi":"10.1109/COMPSAC.2012.121","DOIUrl":"https://doi.org/10.1109/COMPSAC.2012.121","url":null,"abstract":"","PeriodicalId":74502,"journal":{"name":"Proceedings : Annual International Computer Software and Applications Conference. COMPSAC","volume":"13 1","pages":"612"},"PeriodicalIF":0.0,"publicationDate":"2012-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84848452","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}
Animated computing is the process by which inputted data will be elaborated by the computer in order to produce the expected animation ready to be shown. It differs from other computer supported animation production paradigms in three aspects: the form of input, the design of output and the implementation of output. The form of input is not necessary computer instructions. It can be a piece of data, a piece of message, a piece of natural language text, or something else. The design of output is not only based on semantics, but more closely on pragmatics of the input. It infers the effect wanted by the input and tells this to the observer in animation form. The implementation of output is automated based on artificial intelligence techniques and an underlying knowledge base.
{"title":"Position statement for the panel on creative computing: Reconciling objective precision with subjective ambiguity - Animated computing changes the way and style of computer application","authors":"R. Lu","doi":"10.1109/COMPSAC.2012.98","DOIUrl":"https://doi.org/10.1109/COMPSAC.2012.98","url":null,"abstract":"Animated computing is the process by which inputted data will be elaborated by the computer in order to produce the expected animation ready to be shown. It differs from other computer supported animation production paradigms in three aspects: the form of input, the design of output and the implementation of output. The form of input is not necessary computer instructions. It can be a piece of data, a piece of message, a piece of natural language text, or something else. The design of output is not only based on semantics, but more closely on pragmatics of the input. It infers the effect wanted by the input and tells this to the observer in animation form. The implementation of output is automated based on artificial intelligence techniques and an underlying knowledge base.","PeriodicalId":74502,"journal":{"name":"Proceedings : Annual International Computer Software and Applications Conference. COMPSAC","volume":"32 1","pages":"307-308"},"PeriodicalIF":0.0,"publicationDate":"2012-07-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"87120871","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：