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

Semantic query optimization in deductive object-oriented databases 3rd

3rd International Conference on Deductive and Object-Oriented Databases, DOOD 1993

作者： Yoon, Jong P. Kerschberg, Larry Department of Information and Software Systems Engineering School of Information Technology and Engineering George Mason University FalrfaxVA22030-4444 United States

ISBN: (纸本)9783540575306

This paper addresses the problem of semantic query reformulation in the context of object-oriented deductive databases. It extends the declarative object-oriented specifications of F-logic proposed by Kifer and Lausen using the semantic query optimization technique developed by Chakravarthy, Grant, and Minker. In general, query processing in object-oriented databases is expensive when a query incorporates declarative rules, methods and inherited properties. We introduce the technique of semantic query reformulation for F-logic queries which transforms the original query into an equivalent, semantically-rich query that is more efficiently processed. We also discuss the issues of conflict resolution strategies and query evaluation priorities for queries involving the upper bounds of objects in the F-logic "type" lattice. © Springer-Verlag Berlin Heidelberg 1993.

关键词： Object-oriented databases

来源：评论

学校读者我要写书评

暂无评论

Framework for Effective Utilization of Distributed Scrum in software Projects

引用

Computer systems Science & engineering 2023年第1期44卷 407-422页

作者： Basit Shahzad Wardah Naeem Awan Fazal-e-Amin Ahsanullah Abro Muhammad Shoaib Sultan Alyahya Department of Software Engineering National University of Modern LanguagesIslamabad44000Pakistan Department of Software Engineering College of Computer and Information SciencesKing Saud UniversityRiyadh11543Saudi Arabia Department of Computer Science Sukkur IBA UniversitySindh65200Pakistan Department of Information Systems College of Computer and Information SciencesKing Saud UniversityRiyadh11543Saudi Arabia

There is an emerging interest in using agile methodologies in Global software Development(GSD)to get the mutual benefits of both *** is currently admired by many development teams as an agile most known meth-odology and considered adequate for collocated *** the same time,stake-holders in GSD are dispersed by geographical,temporal,and socio-cultural *** to the controversial nature of Scrum and GSD,many significant challenges arise that might restrict the use of Scrum in *** conducted a Sys-tematic Literature Review(SLR)by following Kitchenham guidelines to identify the challenges that limit the use of Scrum in GSD and to explore the mitigation strategies adopted by practitioners to resolve the *** validate our reviewfindings,we conducted an industrial survey of 305 *** results of our study are consolidated into a research *** framework represents current best practices and recommendations to mitigate the identified distributed scrum challenges and is validated byfive experts of distributed *** of the expert review were found supportive,reflecting that the framework will help the stakeholders deliver sustainable products by effectively mitigating the identified challenges.

关键词： Global software development distributed Scrum sustainable development challenges mitigation strategies

来源：评论

学校读者我要写书评

暂无评论

Empowering end-users to collaboratively structure processes for knowledge work 18th

Empowering end-users to collaboratively structure processes ...

引用

18th International Conference on Business information systems, BIS 2015

作者： Hauder, Matheus Kazman, Rick Matthes, Florian Software Engineering for Business Information Systems Technical University Munich Munich Germany Software Engineering Institute Carnegie Mellon University Pittsburgh United States

ISBN: (纸本)9783319190266

Knowledge work is becoming the predominant type of work in many countries and is involved in the most important processes in organizations. Despite its increasing importance business information systems still lack appropriate support for knowledge-intensive processes, since existing workflow management solutions are too rigid and provide no means to deal with unpredictable situations. Future business information systems that attempt to improve this support need to solve the problem of facilitating non-expert users to structure their processes. The recently published Case Management Model and Notation (CMMN) might overwhelm non-expert users. Our research hypotheses is that end-users can be empowered to structure processes for knowledge work. In an evaluation with two student teams working on a software development project our solution improved the information structure, reproducibility, progress visualization, work allocation and guidance without losing the flexibility compared to a leading agile project management tool. © Springer International Publishing Switzerland 2015.

关键词： Workflow management

来源：评论

学校读者我要写书评

暂无评论

THE USE, LIMITATIONS AND CUSTOMIZATION OF STRUCTURED systems-DEVELOPMENT METHODS IN THE UNITED-KINGDOM

引用

information AND software TECHNOLOGY 1995年第9期37卷 467-477页

作者： HARDY, CJ THOMPSON, JB EDWARDS, HM Commercial Software Engineering Research Group University of Sunderland School of Computing and Information Systems Sunderland SR1 3SD UK

Established structured systems development methods are getting larger, but often only implicitly support customization for particular projects, This paper examines the consequences of this situation, and makes reference to a survey carried out in the first half of 1994 into the use of methods and their customization, The results of this survey suggest that structured methods are not as widely used as they might be, Most departments customize their methods, but gain knowledge of this process through experience, Structured method users do not have more confidence in their method than in-house method users, It is argued that this may be the result of poor support for the customization process.

关键词： STRUCTURED METHODS CUSTOMIZATION CASE

来源：评论

学校读者我要写书评

暂无评论

An ontology-based well-founded proposal for modeling resources and capabilities in archimate

An ontology-based well-founded proposal for modeling resourc...

引用

17th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2013

作者： Azevedo, Carlos L.B Iacob, Maria-Eugenia Almeida, Joao Paulo A. Van Sinderen, Marten Pires, Luis Ferreira Guizzardi, Giancarlo Vitória ES Brazil Department of Industrial Engineering and Business Information Systems Netherlands Information and Software Engineering Systems Group Centre for Telematics and Information Technology University of Twente Enschede Netherlands

The importance of capabilities and resources for portfolio management and business strategy has been recognized in the management literature and on a recent proposal to extend ArchiMate, which includes these concepts in order to improve ArchiMate's coverage of portfolio management. This paper presents an ontological analysis of the concepts introduced in that proposal, focusing in particular on the resource, capability and competence concepts. As a result, it proposes well-founded recommendations for improvements, enhancing its suitability and integration possibilities. © 2013 IEEE.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Study of a Low-Cost PV Emulator for Testing MPPT Algorithm Under Fast Irradiation and Temperature Change

引用

Technology and Economics of Smart Grids and Sustainable Energy 2018年第1期3卷 1-10页

作者： Chalh, A. Motahhir, S. El Hammoumi, A. El Ghzizal, A. Derouich, A. Laboratory of Production Engineering Energy and Sustainable Development Smart Energy Systems and Information Processing Research Team Higher School of Technology SMBA University Fez Morocco

This paper presents a study of a low-cost photovoltaic (PV) emulator to test the real implementation of maximum power point tracking (MPPT) algorithm. This PV emulator is composed of a variable DC supply in series with a variable resistor;it is based on the maximum power transfer theorem in order to provide a curve that exhibits a peak which can be tracked by an MPPT algorithm. Moreover, this emulator can be used to test the performance of the MPPT algorithm under fast variation of the solar irradiance and temperature. For this reason, the P&O MPPT algorithm with a boost DC-DC converter is used in order to validate the functionality of the PV emulator. Finally, the experimental results show that our PV emulator can provide a simple, efficient and low-cost way for users (researchers, engineers, students, etc.) to test and validate their MPPT algorithms. © 2018, Springer Nature Singapore Pte Ltd.

关键词： Costs

来源：评论

学校读者我要写书评

暂无评论

Verify All Traffic: Towards Zero-Trust In-Network Intrusion Detection against Multipath Routing

引用

IEEE Journal on Selected Areas in Communications 2025年第6期43卷 2155-2171页

作者： Zhao, Ziming Li, Zhaoxuan Xie, Xiaofei Liu, Zhipeng Li, Tingting Yu, Jiongchi Zhang, Fan Chen, Binbin School of Software Technology Zhejiang University Ningbo315100 China College of Computer Science and Technology Zhejiang University Hangzhou310027 China ZJU-Hangzhou Global Scientific and Technological Innovation Center 311200 China Key Laboratory of Blockchain and Cyberspace Governance of Zhejiang Province 310027 China Jiaxing Research Institute Zhejiang University 314000 China Zhengzhou Xinda Institute of Advanced Technology Zhengzhou450001 China Singapore State Key Laboratory of Information Security Institute of Information Engineering Chinese Academy of Sciences Beijing100093 China School of Cyber Security UCAS Beijing100049 China School of Computing and Information Systems Singapore Management University Singapore188065 Singapore Advanced Digital Sciences Center Singapore138632 Singapore Singapore University of Technology and Design SingaporeB96049 Singapore

With the popularity of encryption protocols, machine learning (ML)-based traffic analysis technologies have attracted widespread attention. To adapt to modern high-speed bandwidth, recent research is dedicated to advancing zero-trust intrusion detection by offloading feature extraction and model inference into the network dataplane. Especially, with the rise of programmable switches, achieving line-speed ML inference becomes promising. However, existing research only considers a single switch node as a relay to conduct evaluation. This is far from real-world deployments involving multiple switches (given that zero-trust security assumes that threats can originate from anywhere, including within the network), particularly the multi-path routing phenomenon that exists in practice. In this paper, we reveal practical challenges in the context of enabling line-speed model inference in the network dataplane. Furthermore, we propose FCPlane, the forwarding and computing integrated dataplane for zero-trust intrusion detection that aims to enable efficient load balancing while providing reliable traffic analysis results, even against multipath routing. The core idea is to reconcile forwarding and computation to the flowlet level, for which a tailor-made Markov chain model is designed. Based on two public traffic datasets, we evaluate seven state-of-the-art in-network traffic analysis models deployed in four types of topologies (three with multipath routing and one without) to explore performance impact and demonstrate the effectiveness of our proposal. © 1983-2012 IEEE.

关键词： Network intrusion

来源：评论

学校读者我要写书评

暂无评论

Study on Four Disturbance Observers for FO-LTI systems

引用

IEEE/CAA Journal of Automatica Sinica 2016年第4期3卷 442-450页

作者： Songsong Cheng Shengguo Wang Yiheng Wei Qing Liang Yong Wang Department of Automation University of Science and Technology of China IEEE Department of Engineering Technology and Department of Software and Information Systems University of North Carolina (UNC) at Charlotte

This paper addresses the problem of designing disturbance observer for fractional order linear time invariant U+0028 FO-LTI U+0029 systems, where the disturbance includes time series expansion disturbance and sinusoidal disturbance. On one hand, the reduced order extended state observer U+0028 ROESO U+0029 and reduced order cascade extended state observer U+0028 ROCESO U+0029 are proposed for the case that the system state can be measured directly. On the other hand, the extended state observer U+0028 ESO U+0029 and the cascade extended state observer U+0028 CESO U+0029 are presented for another case when the system state cannot be measured directly. It is shown that combination of ROCESO and CESO can achieve a highly effective observation result. In addition, the way how to tune observer parameters to ensure the stability of the observers and reduce the observation error is presented in this paper. Finally, numerical simulations are given to illustrate the effectiveness of the proposed methods. © 2014 Chinese Association of Automation.

关键词： Linear systems Numerical methods

来源：评论

学校读者我要写书评

暂无评论

A component-oriented programming for embedded mobile robot software

引用

International Journal of Advanced Robotic systems 2007年第3期4卷 371-380页

作者： Jawawi, Dayang N. A. Mamat, Rosbi Deris, Safaai Department of Software Engineering Faculty of Computer Science and Information Systems Universiti Teknologi Malaysia 81310 UTM Skudai Malaysia Department of Mechatronics and Robotics Engineering Faculty of Electrical Engineering Universiti Teknologi Malaysia 81310 UTM Skudai Malaysia

Applying software reuse to many Embedded Real-Time (ERT) systems poses significant challenges to industrial software processes due to the resource-constrained and real-time requirements of the systems. Autonomous Mobile Robot (AMR) system is a class of ERT systems, hence, inherits the challenge of applying software reuse in general ERT systems. Furthermore, software reuse in AMR systems is challenged by the diversities in terms of robot physical size and shape, environmental interaction and implementation platform. Thus, it is envisioned that component-based software engineering will be the suitable way to promote software reuse in AMR systems with consideration to general requirements to be self-contained, platform-independent and real-time predictable. A framework for component-oriented programming for AMR software development using PECOS component model is proposed in this paper. The main features of this framework are: (1) use graphical representation for components definition and composition;(2) target C language for optimal code generation with resource-constrained micro-controller;and (3) minimal requirement for run-time support. Real-time implementation indicates that, the PECOS component model together with the proposed framework is suitable for resource constrained embedded AMR systems software development.

关键词： Mobile robots

来源：评论

学校读者我要写书评

暂无评论

Recommendation and decision technologies for requirements engineering

Recommendation and decision technologies for requirements en...

引用

2nd International Workshop on Recommendation systems for software engineering, RSSE 2010, in Conjunction with the 32nd ACM/IEEE International Conference on software engineering, ICSE 2010

作者： Felfernig, Alexander Schubert, Monika Mandl, Monika Ricci, Francesco Maalej, Walid Applied Software Engineering IST TU Graz Austria DB and Information Systems University of Bolzano Italy Applied Software Engineering TU Munechen Germany

ISBN: (纸本)9781605589749

Requirements engineering (RE) is considered as one of the most critical phases in the software life-cycle, and poorly implemented RE processes are among the major risks for project failure. Stakeholders are often faced with the challenge that the complexity of information outstrips their capability to survey it and to decide about which requirements should be taken into account. Additionally, preferences regarding a set of requirements are typically not known before-hand but constructed within the scope of a decision making process. In this paper we introduce a simple application scenario and discuss recommendation and decision technologies which can be exploited for proactively supporting stakeholders in their decision making.

关键词： Requirements engineering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：