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

2012 IEEE 9th International Conference on Services Computing, SCC 2012

作者： Hu, Bo Zhang, Liang-Jie Liu, Dong Xie, Yi-Feng Luo, Li-Hui Kingdee Research Kingdee International Software Group Co. Ltd. Shenzhen China Research Institute of Information Technology Tsinghua University Beijing China School of Computer Science and Engineering Southeast University Nanjing China

ISBN: (纸本)9780769547534

Account services are playing important roles in building IT ecosystems, such as Google Accounts, Apple ID and Microsoft Your Account for the forthcoming windows 8. In this paper, we propose a novel mechanism to build a cloud oriented account service for SME SaaS Ecosystem (SSE), a public cloud ecosystem among small and medium sized enterprises of China. Different from the account services listed above, our account service has been established not only for individuals, but also for enterprises. Characteristics of the account service are as follows: 1) multi-tenant oriented implementation through virtual directory Information Tree (DIT) views based on a hybrid data structure;2) partition based distributed architecture enables the service sufficiently calable and available;and 3) GUI based interfaces for configuration management, RESTful and SOAP based interfaces for the third party services invoking. © 2012 IEEE.

关键词： Ecosystems

来源：评论

学校读者我要写书评

暂无评论

Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for Less

Adjusted Verification Rules for Loops Are More Complete and ...

引用

International Conference on software engineering and Formal Methods (SEFM)

作者： Patrice Chalin Dependable Software Research Group Department of Computer Science and Software Engineering Concordia University Montreal Canada

Interval temporal logics are based on interval structures over linearly (or partially) ordered domains, where time intervals, rather than time instants, are the primitive ontological entities. In this paper we introduce and study Right Propositional Neighborhood Logic over natural numbers with integer constraints for interval lengths, which is a propositional interval temporal logic featuring a modality for the `right neighborhood' relation between intervals and explicit integer constraints for interval lengths. We prove that it has the bounded model property with respect to ultimately periodic models and is therefore decidable. In addition, we provide an EXPSPACE procedure for satisfiability checking and we prove EXPSPACE-hardness by a reduction from the exponential corridor tiling problem.

关键词： Java Logic programming software engineering software tools Runtime Programming profession computer science computer industry Application software Command languages

来源：评论

学校读者我要写书评

暂无评论

Considerations in Prioritizing for Efficiently Refactoring the Data Clumps Model Smell: A Preliminary Study 19

Considerations in Prioritizing for Efficiently Refactoring t...

引用

19th International Conference on Evaluation of Novel Approaches to software engineering, ENASE 2024

作者： Baumgartner, Nils Iyenghar, Padma Pulvermüller, Elke Software Engineering Research Group School of Mathematics/Computer Science/Physics Osnabrück University Osnabrück49090 Germany innotec GmbH Hornbergstrasse 45 Filderstadt70794 Germany Faculty of Engineering and Computer Science HS Osnabrueck Osnabrück49009 Germany

ISBN: (纸本)9789897586965

This paper delves into the importance of addressing the data clumps model smell, emphasizing the need for prioritizing them before refactoring. Qualitative and quantitative criteria for identifying data clumps are outlined, accompanied by a systematic, simple but effective approach involving a weighted attribute system with threshold-based priority assignment. The paper concludes with an experimental evaluation of the proposed method, offering insights into critical areas for developers and contributing to improved code maintenance practices and overall quality. The approach presented provides a practical guide for enhancing software system quality and sustainability. © 2024 by SCITEPRESS – Science and Technology Publications, Lda.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Anomaly-Based Intrusion DetectionModel Using Deep Learning for IoT networks

引用

computer Modeling in engineering & Sciences 2024年第10期141卷 823-845页

作者： Muaadh A.Alsoufi Maheyzah Md Siraj Fuad A.Ghaleb Muna Al-Razgan Mahfoudh Saeed Al-Asaly Taha Alfakih Faisal Saeed Faculty of Computing Universiti Teknologi Malaysia(UTM)Johor Bahru81310Malaysia DAAI Research Group College of Computing and Digital TechnologyBirmingham City UniversityBirminghamB47XGUK Department of Software Engineering College of Computer and Information SciencesKing Saud UniversityRiyadh11345Saudi Arabia

The rapid growth of Internet of Things(IoT)devices has brought numerous benefits to the interconnected ***,the ubiquitous nature of IoT networks exposes them to various security threats,including anomaly intrusion *** addition,IoT devices generate a high volume of unstructured *** intrusion detection systems often struggle to cope with the unique characteristics of IoT networks,such as resource constraints and heterogeneous data *** the unpredictable nature of network technologies and diverse intrusion methods,conventional machine-learning approaches seem to lack *** numerous research domains,deep learning techniques have demonstrated their capability to precisely detect *** study designs and enhances a novel anomaly-based intrusion detection system(AIDS)for IoT ***,a Sparse Autoencoder(SAE)is applied to reduce the high dimension and get a significant data representation by calculating the reconstructed ***,the Convolutional Neural Network(CNN)technique is employed to create a binary classification *** proposed SAE-CNN approach is validated using the Bot-IoT *** proposed models exceed the performance of the existing deep learning approach in the literature with an accuracy of 99.9%,precision of 99.9%,recall of 100%,F1 of 99.9%,False Positive Rate(FPR)of 0.0003,and True Positive Rate(TPR)of *** addition,alternative metrics,such as training and testing durations,indicated that SAE-CNN performs better.

关键词： IoT anomaly intrusion detection deep learning sparse autoencoder convolutional neural network

来源：评论

学校读者我要写书评

暂无评论

Towards agile collaborative multi-view modeling with inconsistency tolerance

Towards agile collaborative multi-view modeling with inconsi...

引用

2024 Symposium on software Technologies: Applications and Foundations, STAF 2024 Workshops: 2nd International Workshop on Agile Model-Driven engineering, AgileMDE 2024, 1st Large Language Models for Model-Driven engineering Workshop, AgileMDE 2024 and 4th International Workshop on Model-Driven engineering for Smart Internet-of-Things Systems, MeSS 2024

作者： Shahvari, Yaser Sharbaf, Mohammadreza Rahimi, Shekoufeh Kolahdouz Tehrani, Sobhan Yassipour MDSE Research Group Department of Software Engineering University of Isfahan Isfahan Iran School of Arts University of Roehampton London United Kingdom Computer Science Department Faculty of Engineering University College London London United Kingdom

Model-driven engineering (MDE) copes with the complexity of software development by using the principles of separation of concerns and automatic transformation. In MDE, stakeholders from diverse domains collaborate concurrently on different models to quickly analyze, design, and generate complex software-intensive systems. To adopt an agile development approach in MDE, an inconsistency tolerance framework is needed. This framework postpones the resolution phase for incompatibilities caused by online cooperation, allowing temporary incompatibilities to be automatically fixed while requiring resolution only for the remaining conflicts at the appropriate time. In this paper, we propose a general framework for identifying and diagnosing inconsistencies, making decisions regarding inconsistency tolerance or intervention for resolution, and outlining tolerance strategies in agile systems modeled as multi-views. Our framework comprises three primary phases: detection, analysis, and tolerance. It is designed to identify inconsistencies in multi-view models, which are inherently more complex than single-view models. The tolerance phase employs strategies to tolerate inconsistencies, enhancing the flexibility of the agile development approach for collaborative multi-view modeling. © 2024 Copyright for this paper by its authors.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

Efficient identification of synchronous machine parameters through the finite elements method

Efficient identification of synchronous machine parameters t...

引用

7th Mediterranean Conference and Exhibition on Power Generation, Transmission, Distribution and Energy Conversion, MedPower 2010

作者： Singh, Bharat Kyriakides, Elias Michaelides, Alex M. Department of Electrical and Computer Engineering KIOS Research Center for Intelligent Systems and Networks University of Cyprus Nicosia-1678 Cyprus ElectroMagnetic Valley Ltd. Cyprus and Cobham Technical Services/Vector Fields Software United Kingdom

ISBN: (纸本)9781849193191

This work proposes a methodology to identify the parameters of a synchronous machine based on the finite element method (FEM). Several offline real-time tests to identify SM parameters are reproduced on a digital platform of a FEM based solver. The proposed methodology is divided into three basic steps: creation of the basic physical geometry of the synchronous machine, development and execution of parameter estimation tests on the digital platform, and post-processing to calculate the parameters from the test results. Simulations are shown for a salient-pole synchronous machine. The proposed method is envisioned to replace the real-time offline tests.

关键词： Parameter estimation

来源：评论

学校读者我要写书评

暂无评论

Analysis and simulation of a router-assisted congestion control mechanism

Analysis and simulation of a router-assisted congestion cont...

引用

作者： Almeida, Antonio Department of Electrical and Computer Engineering Instituto Superior T'ecnico Portugal Networks and Multimedia research group Instituto de Telecomunicações Torre Norte 10.10 Av. Rovisco Pais Lisbon Portugal

We present a congestion control algorithm for the Internet and assess its stability. The algorithm has low operation complexity and exercises control over sources without keeping per-flow information. Given the lack of support for explicit-rate feedback in the Internet, we discuss an implementation where feedback is based on explicit binary indications. We assess the stability through a discrete-time model and present simulation results showing the efficacy of the algorithm. The obtained results indicate that when the algorithm is used to control sources that support explicit binary feedback, its stability is not affected and its performance is close to that obtained with sources that support explicit-rate feedback. Copyright © 2010 The Institute of Electronics, Information and Communication Engineers.

关键词： Stability

来源：评论

学校读者我要写书评

暂无评论

Data Migration from Relational to NoSQL Database: Review and Comparative Study

Data Migration from Relational to NoSQL Database: Review a...

引用

International Conference on Advanced Intelligent Systems for Sustainable Development, AI2SD 2022

作者： Saadouni, Chaimae El Bouchti, Karim Reda, Oussama Mohamed Ziti, Soumia Department of Computer Science Intelligent Processing Systems and Security Team Mohammed V University Rabat Morocco Algorithms Networks Intelligent Systems and Software Engineering Research Team Faculty of Sciences Mohammed V University Rabat Morocco

ISBN: (纸本)9783031263835

New storage requirements, analysis, and visualization of Big Data, which includes structured, semi-structured, and unstructured data, have caused the developers in the past decade to begin preferring Big Data databases, such as NoSQL, that comes to overcome the boundaries of relational Databases such as unlimited scalability, high performance, data modeling, data distribution, and continuous availability. Due to those benefits ensured by this new technology, quite recently, considerable attention has been paid to data migration from relational Database to NoSQL Database. So, in this context, the purpose of this paper is to provide a comparative study of some recent approaches proposed by various researchers to migrate data from relational to NoSQL databases, as well as discussing and analyzing the results of those proposed techniques. This research allowed us to gain a basic understanding of the contributions and approaches that have already been made, as well as the benefits and limits of each proposal. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： Big data

来源：评论

学校读者我要写书评

暂无评论

Object-oriented reengineering

引用

21st European Conference on Object-Oriented Programming, ECOOP 2007

作者： Demeyer, Serge Guéhéneuc, Yann-Gaël Keller, Anne Lange, Christian F. J. Mens, Kim Kuhn, Adrian Kuhlemann, Martin Department of Mathematics and Computer Science University of Antwerp Belgium Department of Computer Science and Operations Research Université de Montréal Canada Engineering and Technology Group Eindhoven University of Technology Netherlands Département d'Ingénierie Informatique Université Catholique de Louvain Belgium Software Software Composition Group University of Berne Switzerland School of Computer Science University of Magdeburg Germany

ISBN: (纸本)3540781943

The ability to reengineer object-oriented legacy systems has become a vital matter in today's software industry. Early adopters of the object-oriented programming paradigm are now facing the problem of transforming their object-oriented "legacy" systems into full-fledged frameworks. To address this problem, a series of workshops has been organised to set up a forum for exchanging experiences, discussing solutions, and exploring new ideas. Typically, these workshops were organised as satellite events of major software engineering conferences, such as ECOOP [1,2,3,4,5,6,7,8,9,10,11] and ESEC/FSE [12,13,14] . During the past 10 years, participants of this workshop series have been actively contributing to the state-of-the-art on reengineering of object-oriented systems. This special 10 th anniversary edition was no exception and this report summarises the key discussions and outcome of that workshop. © 2008 Springer-Verlag Berlin Heidelberg.

关键词： Reengineering

来源：评论

学校读者我要写书评

暂无评论

k-NN classification of malware in HTTPS traffic using the metric space approach 11th

k-NN classification of malware in HTTPS traffic using the me...

引用

11th Pacific Asia Workshop on Intelligence and Security Informatics, PAISI 2016

作者： Lokoč, Jakub Kohout, Jan Čech, Přemysl Skopal, Tomáš Pevný, Tomáš SIRET Research Group Department of Software Engineering Charles University in Prague Prague Czech Republic Department of Computer Science and Engineering FEE Czech Technical University in Prague Cisco Systems Inc. Cognitive Research Center in Prague Prague Czech Republic

ISBN: (纸本)9783319318622

In this paper, we present detection of malware in HTTPS traffic using k-NN classification. We focus on the metric space approach for approximate k-NN searches over dataset of sparse high-dimensional descriptors of network traffic. We show the classification based on approximate k-NN search using metric index exhibits false positive rate reduced by an order of magnitude when compared to the state of the art method, while keeping the classification fast enough. © Springer International Publishing Switzerland 2016.

关键词： Intrusion detection

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：