首页 > 最新文献

2013 10th International Conference on Information Technology: New Generations最新文献

英文 中文
Investigating Benefits and Limitations of E-Procurement in B2B Automakers Companies in Iran 伊朗B2B汽车制造商电子采购的利弊调查
Behnam Bahreman
There is severe competition among big foreign automakers who already have best management systems as well as the minimum finished cost by using high technology. So, it is necessary for Iranian automakers to replace ancient managerial methods with newest ones. Moreover, joining to WTO which is another target of Iranian economy makes this situation clear that we have to present new methods. Eprocurement will be one of the solutions for improving competition capability in automotive industry in Iran. This research aims to explore the degree of e-procurement usage and finding benefits and limitations of applying it in five main automotive Iranian companies included: 1. Zamyad (Z), 2. Topco (T), 3. Saze Go stare SAIPA (SGS), 4. Sanaye Khodrosazi Kerman (SKK) 5. Sapco(S).
外国大型汽车制造商之间的竞争非常激烈,因为它们已经拥有最好的管理体系,而且利用高科技将成品成本降到最低。因此,伊朗汽车企业有必要用最新的经营方式取代旧的经营方式。此外,加入世贸组织是伊朗经济的另一个目标,这表明我们必须提出新的方法。电子采购将是提高伊朗汽车行业竞争力的解决方案之一。本研究旨在探讨电子采购的使用程度,并发现在五个主要的伊朗汽车公司中应用它的好处和局限性,包括:Zamyad (Z), 2;Topco (T), 3;Saze Go stare SAIPA (SGS), 4。萨纳耶·霍德罗萨齐·克尔曼(SKK)Sapco(年代)。
{"title":"Investigating Benefits and Limitations of E-Procurement in B2B Automakers Companies in Iran","authors":"Behnam Bahreman","doi":"10.1109/ITNG.2013.119","DOIUrl":"https://doi.org/10.1109/ITNG.2013.119","url":null,"abstract":"There is severe competition among big foreign automakers who already have best management systems as well as the minimum finished cost by using high technology. So, it is necessary for Iranian automakers to replace ancient managerial methods with newest ones. Moreover, joining to WTO which is another target of Iranian economy makes this situation clear that we have to present new methods. Eprocurement will be one of the solutions for improving competition capability in automotive industry in Iran. This research aims to explore the degree of e-procurement usage and finding benefits and limitations of applying it in five main automotive Iranian companies included: 1. Zamyad (Z), 2. Topco (T), 3. Saze Go stare SAIPA (SGS), 4. Sanaye Khodrosazi Kerman (SKK) 5. Sapco(S).","PeriodicalId":320262,"journal":{"name":"2013 10th International Conference on Information Technology: New Generations","volume":"66 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125420149","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
Real-time, High-resolution Diagnosis for Osteoarthritis in the Rat Using Common-Path Fourier-Domain Optical Coherence Tomography 利用共径傅里叶域光学相干断层扫描对大鼠骨关节炎进行实时、高分辨率诊断
Sang Hun Park, D. Shin, B. Kim, Myoung Young Lee, H. Baik, Dong Heon Lee, Jeong-Hwan Seo, Chulgyu Song
The need for an inexpensive, real-time, high-resolution diagnosis for osteoarthritis (OA) is profound. After inducing OA in rats, we monitored the degradation of the articular cartilage by experimentally using in-house developed common-path Fourier-domain optical coherence tomography (CP-FDOCT). To observe the progression of OA, we injected monosodium iodoacetate (MIA) into the left knee joint. The histological images showed patterns that are similar to OCT images. These results illustrated the potential of CP-FDOCT for use in the noninvasive diagnosis of this particular grade of OA.
对骨关节炎(OA)廉价、实时、高分辨率诊断的需求是深远的。在诱导大鼠骨性关节炎后,我们通过实验使用自主研发的共径傅里叶域光学相干断层扫描(CP-FDOCT)来监测关节软骨的降解。为了观察骨性关节炎的进展,我们在左膝关节内注射碘乙酸钠(MIA)。组织学表现与OCT相似。这些结果说明了CP-FDOCT在这种特殊级别OA的无创诊断中的潜力。
{"title":"Real-time, High-resolution Diagnosis for Osteoarthritis in the Rat Using Common-Path Fourier-Domain Optical Coherence Tomography","authors":"Sang Hun Park, D. Shin, B. Kim, Myoung Young Lee, H. Baik, Dong Heon Lee, Jeong-Hwan Seo, Chulgyu Song","doi":"10.1109/ITNG.2013.133","DOIUrl":"https://doi.org/10.1109/ITNG.2013.133","url":null,"abstract":"The need for an inexpensive, real-time, high-resolution diagnosis for osteoarthritis (OA) is profound. After inducing OA in rats, we monitored the degradation of the articular cartilage by experimentally using in-house developed common-path Fourier-domain optical coherence tomography (CP-FDOCT). To observe the progression of OA, we injected monosodium iodoacetate (MIA) into the left knee joint. The histological images showed patterns that are similar to OCT images. These results illustrated the potential of CP-FDOCT for use in the noninvasive diagnosis of this particular grade of OA.","PeriodicalId":320262,"journal":{"name":"2013 10th International Conference on Information Technology: New Generations","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121377620","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
Applying the Software-to-Data Paradigm in Next Generation E-Health Hybrid Clouds 软件到数据范式在下一代电子医疗混合云中的应用
Christoph Thuemmler, Julius Mueller, S. Covaci, T. Magedanz, S. D. Panfilis, T. Jell, Armin Schneider, A. Gavras
Health care providers have over years continuously rejected Public Cloud technology for understandable concerns regarding privacy and confidentiality. The pick up rate on cloud computing in health care has been very poor reminding at the typical hype curve profile. Coincidentally Google Health has been discontinued and Microsoft Health Vault has switched focus and turned to the slightly "softer" ambient assisted living market. It seems that the idea of using Platforms as a Service and Software as a Service to manage and distribute patient data in support of new distributed patient centric care models and services will require second thoughts and new ideas in order to receive another chance to penetrate global health care markets. The 2010 EC Cloud report briefly discussed the possibility of a reverse cloud approach aiming at sending software to the data rather than the other way round [1]. This thought seems to be worthwhile exploring further, as it would also sit well with the fact that the overall amount of data is currently growing much faster than the available bandwidth, a gap that continues to widen. Therefore it would be entirely reasonable to consider ideas to bring the software to the data rather than the other way round. This approach would also address existing governance, QoS and security issues. Our paper proposes a taxonomy and an architecture for the implementation of the software-to-data-paradigm in health care scenarios. The model is based on the "FI Core Platform" an innovative concept currently under investigation under the European 7th Framework (FP7)[2].
多年来,出于对隐私和保密性的担忧,医疗保健提供商一直拒绝使用公共云技术,这是可以理解的。云计算在医疗保健领域的使用率非常低,这让人想起了典型的炒作曲线。巧合的是,Google Health已经停产,而微软Health Vault已经转移了焦点,转向稍微“柔和”的环境辅助生活市场。使用平台即服务和软件即服务来管理和分发患者数据,以支持新的分布式以患者为中心的护理模式和服务的想法似乎需要重新考虑和新的想法,以便获得另一个渗透全球医疗保健市场的机会。2010年EC云报告简要讨论了反向云方法的可能性,旨在将软件发送到数据,而不是反过来[1]。这种想法似乎值得进一步探索,因为它也符合这样一个事实,即当前数据总量的增长速度远远快于可用带宽,这一差距还在继续扩大。因此,考虑将软件与数据结合起来的想法是完全合理的,而不是反过来。这种方法还可以解决现有的治理、QoS和安全问题。我们的论文提出了一种分类法和架构,用于在医疗保健场景中实现软件到数据范式。该模型基于“FI核心平台”这一创新概念,目前正在欧洲第七框架(FP7)下进行研究[2]。
{"title":"Applying the Software-to-Data Paradigm in Next Generation E-Health Hybrid Clouds","authors":"Christoph Thuemmler, Julius Mueller, S. Covaci, T. Magedanz, S. D. Panfilis, T. Jell, Armin Schneider, A. Gavras","doi":"10.1109/ITNG.2013.77","DOIUrl":"https://doi.org/10.1109/ITNG.2013.77","url":null,"abstract":"Health care providers have over years continuously rejected Public Cloud technology for understandable concerns regarding privacy and confidentiality. The pick up rate on cloud computing in health care has been very poor reminding at the typical hype curve profile. Coincidentally Google Health has been discontinued and Microsoft Health Vault has switched focus and turned to the slightly \"softer\" ambient assisted living market. It seems that the idea of using Platforms as a Service and Software as a Service to manage and distribute patient data in support of new distributed patient centric care models and services will require second thoughts and new ideas in order to receive another chance to penetrate global health care markets. The 2010 EC Cloud report briefly discussed the possibility of a reverse cloud approach aiming at sending software to the data rather than the other way round [1]. This thought seems to be worthwhile exploring further, as it would also sit well with the fact that the overall amount of data is currently growing much faster than the available bandwidth, a gap that continues to widen. Therefore it would be entirely reasonable to consider ideas to bring the software to the data rather than the other way round. This approach would also address existing governance, QoS and security issues. Our paper proposes a taxonomy and an architecture for the implementation of the software-to-data-paradigm in health care scenarios. The model is based on the \"FI Core Platform\" an innovative concept currently under investigation under the European 7th Framework (FP7)[2].","PeriodicalId":320262,"journal":{"name":"2013 10th International Conference on Information Technology: New Generations","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126399398","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}
引用次数: 32
Integration of Root Cause Analysis into a Model-Based Testing Process of a Mobile Switching Server 将根本原因分析集成到基于模型的移动交换服务器测试过程中
M. Nieminen, Tomi D. Räty, Risto Teittinen
Model-based testing of software has proved effective for automation of testing and efficient error discovery, by utilizing modeled behavior of the system under test and automated test case generation. One of the important challenges in model-based testing is locating the fundamental sources of encountered errors. A root cause analysis solution should be able to find the causes of errors among different components in a model-based testing process, while automating the analysis to eliminate daunting data-intensive manual work. We present a design for a Root Cause Analyzer (RCA) component, aimed at automated test analysis utilizing the outputs generated in a model-based testing process, and producing human and machine readable analysis reports. A prototype RCA implementation is integrated into a tool chain used for offline functional testing of a Mobile Switching Server (MSS) in cellular networks. The RCA prototype is shown to discover causes of errors encountered during testing and pinpointing them in several components of the testing environment. The RCA design also demonstrates potential for integration into other model-based testing processes.
通过利用被测系统的建模行为和自动生成测试用例,基于模型的软件测试已被证明对测试自动化和有效的错误发现是有效的。在基于模型的测试中,一个重要的挑战是定位遇到错误的基本来源。根本原因分析解决方案应该能够在基于模型的测试过程中找到不同组件之间的错误原因,同时自动化分析以消除令人生畏的数据密集型手工工作。我们提出了一个根本原因分析器(RCA)组件的设计,旨在利用基于模型的测试过程中生成的输出进行自动化测试分析,并生成人类和机器可读的分析报告。原型RCA实现集成到工具链中,用于蜂窝网络中移动交换服务器(MSS)的离线功能测试。RCA原型用于发现测试期间遇到的错误的原因,并在测试环境的几个组件中精确地指出它们。RCA设计还展示了集成到其他基于模型的测试过程中的潜力。
{"title":"Integration of Root Cause Analysis into a Model-Based Testing Process of a Mobile Switching Server","authors":"M. Nieminen, Tomi D. Räty, Risto Teittinen","doi":"10.1109/ITNG.2013.49","DOIUrl":"https://doi.org/10.1109/ITNG.2013.49","url":null,"abstract":"Model-based testing of software has proved effective for automation of testing and efficient error discovery, by utilizing modeled behavior of the system under test and automated test case generation. One of the important challenges in model-based testing is locating the fundamental sources of encountered errors. A root cause analysis solution should be able to find the causes of errors among different components in a model-based testing process, while automating the analysis to eliminate daunting data-intensive manual work. We present a design for a Root Cause Analyzer (RCA) component, aimed at automated test analysis utilizing the outputs generated in a model-based testing process, and producing human and machine readable analysis reports. A prototype RCA implementation is integrated into a tool chain used for offline functional testing of a Mobile Switching Server (MSS) in cellular networks. The RCA prototype is shown to discover causes of errors encountered during testing and pinpointing them in several components of the testing environment. The RCA design also demonstrates potential for integration into other model-based testing processes.","PeriodicalId":320262,"journal":{"name":"2013 10th International Conference on Information Technology: New Generations","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126855925","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
Supporting of Mobility by Cooperation Nodes in the Wireless Sensor Network Routing 无线传感器网络路由中协作节点对移动性的支持
Miresmaeil Mirnabibaboli, M. Markosyan, H. Hejr
In wireless sensor networks most of the packets are scattered from sensor are directed toward sink nodes. Thus any sensor node can determine the direction of sensed data toward the sink inexplicitly. The purpose of this study is to prevent the extra overhead of packets in network and increase the energy efficiency and consequently increase the life time of network. Most of the propagated protocols in sensor network function accordingly. In this paper first we examine one of the propagated protocols, called directed diffusion then in order to support the mobility in the network. We develop this protocol by using node cooperation and clustering techniques. The modeling results show that this method with low overhead can increase the delivery rate significantly if the nodes move.
在无线传感器网络中,大部分数据包从传感器中分散出来,直接流向汇聚节点。因此,任何传感器节点都可以不明确地确定感测数据朝向接收器的方向。本研究的目的是防止网络中数据包的额外开销,提高能源效率,从而延长网络的生命周期。在传感器网络中,大多数的传播协议都是相应的。为了支持网络的移动性,本文首先研究了一种称为定向扩散的传播协议。我们采用节点协作和聚类技术开发了该协议。建模结果表明,该方法开销小,在节点移动的情况下可以显著提高投递率。
{"title":"Supporting of Mobility by Cooperation Nodes in the Wireless Sensor Network Routing","authors":"Miresmaeil Mirnabibaboli, M. Markosyan, H. Hejr","doi":"10.1109/ITNG.2013.128","DOIUrl":"https://doi.org/10.1109/ITNG.2013.128","url":null,"abstract":"In wireless sensor networks most of the packets are scattered from sensor are directed toward sink nodes. Thus any sensor node can determine the direction of sensed data toward the sink inexplicitly. The purpose of this study is to prevent the extra overhead of packets in network and increase the energy efficiency and consequently increase the life time of network. Most of the propagated protocols in sensor network function accordingly. In this paper first we examine one of the propagated protocols, called directed diffusion then in order to support the mobility in the network. We develop this protocol by using node cooperation and clustering techniques. The modeling results show that this method with low overhead can increase the delivery rate significantly if the nodes move.","PeriodicalId":320262,"journal":{"name":"2013 10th International Conference on Information Technology: New Generations","volume":"31 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128114951","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 Comparison of Usability Testing Methods for an E-Commerce Website: A Case Study on a Malaysia Online Gift Shop 电子商务网站可用性测试方法的比较——以马来西亚在线礼品店为例
K. N. Goh, Yoke Yie Chen, F. Lai, Stephanie Cristal Daud, A. Sivaji, Shi-Tzuaan Soo
Customer's perceived trust towards an e-commerce Web site is crucial for the success of online business. Effective design of Web interfaces increases perceived trust of customers. Given many associated usability issues when performing tasks on a Web site, it is important for technopreneurs embarking on online business to understand issues related to usability problems of an e-commerce Web site and the techniques to identify these issues. In this study, usability evaluation was performed on an online gift shop with a group of potential consumers with age range of 18-22. Four different evaluation methods were used: Feedback Capture after Task (FCAT), Retrospective Think Aloud (RTA), Retrospective Think Aloud with Eye Movement (RTE) and observation. This study reveals that the major defects found were language and content, user guidance and support, flexibility and control, and visual clarity. Therefore, this study suggest that applying good user interface design could provide better user experience and thus increase perceived trust and user satisfaction towards the Web site.
客户对电子商务网站的感知信任对在线业务的成功至关重要。有效的Web界面设计增加了客户的感知信任。考虑到在Web站点上执行任务时存在许多相关的可用性问题,对于从事在线业务的技术企业家来说,了解与电子商务网站可用性问题相关的问题以及识别这些问题的技术是非常重要的。在本研究中,对一家在线礼品店进行可用性评估,该在线礼品店的潜在消费者年龄在18-22岁之间。采用四种不同的评价方法:任务后反馈捕捉法(FCAT)、回顾性大声思考法(RTA)、回顾性大声思考伴眼动法(RTE)和观察法。本研究发现的主要缺陷是语言和内容、用户指导和支持、灵活性和控制以及视觉清晰度。因此,本研究认为,应用良好的用户界面设计可以提供更好的用户体验,从而增加对网站的感知信任和用户满意度。
{"title":"A Comparison of Usability Testing Methods for an E-Commerce Website: A Case Study on a Malaysia Online Gift Shop","authors":"K. N. Goh, Yoke Yie Chen, F. Lai, Stephanie Cristal Daud, A. Sivaji, Shi-Tzuaan Soo","doi":"10.1109/ITNG.2013.129","DOIUrl":"https://doi.org/10.1109/ITNG.2013.129","url":null,"abstract":"Customer's perceived trust towards an e-commerce Web site is crucial for the success of online business. Effective design of Web interfaces increases perceived trust of customers. Given many associated usability issues when performing tasks on a Web site, it is important for technopreneurs embarking on online business to understand issues related to usability problems of an e-commerce Web site and the techniques to identify these issues. In this study, usability evaluation was performed on an online gift shop with a group of potential consumers with age range of 18-22. Four different evaluation methods were used: Feedback Capture after Task (FCAT), Retrospective Think Aloud (RTA), Retrospective Think Aloud with Eye Movement (RTE) and observation. This study reveals that the major defects found were language and content, user guidance and support, flexibility and control, and visual clarity. Therefore, this study suggest that applying good user interface design could provide better user experience and thus increase perceived trust and user satisfaction towards the Web site.","PeriodicalId":320262,"journal":{"name":"2013 10th International Conference on Information Technology: New Generations","volume":"174 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127006239","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}
引用次数: 54
SynConSMutate: Concolic Testing of Database Applications via Synthetic Data Guided by SQL Mutants synconsmate:通过SQL突变体指导的合成数据对数据库应用程序进行同步测试
Tanmoy Sarkar, Samik Basu, Johnny S. K. Wong
Testing techniques for database applications typically include generation of database states (synthetic data) along with automatic generation of test cases. The quality of such test cases is evaluated on the basis of structural coverage of the host language (e.g., Java), whereas, the quality of test cases for the embedded language (e.g., SQL) is evaluated separately using mutation testing. In mutation testing, several mutants or variants of the original SQL query are generated and mutation score is calculated. It is the percentage of mutants that can be differentiated in terms of their results using the given test cases. Higher mutation score indicates higher quality of the test cases. In existing approaches the generated test cases achieve high structural coverage with respect to the generated synthetic data, but suffer from low mutation score with respect to the same data. We present a novel framework called textit{SynConSMutate} for test case and synthetic data generation for database applications. The generated test cases with respect to the newly generated synthetic data ensure high quality not only in terms of coverage of code written in the host language, but also in terms of mutant detection of the queries written in the embedded language.
数据库应用程序的测试技术通常包括数据库状态(合成数据)的生成以及测试用例的自动生成。这种测试用例的质量是在宿主语言(例如Java)的结构覆盖的基础上评估的,然而,嵌入式语言(例如SQL)的测试用例的质量是使用突变测试单独评估的。在突变测试中,生成原始SQL查询的几个突变或变体,并计算突变分数。它是可以根据使用给定测试用例的结果来区分的突变体的百分比。更高的突变分数表明测试用例的质量更高。在现有的方法中,生成的测试用例相对于生成的合成数据实现了高的结构覆盖率,但是相对于相同的数据遭受低的突变得分。我们提出了一个名为textit{SynConSMutate}的新框架,用于数据库应用程序的测试用例和合成数据生成。针对新生成的合成数据生成的测试用例不仅在用宿主语言编写的代码的覆盖率方面保证了高质量,而且在用嵌入式语言编写的查询的突变检测方面也保证了高质量。
{"title":"SynConSMutate: Concolic Testing of Database Applications via Synthetic Data Guided by SQL Mutants","authors":"Tanmoy Sarkar, Samik Basu, Johnny S. K. Wong","doi":"10.1109/ITNG.2013.54","DOIUrl":"https://doi.org/10.1109/ITNG.2013.54","url":null,"abstract":"Testing techniques for database applications typically include generation of database states (synthetic data) along with automatic generation of test cases. The quality of such test cases is evaluated on the basis of structural coverage of the host language (e.g., Java), whereas, the quality of test cases for the embedded language (e.g., SQL) is evaluated separately using mutation testing. In mutation testing, several mutants or variants of the original SQL query are generated and mutation score is calculated. It is the percentage of mutants that can be differentiated in terms of their results using the given test cases. Higher mutation score indicates higher quality of the test cases. In existing approaches the generated test cases achieve high structural coverage with respect to the generated synthetic data, but suffer from low mutation score with respect to the same data. We present a novel framework called textit{SynConSMutate} for test case and synthetic data generation for database applications. The generated test cases with respect to the newly generated synthetic data ensure high quality not only in terms of coverage of code written in the host language, but also in terms of mutant detection of the queries written in the embedded language.","PeriodicalId":320262,"journal":{"name":"2013 10th International Conference on Information Technology: New Generations","volume":"232 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132183970","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
SIP: A Simple Tool for Inspecting and Evaluating WSDL Specifications SIP:检查和评估WSDL规范的简单工具
M. Beron, G. Montejano, D. Riesco, P. Henriques, N. Debnath
Understanding a web application is not a simple task. It implies being available to interpret both their descriptions and several systems that really implement the web services. This interpreting process gathers much information and this information must be properly shown for simplifying the understanding. The descriptions of web services are an important starting point to begin to comprehend a web services. They are significant because they offer hints about the web services complexity. The web services complexity can be measured at high level abstraction considering the number of: Services, Ports, Operations, Bindings, etc. In order to carry out the task previously mentioned, the source code of web service description must be analyzed and the information must be properly displayed to the user. In this paper SIP, a Simple Inspection Tool, is described. SIP applies compilation techniques for extracting information from web services and then it computes a set of simple metrics. These metrics are used for providing an idea about web service complexity from its description. Furthermore, SIP generates visualizations based on charts, texts and source codes to help to comprehend WSDL descriptions.
理解web应用程序不是一项简单的任务。这意味着可以解释它们的描述和真正实现web服务的几个系统。这个口译过程收集了很多信息,为了简化理解,这些信息必须恰当地展示出来。web服务的描述是开始理解web服务的重要起点。它们很重要,因为它们提供了关于web服务复杂性的提示。web服务的复杂性可以在考虑服务、端口、操作、绑定等的数量的高层次抽象上进行度量。为了执行前面提到的任务,必须对web服务描述的源代码进行分析,并将信息正确地显示给用户。本文介绍了SIP,一个简单的检测工具。SIP应用编译技术从web服务中提取信息,然后计算一组简单的指标。这些指标用于从描述中提供关于web服务复杂性的概念。此外,SIP基于图表、文本和源代码生成可视化,以帮助理解WSDL描述。
{"title":"SIP: A Simple Tool for Inspecting and Evaluating WSDL Specifications","authors":"M. Beron, G. Montejano, D. Riesco, P. Henriques, N. Debnath","doi":"10.1109/ITNG.2013.10","DOIUrl":"https://doi.org/10.1109/ITNG.2013.10","url":null,"abstract":"Understanding a web application is not a simple task. It implies being available to interpret both their descriptions and several systems that really implement the web services. This interpreting process gathers much information and this information must be properly shown for simplifying the understanding. The descriptions of web services are an important starting point to begin to comprehend a web services. They are significant because they offer hints about the web services complexity. The web services complexity can be measured at high level abstraction considering the number of: Services, Ports, Operations, Bindings, etc. In order to carry out the task previously mentioned, the source code of web service description must be analyzed and the information must be properly displayed to the user. In this paper SIP, a Simple Inspection Tool, is described. SIP applies compilation techniques for extracting information from web services and then it computes a set of simple metrics. These metrics are used for providing an idea about web service complexity from its description. Furthermore, SIP generates visualizations based on charts, texts and source codes to help to comprehend WSDL descriptions.","PeriodicalId":320262,"journal":{"name":"2013 10th International Conference on Information Technology: New Generations","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133732851","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
Advanced Instruction Folding for an Object-oriented Processor 面向对象处理器的高级指令折叠
A. Fong, C. Yau, Yijun Liu
jHISC is an object-oriented processor with RISC core and architectural support for object instructions. It is a three-addressing machine instead of a stack machine as JVM. With instruction folding techniques, several JVM operations could be translated into fewer or one jHISC three-address machine code, and they execute more effectively. This paper presents an improved folding algorithm for jHISC V4.0 in which the bytecodes are divided into six types and treat the intermediate operation result as P type operations and our instruction folding algorithm is further implemented in hardware level to further reduce the translation burden in software level.
jHISC是一个面向对象的处理器,具有RISC内核和对对象指令的体系结构支持。它是一个三寻址机器,而不是像JVM那样的堆栈机器。使用指令折叠技术,可以将多个JVM操作转换为更少或一个jHISC三地址机器码,并且执行起来更有效。本文在jHISC V4.0中提出了一种改进的折叠算法,该算法将字节码分成六种类型,将中间操作结果视为P类操作,并在硬件层进一步实现我们的指令折叠算法,以进一步减少软件层的翻译负担。
{"title":"Advanced Instruction Folding for an Object-oriented Processor","authors":"A. Fong, C. Yau, Yijun Liu","doi":"10.1109/ITNG.2013.136","DOIUrl":"https://doi.org/10.1109/ITNG.2013.136","url":null,"abstract":"jHISC is an object-oriented processor with RISC core and architectural support for object instructions. It is a three-addressing machine instead of a stack machine as JVM. With instruction folding techniques, several JVM operations could be translated into fewer or one jHISC three-address machine code, and they execute more effectively. This paper presents an improved folding algorithm for jHISC V4.0 in which the bytecodes are divided into six types and treat the intermediate operation result as P type operations and our instruction folding algorithm is further implemented in hardware level to further reduce the translation burden in software level.","PeriodicalId":320262,"journal":{"name":"2013 10th International Conference on Information Technology: New Generations","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132904391","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
Linear Programming with Fuzzy Objective Function 具有模糊目标函数的线性规划
I. Alolyan
The conventional Linear Programming (LP) model requires the parameters to be known as constants. In the real world, however, the parameters are seldom known exactly and have to be estimated. Interval programming is one of the tools to tackle uncertainty in mathematical programming models. In this paper, we consider LP problem whose coefficients are uncertain. The relations between closed and bounded intervals is derived, and the solution of such a problem is proposed by considering the partial orderings on the set of all closed intervals.
传统的线性规划(LP)模型要求参数被称为常数。然而,在现实世界中,这些参数很少是确切已知的,必须加以估计。区间规划是数学规划模型中解决不确定性问题的工具之一。本文考虑系数不确定的LP问题。导出了闭区间与有界区间之间的关系,并通过考虑所有闭区间集合上的偏序,给出了这类问题的解。
{"title":"Linear Programming with Fuzzy Objective Function","authors":"I. Alolyan","doi":"10.1109/ITNG.2013.123","DOIUrl":"https://doi.org/10.1109/ITNG.2013.123","url":null,"abstract":"The conventional Linear Programming (LP) model requires the parameters to be known as constants. In the real world, however, the parameters are seldom known exactly and have to be estimated. Interval programming is one of the tools to tackle uncertainty in mathematical programming models. In this paper, we consider LP problem whose coefficients are uncertain. The relations between closed and bounded intervals is derived, and the solution of such a problem is proposed by considering the partial orderings on the set of all closed intervals.","PeriodicalId":320262,"journal":{"name":"2013 10th International Conference on Information Technology: New Generations","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2013-04-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129309262","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
期刊
2013 10th International Conference on Information Technology: New Generations
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1