检索结果-内蒙古大学图书馆

18th International Conference on software engineering and Data engineering 2009, SEDE 2009

作者： Jamshidi, P. Shams, F. Khoshnevis, S. Teimourzadegan, R. Nikravesh, A. Automated Software Engineering Research Group Electrical and Computer Engineering Faculty Shahid Beheshti University Iran

ISBN: (纸本)9781615672417

Model-Driven Development (MDD) is based on the premise of giving software engineers the most suitable infrastructure, based on which they can easily construct and transform their artifacts. Several paradigms like linear four-layer infrastructure have been proposed to facilitate MDD requirements. Although recently proposed paradigms have their own advantages and superiority to the traditional paradigms, there is no formal foundation, by which they could be described. A category can be seen as a structure that formalizes a mathematician's description of a type of structure. Therefore, category theory is convenient for describing paradigm of the infrastructure. In this position paper, we provide a formal framework consisting categories of models to rearchitecting traditional linear meta-modeling paradigm to a category-based one. By adopting the paradigm, the dual classification problem arising from the need to capture both linguistic and ontological classification of model elements, could be formally clarified.

关键词： Classification (of information)

来源：评论

学校读者我要写书评

暂无评论

Network operator independent resilient overlay for mission critical applications (ROMCA)

Network operator independent resilient overlay for mission c...

引用

2009 4th International Conference on Communications and Networking in China, CHINACOM 2009

作者： Zhang, Xian Phillips, Chris Networks Research Group Department of Electronic Engineering and Computer Science University of London London United Kingdom

ISBN: (纸本)9781424443376

This paper proposes a Resilient Overlay for Mission Critical Applications (ROMCA);a novel operator-independent overlay architecture providing a resilient and reliable service across wide-area networks. One feature of ROMCA is that its overlay topology can be altered according to the underlying network conditions. Moreover, resilience is achieved by combining centralized topology construction control and distributed dynamic mapping of paths onto the overlay topology according to network conditions. ROMCA can mitigate the shortcomings of the Internet network infrastructure and provide low recovery times in the event of network failure(s).

关键词： Wide area networks

来源：评论

学校读者我要写书评

暂无评论

A metric for measuring BPEL process context-independency

A metric for measuring BPEL process context-independency

引用

IEEE International Conference on Service-Oriented Computing and Applications, SOCA' 09

作者： Khoshkbarforoushha, A. Jamshidi, P. Nikravesh, A. Khoshnevis, S. Shams, F. Automated Software Engineering Research Group Electrical and Computer Engineering Faculty Shahid Beheshti University GC Iran

ISBN: (纸本)9781424452996

BPEL provides a workflow-oriented composition model for service-oriented solutions that facilitates the system integration through orchestration and choreography of services. In some cases, BPEL process designs can be highly complex owing to the vast number of services executed in global markets. Such heavy coupling and context dependency with partners in one side and the complicated structure of the processes on the other side, provoke several undesirable drawbacks such as poor understandability, inflexibility, inadaptability, and defects. Therefore, heavy context dependency should be avoided. This paper proposes a quantitative metric to measure BPEL process context-independency which lead SOA architect determines to the extent that a BPEL process is context-independent. ©2009 IEEE.

关键词： International trade

来源：评论

学校读者我要写书评

暂无评论

A language for modeling software development life cycles

A language for modeling software development life cycles

引用

作者： Cachia, Ernest Micallef, Mark Software Engineering Process Improvement Research Group Department of Computer Science University of Malta Malta

ISBN: (纸本)1891706241

As the profession of software engineering has continued to mature, a substantial body of work has built up in the area of software development life cycles. A variety of generic models ranging from waterfall to agile have appeared over the past few decades, all claiming to address prominent issues in software engineering. In this paper, the authors make an argument for developing a unifying language with the capabilities of defining and modeling any software development life cycle. The concept is similar to the way UML is a language that can be used to model any conceivable object oriented software solution. A number of reasons are provided as to why this would be a useful contribution to software engineering. The authors also discuss work which they have been carrying out in this area and outline the main features and semantics of such a language.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Testing requirements for mobile applications

Testing requirements for mobile applications

引用

International International Symposium on computer and Information Sciences (ISCIS)

作者： Valeria Lelli Leitao Dantas Fabiana Gomes Marinho Aline Luiza da Costa Rossana M. C. Andrade Group of Computer Networks Software Engineering and Systems GREat Federal University of Ceará Brazil Group of Computer Networks Software Engineering and Systems Federal University of Ceará Brazil Group of Computer Networks Software Engineering and Systems GREat Federal University of Ceará UFC Brazil

Wireless networks have contributed to the technological advance that popularized the use of mobile devices, and fostered the development of applications targeted to these devices. However, issues such as mobility and communication intermittency, as well as processing, storage and battery constraints demand changes in the traditional software testing process. This paper aims to present testing requirements that are specific to applications developed for mobile devices. We also show that these requirements can improve productivity and efficacy in the testing process of an application.

关键词： Application software software testing Mobile computing Batteries Mobile communication Productivity Context Network interfaces Personal digital assistants software quality

来源：评论

学校读者我要写书评

暂无评论

A framework for text visualization using memory traffic management for mobile devices 09

A framework for text visualization using memory traffic mana...

引用

24th Annual ACM Symposium on Applied Computing, SAC 2009

作者： Ferreira Filho, João Bosco Neto, José De S. R. Lima, Cláudio R. F. Andrade, Rossana M. C. Universidade Federal Do Ceará - UFC Computer Networks Software Engineering and Systems Group - GREat Campus Do Pici Bloco 942-A 60455-760 - Fortaleza Ceará Brazil

ISBN: (纸本)9781605581668

Graphical User Interfaces (GUIs) of document viewers have gained attention with the increase on the number of mobile applications that uses it. However, mobile devices are still limited in relation to the available functionalities for text exhibition. Other limitations of these devices are the memory size, processing capacity and battery. This paper describes a framework for text visualization that safely manages memory traffic for mobile applications that intensively use bitmap font files, such as a document viewer. The main goal is to diversify the functionalities concerning to text exhibition in mobile devices, but also minimizing memory traffic. Copyright 2009 ACM.

关键词： Mobile computing

来源：评论

学校读者我要写书评

暂无评论

A Tester-Assisted Methodology for Test Redundancy Detection

引用

Advances in software engineering 2010年第1期2010卷

作者： Negar Koochakzadeh Vahid Garousi Software Quality Engineering Research Group (SoftQual) Department of Electrical and Computer Engineering Schulich School of Engineering University of Calgary Calgary AB Canada T2N 1N4ucalgary.ca

Test redundancy detection reduces test maintenance costs and also ensures the integrity of test suites. One of the most widely used approaches for this purpose is based on coverage information. In a recent work, we have shown that although this information can be useful in detecting redundant tests, it may suffer from large number of false-positive errors, that is, a test case being identified as redundant while it is really not. In this paper, we propose a semiautomated methodology to derive a reduced test suite from a given test suite, while keeping the fault detection effectiveness unchanged. To evaluate the methodology, we apply the mutation analysis technique to measure the fault detection effectiveness of the reduced test suite of a real Java project. The results confirm that the proposed manual interactive inspection process leads to a reduced test suite with the same fault detection ability as the original test suite.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Assessment of NER solutions against the first and second CALBC Silver Standard Corpus

Assessment of NER solutions against the first and second CAL...

引用

4th International Symposium on Semantic Mining in Biomedicine, SMBM 2010

作者： Rebholz-Schuhmann, Dietrich Yepes, Antonio Jimeno Li, Chen Kafkas, Senay Lewin, Ian Kang, Ning Corbett, Peter Milward, David Buyko, Ekaterina Beisswanger, Elena Hornbostel, Kerstin Kouznetsov, Alexandre Witte, René Laurila, Jonas B. Baker, Christopher J.O. Kuo, Cheng-Ju Clematide, Simone Rinaldi, Fabio Farkas, Richárd Móra, György Hara, Kazuo Furlong, Laura Rautschka, Michael Neves, Mariana Lara Pascual-Montano, Alberto Wei, Qi Collier, Nigel Chowdhury, Md. Faisal Mahbub Lavelli, Alberto Berlanga, Rafael Morante, Roser Van Asch, Vincent Daelemans, Walter Marina, José Luís Van Mulligen, Erik Kors, Jan Hahn, Udo EMBL Outstation European Bioinformatics Institute Hinxton Cambridge CB10 1SD United Kingdom Dept. of Medical Informatics Erasmus University Medical Center Rotterdam NL Netherlands Linguamatics Ltd. St. John's Innovation Centre Cambridge United Kingdom Lab. Friedrich-Schiller-Universität Jena Germany Dept. of Computer Science and Applied Statistics University of New Brunswick Canada Dept. of Computer Science and Software Engineering Concordia University Montreal Canada Institute of Information Science Academia Sinica Taipei 115 Taiwan University of Zürich Switzerland Research Group on Artificial Intelligence Hungarian Academy of Sciences Hungary Institute of Science and Technology Nara Japan IMIM DCEX Universitat Pompeu Fabra Barcelona Spain Madrid Spain National Institute of Informatics Tokyo Japan Fondazione Bruno Kessler Trento Italy Universitat Jaume I Spain CLiPS University of Antwerp Belgium Complutense University of Madrid Spain

Background: Text mining challenges have been organised to measure the performance of automatic text mining solutions against a manually annotated gold standard corpus (GSC). The preparation of the GSC is timeconsuming and costly and the final corpus consists at the most of a few thousand documents annotated with a limited set of semantic groups. To overcome these shortcomings, the CALBC project partners (PPs) have produced a large-scale annotated biomedical corpus with four different semantic groups through the harmonisation of annotations from automatic text mining solutions, the first version of the Silver Standard Corpus (SSC-I). The four semantic groups were chemical entities and drugs (CHED), genes and proteins (PRGE), diseases and disorders (DISO) and species (SPE). This corpus has been used for the First CALBC Challenge asking the participants to annotate the corpus with their annotation solutions.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Implementing a high-volume, low-latency market data processing system on commodity hardware using IBM middleware

Implementing a high-volume, low-latency market data processi...

引用

2nd Workshop on High Performance Computational Finance, WHPCF '09

作者： Zhang, Xiaolan J. Andrade, Henrique Gedik, Buǧra King, Richard Morar, John Nathan, Senthil Park, Yoonho Pavuluri, Raju Pring, Edward Schnier, Randall Selo, Philippe Spicer, Michael Uhlig, Volkmar Venkatramani, Chitra IBM Watson Research Center IBM Software Group United States Department of Electrical and Computer Engineering University of Illinois Urbana-Champaign IL United States

ISBN: (纸本)9781605587165

A stock market data processing system that can handle high data volumes at low latencies is critical to market makers. Such systems play a critical role in algorithmic trading, risk analysis, market surveillance, and many other related areas. We show that such a system can be built with general-purpose middleware and run on commodity hardware. The middleware we use is IBM System S, which has been augmented with transport technology from IBM WebSphere MQ Low Latency Messaging. Using eight commodity x86 blades connected with Ethernet and Infiniband, this system can achieve 80 μsec average latency at 3 times the February 2008 options market data rate and 206 μsec average latency at 15 times the February 2008 rate. Copyright © 2009 ACM.

关键词： Middleware

来源：评论

学校读者我要写书评

暂无评论

Dependable workflow scheduling in global grids

Dependable workflow scheduling in global grids

引用

2009 10th IEEE/ACM International Conference on Grid Computing, Grid 2009

作者： Rahman, Mustafizur Ranjan, Rajiv Buyya, Rajkumar Grid Computing and Distributed Systems Laboratory Department of Computer Science and Software Engineering University of Melbourne Australia Service Oriented Computing Research Group School of Computer Science and Engineering University of New South Wales Australia

ISBN: (纸本)9781424451494

In this paper, a reputation-based Grid workflow scheduling algorithm is proposed to counter the effect of inherent unreliability and temporal characteristics of computing resources in large scale, decentralized Grid overlays. The proposed approach builds upon structured peer-to-peer indexing and overlay networking techniques to create a scalable wide-area networking of Grid sites for supporting dependable scheduling of applications. The scheduling algorithm considers reliability of a Grid resource as a statistical property, which is globally computed in the decentralized Grid overlay based on dynamic feedbacks or reputation scores assigned by individual service consumers (Grid Resource Brokers). The proposed algorithm can dynamically adapt to changing resource conditions and offer significant performance gains as compared to traditional approaches in the event of unsuccessful job execution or resource failure. We evaluate and demonstrate the feasibility of our approach through an extensive trace driven simulation. The results show that our scheduling technique can reduce the makespan up to 50% and successfully isolate the failure-prone resources from the system. © 2009 IEEE.

关键词： Scheduling algorithms

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：