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

2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT)最新文献

筛选
英文 中文
A parallel implementation of multiple secrete image sharing based on Cellular Automata with LSB steganography 基于元胞自动机和LSB隐写的多秘密图像共享并行实现
2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT) Pub Date : 2013-10-24 DOI: 10.1109/SoMeT.2013.6645679
A. Hernandez-Becerril, M. Nakano-Miyatake, M. Ramirez-Tachiquin, H. Meana
{"title":"A parallel implementation of multiple secrete image sharing based on Cellular Automata with LSB steganography","authors":"A. Hernandez-Becerril, M. Nakano-Miyatake, M. Ramirez-Tachiquin, H. Meana","doi":"10.1109/SoMeT.2013.6645679","DOIUrl":"https://doi.org/10.1109/SoMeT.2013.6645679","url":null,"abstract":"In this work we propose a parallel implementation of a Cellular Automata (CA)-based multiple secret image sharing (SIS) with a Least Significant Bit (LSB) Stenography. In previous CA-based multiple-SIS schemes, the resulting encrypted files are noise-like appearance images, which arises suspicion of observers when these are transmitted through a public network. To solve this problem, the LSB steganography is used to hide the encrypted noise-like images into camouflage images. To reduce execution time of the encoding and the decoding process of the SIS scheme, a parallel implementation based on CUDA technology is proposed. The simulation results demonstrate that the proposed parallel algorithm is more than 7 times faster than the conventional sequential algorithm. This reduction of temporal complexity and obtaining unnoticed shares allow the reliability of this scheme to be used in many information security fields such as the user-devices and cloud storage environments.","PeriodicalId":447065,"journal":{"name":"2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT)","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125048441","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
Development of software for decision analysis 决策分析软件的开发
2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT) Pub Date : 2013-10-24 DOI: 10.1109/SoMeT.2013.6645661
M. Danielson, L. Ekenberg
{"title":"Development of software for decision analysis","authors":"M. Danielson, L. Ekenberg","doi":"10.1109/SoMeT.2013.6645661","DOIUrl":"https://doi.org/10.1109/SoMeT.2013.6645661","url":null,"abstract":"To be useful in reality, decision analytical tools must be able to handle imprecise information. This paper presents the algorithmic software design against a background of an evaluation method for analysing decision situations under semi-strong uncertainty. The design is built on a relaxation of the requirement for precise utilities, probabilities, and weights. To handle this, the calculations involved become computationally intensive to match an interactive work flow and the approach required implementation of new algorithms. We describe some particularly interesting implementation aspects of these and show how these computations can be tractable.","PeriodicalId":447065,"journal":{"name":"2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT)","volume":"116 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115086018","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
Scientifically experimental way-of-working in conceptual designing of software intensive systems 软件密集型系统概念设计中的科学实验工作方法
2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT) Pub Date : 2013-10-24 DOI: 10.1109/SoMeT.2013.6645675
P. Sosnin
{"title":"Scientifically experimental way-of-working in conceptual designing of software intensive systems","authors":"P. Sosnin","doi":"10.1109/SoMeT.2013.6645675","DOIUrl":"https://doi.org/10.1109/SoMeT.2013.6645675","url":null,"abstract":"Inclusion of experimenting into way-of-working used by a team of designers facilitates increasing a degree of successfulness in designing of Software Intensive Systems (SIS). This paper presents a scientific approach to experiments the objects of which are units of designers' behavior aimed at solving the project tasks in conceptual designing. The offered approach is based on specifying the behavior units as precedents and pseudo-code programming the plans of experiments. Reasoning used by designers in experiments is registered in question-answer forms. Experimenting is being supported by a specialized toolkit.","PeriodicalId":447065,"journal":{"name":"2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT)","volume":"101 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124671878","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}
引用次数: 10
A guideline for choosing the best modeling approach for maritime logistic simulation 海上物流仿真最佳建模方法选择指南
2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT) Pub Date : 2013-10-24 DOI: 10.1109/SoMeT.2013.6645649
R. Revetria, P. Giribone, Alessandro Testa
{"title":"A guideline for choosing the best modeling approach for maritime logistic simulation","authors":"R. Revetria, P. Giribone, Alessandro Testa","doi":"10.1109/SoMeT.2013.6645649","DOIUrl":"https://doi.org/10.1109/SoMeT.2013.6645649","url":null,"abstract":"Simulation is the best tool used for any nontrivial, real world system and many simulation tools are today available for supporting complex system modeling. In general any simulation language or tool is suitable for any application however some approaches could provide easier and better results than others. This paper provides some practical suggestion specifically for maritime operations.","PeriodicalId":447065,"journal":{"name":"2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129000078","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
Knowledge-based system acquisition for competitiveness predictions in decision making 基于知识的系统获取，用于决策中的竞争力预测
2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT) Pub Date : 2013-10-24 DOI: 10.1109/SoMeT.2013.6645673
Yu-Chien Ko, H. Fujita
{"title":"Knowledge-based system acquisition for competitiveness predictions in decision making","authors":"Yu-Chien Ko, H. Fujita","doi":"10.1109/SoMeT.2013.6645673","DOIUrl":"https://doi.org/10.1109/SoMeT.2013.6645673","url":null,"abstract":"The competitiveness knowledge can help making national strategies and decisions. However, the computerization of competitiveness knowledge is hard to be fulfilled. The reason includes competitiveness properties cover a broad range of criteria and their relationship is not well structured. This research proposes a knowledge-based system for competitiveness, taking advantages of the object-oriented technique to integrate preference information and mathematical measures. Furthermore, extending the derived knowledge beyond the original understanding is designed to provide the competitiveness features, utilities, and patterns.","PeriodicalId":447065,"journal":{"name":"2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT)","volume":"25 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132411123","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
A representation method to simplify traceability links between software artifacts 简化软件工件之间的可追溯性链接的表示方法
2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT) Pub Date : 2013-10-24 DOI: 10.1109/SoMeT.2013.6645647
Mitsuharu Kitamura, Masanori Takagi, Keizo Yamada, Jun Sasaki
{"title":"A representation method to simplify traceability links between software artifacts","authors":"Mitsuharu Kitamura, Masanori Takagi, Keizo Yamada, Jun Sasaki","doi":"10.1109/SoMeT.2013.6645647","DOIUrl":"https://doi.org/10.1109/SoMeT.2013.6645647","url":null,"abstract":"Requirement traceability is essential in verifying compatibility between software requirements and various work products in development phases. However, many organizations cannot employ traceability efficiently because of the large number and complex nature of traceability links. It is necessary to reduce the number and complexity of traceability links for effective verification. We propose a method with which to simplify the traceability links between software requirements and work products in software development processes. We describe the effectiveness of the proposed method in a case study tested of a real software development project.","PeriodicalId":447065,"journal":{"name":"2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT)","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133683048","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
A probabilistic verification framework of SysML activity diagrams SysML活动图的概率验证框架
2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT) Pub Date : 2013-10-24 DOI: 10.1109/SoMeT.2013.6645657
Samir Ouchani, O. Mohamed, M. Debbabi
{"title":"A probabilistic verification framework of SysML activity diagrams","authors":"Samir Ouchani, O. Mohamed, M. Debbabi","doi":"10.1109/SoMeT.2013.6645657","DOIUrl":"https://doi.org/10.1109/SoMeT.2013.6645657","url":null,"abstract":"SysML activity diagrams are OMG/INCOSE standard used for modeling and analyzing probabilistic systems. In this paper, we propose a formal verification framework that is based on PRISM probabilistic symbolic model checker to verify the correctness of these diagrams. To this end, we present an efficient algorithm that transforms a composition of SysML activity diagrams to an equivalent probabilistic automata encoded in PRISM input language. To clarify the quality of our verification framework, we formalize both SysML activity diagrams and PRISM input language. Finally, we demonstrate the effectiveness of our approach by presenting a case study.","PeriodicalId":447065,"journal":{"name":"2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT)","volume":"112 3‐4","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132908091","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
Transitional state estimation interpretation using a Kalman filter approach in the automotive industry 汽车工业中使用卡尔曼滤波方法的过渡状态估计解释
2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT) Pub Date : 2013-10-24 DOI: 10.1109/SoMeT.2013.6645677
L. Crisan, A. Gontean
{"title":"Transitional state estimation interpretation using a Kalman filter approach in the automotive industry","authors":"L. Crisan, A. Gontean","doi":"10.1109/SoMeT.2013.6645677","DOIUrl":"https://doi.org/10.1109/SoMeT.2013.6645677","url":null,"abstract":"This paper aims to introduce a new area of usage for the Kalman filtering for evaluating the state of software generated PWM (pulse width modulation) signal. The goal was to implement a Kalman filter in a test and measurement application for the automotive industry, using real time processing and post processing techniques and provide an analysis a PWM transitional signal analysis, power factor for a light driver module.","PeriodicalId":447065,"journal":{"name":"2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT)","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-10-24","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124616489","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
Reasoning about social commitments in the presence of uncertainty 在不确定的情况下对社会承诺进行推理
2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT) Pub Date : 2013-09-01 DOI: 10.1109/SoMeT.2013.6645676
Khalid Sultan, M. El-Menshawy, J. Bentahar
{"title":"Reasoning about social commitments in the presence of uncertainty","authors":"Khalid Sultan, M. El-Menshawy, J. Bentahar","doi":"10.1109/SoMeT.2013.6645676","DOIUrl":"https://doi.org/10.1109/SoMeT.2013.6645676","url":null,"abstract":"Interaction among autonomous agents in Multi-Agent Systems (MASs) is a key aspect for agents to coordinate with one another. Social approaches, as opposite to the mentalistic approaches, have received a considerable attention in the area of agent communication recently. They exploit observable social commitments to develop a verifiable formal semantics by which communication protocols can be specified. However, treating social commitments in stochastic systems is entirely missing in the literature. In this paper, we present a new logical language called Probabilistic Computation Tree Logic of Commitments, PCTLC for short, to specify and reason about social commitments in systems exhibiting uncertainty. The proposed modal logic extends PCTL with modalities for commitments and their fulfillments. We model MASs using two extended versions of interpreted systems to capture the probabilistic behavior of MASs, and account for the communication between the interacting agents.","PeriodicalId":447065,"journal":{"name":"2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT)","volume":"9 11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130441184","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}
引用次数: 6
A workflow optimization by handling interruption with meta-heuristic approach 用元启发式方法处理中断的工作流优化
2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT) Pub Date : 2013-09-01 DOI: 10.1109/SoMeT.2013.6645672
Kohei Sugawara, H. Fujita
{"title":"A workflow optimization by handling interruption with meta-heuristic approach","authors":"Kohei Sugawara, H. Fujita","doi":"10.1109/SoMeT.2013.6645672","DOIUrl":"https://doi.org/10.1109/SoMeT.2013.6645672","url":null,"abstract":"Decision making of worker for appropriate task selection based on workflow is often changed by occurring interruption. Pre-assignment by superior decision maker is one of criteria for the task selection. Expected task achievement by pre-assignment is changed by occurring interruption due to inserting external activity to the worker. Interruption consumes usable time for the current workflow by operating generated new task. The concerned workers of interrupted workflow must optimize workflow to improve consumed time of current tasks by changing engagement of assigned tasks. Proposed approach in this paper improves the changed achievement of tasks in certain interruption by applying meta-heuristic approach.","PeriodicalId":447065,"journal":{"name":"2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133556688","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
首页 上一页
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学术官方微信