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

14th International Conference on Cloud Computing, Data science and Engineering, Confluence 2024

作者： Saxena, Virat Raj Yadav, Rajeev Parveen, Azra Sadiq, Mohd. Mangalayatan University Department of Computer Science and Engineering Uttar Pradesh Aligarh202001 India Indraprastha Institute of Information Sciences Private Limited Indraprastha Research Laboratory New Delhi110025 India Upfet Jamia Millia Islamia A Central University Software Engineering Laboratory Computer Engineering Section New Delhi110025 India

ISBN: (纸本)9798350344837

Various techniques have been developed for the identification of different types of requirements like interview, questionnaire, group elicitation techniques, attributed goal-oriented requirements analysis, fuzzy based goal-oriented requirements analysis method, non-functional requirements framework, etc. Based on the critical analysis of requirements elicitation methods, we found that single elicitation technique is not suitable to understand the need of the stakeholders. In real life applications, multiple elicitation techniques are required to elicit and select the requirements of an information system because each technique has its strength and limitations. Therefore, to address this issue, this paper presents a mathematical model for the selection of requirements elicitation techniques so that complete set of requirements along with its priority can be identified before the development of an information system. The institute examination system is considered to show the applicability of the proposed mathematical model. © 2024 IEEE.

关键词： Information systems

来源：评论

学校读者我要写书评

暂无评论

EdgeAuth: An intelligent token-based collaborative authentication scheme

EdgeAuth: An intelligent token-based collaborative authentic...

引用

作者： Jiang, Xutong Dou, Ruihan He, Qiang Zhang, Xuyun Dou, Wanchun State Key Laboratory for Novel Software Technology Nanjing University Nanjing China Faculty of Mathematics University of Waterloo Waterloo Canada Department of Computer Science and Software Engineering Swinburne University of Technology Melbourne Australia Department of Computing Macquarie University Sydney Australia College of Big Data and Intelligent Engineering Southwest Forestry University China

Edge computing is regarded as an extension of cloud computing that brings computing and storage resources to the network edge. For some Industrial Internet of Things (IIoT) applications such as supply-chain supervision and collaboration, Internet of Vehicles, real-time video analysis and so forth, users should be authenticated before visiting the geographically distributed edge servers. Limited by the considerable latency between the cloud and edge servers, and the limited capacity of edge servers, it is infeasible to copy the authentication method from cloud servers when users are authenticated in edge servers. In view of this challenge, this paper proposes a novel token-based authentication scheme, named EdgeAuth, that enables fast edge user authentication through collaboration among cloud servers and edge servers. Under the EdgeAuth scheme, edge servers can rapidly verify the credentials of users who have been authenticated by the cloud server. EdgeAuth can also protect users from a series of authentication attacks, for example, the replay attack, DoS attack and man-in-the-middle attack. The results of experiments conducted on a simulated edge computing environment validate the usefulness of EdgeAuth through a comparison in latency and throughput against two baseline schemes. © 2023 John Wiley & Sons Ltd.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

Verifying Contextual Refinement with Ownership Transfer

引用

Journal of computer science & Technology 2021年第6期36卷 1342-1366页

作者： Zhao-Hui Li Xin-Yu Feng School of Computer Science and Technology University of Science and Technology of ChinaHefei 230026China Department of Computer Science and Technology Nanjing UniversityNanjing 210023China State Key Laboratory for Novel Software Technology Nanjing UniversityNanjing 210023China

Contextual refinement is a compositional approach to compositional verification of concurrent *** has been much work designing program logics to prove the contextual refinement between the object implementation and its abstract ***,these program logics for contextual refinement verification cannot support objects with resource ownership transfer,which is a common pattern in many concurrent objects,such as the memory management module in OS kernels,which transfers the allocated memory block between the object and *** this paper,we propose a new approach to give abstract and implementation independent specifications to concurrent objects with ownership *** also design a program logic to verify contextual refinement of concurrent objects *** abstract *** have successfully applied our logic to verifying an implementation of the memory management module,where the implementation is an appropriately simplified version of the original version from a real-world preemptive OS kernel.

关键词： contextual refinement program logic concurrent object ownership transfer verification

来源：评论

学校读者我要写书评

暂无评论

Experiments and Analyses of Anonymization Mechanisms for Trajectory Data Publishing

引用

Journal of computer science & Technology 2022年第5期37卷 1026-1048页

作者： She Sun Shuai Ma Jing-He Song Wen-Hai Yue Xue-Lian Lin Tiejun Ma State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang UniversityBeijing 100191China Department of Decision Analytics and Risk Southampton Business SchoolUniversity of Southampton Southampton SO171BJU.K

With the advancing of location-detection technologies and the increasing popularity of mobile phones and other location-aware devices,trajectory data is continuously *** large-scale trajectories provide opportunities for various applications,the locations in trajectories pose a threat to individual ***,there has been an interesting debate on the reidentifiability of individuals in the science *** main finding of Sánchez et *** exactly opposite to that of De Montjoye et al.,which raises the first question:"what is the true situation of the privacy preservation for trajectories in terms of reidentification?''Furthermore,it is known that anonymization typically causes a decline of data utility,and anonymization mechanisms need to consider the trade-off between privacy and *** raises the second question:"what is the true situation of the utility of anonymized trajectories?''To answer these two questions,we conduct a systematic experimental study,using three real-life trajectory datasets,five existing anonymization mechanisms(i.e.,identifier anonymization,grid-based anonymization,dummy trajectories,k-anonymity andε-differential privacy),and two practical applications(i.e.,travel time estimation and window range queries).Our findings reveal the true situation of the privacy preservation for trajectories in terms of reidentification and the true situation of the utility of anonymized trajectories,and essentially close the debate between De Montjoye et *** Sánchez et *** the best of our knowledge,this study is among the first systematic evaluation and analysis of anonymized trajectories on the individual privacy in terms of unicity and on the utility in terms of practical applications.

关键词： anonymization privacy reidentification trajectory utility

来源：评论

学校读者我要写书评

暂无评论

An adaptive representation model for geoscience knowledge graphs considering complex spatiotemporal features and relationships

引用

science China Earth sciences 2023年第11期66卷 2563-2578页

作者： Yunqiang ZHU Kai SUN Shu WANG Chenghu ZHOU Feng LU Hairong LV Qinjun QIU Xinbing WANG Yanmin QI State Key Laboratory of Resources and Environmental Information System Institute of Geographic Sciences and Natural Resources ResearchChinese Academy of SciencesBeijing 100101China Jiangsu Center for Collaborative Innovation in Geographical Information Resource Development and Application Nanjing 210023China Department of Automation Tsinghua UniversityBeijing 100084China School of Computer Science China University of GeosciencesWuhan 430074China Department of Electronic Engineering Shanghai Jiao Tong UniversityShanghai 200240China School of Computer Science University of Nottingham Ningbo ChinaNingbo 315100China

Geoscience knowledge graph(GKG)can organize various geoscience knowledge into a machine understandable and computable semantic network and is an effective way to organize geoscience knowledge and provide knowledge-related *** a result,it has gained significant attention and become a frontier in *** knowledge is derived from many disciplines and has complex spatiotemporal features and relationships of multiple scales,granularities,and ***,establishing a GKG representation model conforming to the characteristics of geoscience knowledge is the basis and premise for the construction and application of ***,existing knowledge graph representation models leverage fixed tuples that are limited in fully representing complex spatiotemporal features and *** address this issue,this paper first systematically analyzes the categorization and spatiotemporal features and relationships of geoscience *** this basis,an adaptive representation model for GKG is proposed by considering the complex spatiotemporal features and *** the constraint of a unified spatiotemporal ontology,this model adopts different tuples to adaptively represent different types of geoscience knowledge according to their spatiotemporal *** model can efficiently represent geoscience knowledge,thereby avoiding the isolation of the spatiotemporal feature representation and improving the accuracy and efficiency of geoscience knowledge *** can further enable the alignment,transformation,computation,and reasoning of spatiotemporal information through a spatiotemporal ontology.

关键词： Geoscience Knowledge graph Representation model Spatiotemporal features Spatiotemporal relationships

来源：评论

学校读者我要写书评

暂无评论

LUMOS-DM: Landscape-Based Multimodal Scene Retrieval Enhanced by Diffusion Model 30th

LUMOS-DM: Landscape-Based Multimodal Scene Retrieval Enhance...

引用

30th International Conference on MultiMedia Modeling, MMM 2024

作者： Huynh, Viet-Tham Nguyen, Trong-Thuan Nguyen, Quang-Thuc Tran, Mai-Khiem Nguyen, Tam V. Tran, Minh-Triet Software Engineering Laboratory and Faculty of Information Technology University of Science VNU-HCM Ho Chi Minh City Viet Nam Vietnam National University Ho Chi Minh City Viet Nam Department of Computer Science University of Dayton Dayton United States

ISBN: (纸本)9783031533013

Information retrieval is vital in our daily lives, with applications ranging from job searches to academic research. In today’s data-driven world, efficient and accurate retrieval systems are crucial. Our research focuses on video data, using a system called LUMOS-DM: Landscape-based Multimodal Scene Retrieval Enhanced by Diffusion Model. This system leverages Vision Transformer and Diffusion Models, taking user-generated sketch images and text queries as input to generate images for video retrieval. Initial testing on a dataset of 100 h of global landscape videos achieved an 18.78% at Top-20 accuracy rate and 36.45% at Top-100 accuracy rate. Additionally, video retrieval has various applications, including generating data for advertising and marketing. We use a multi-modal approach, combining sketch and text descriptions to enhance video content retrieval, catering to a wide range of user needs. © The Author(s), under exclusive license to Springer Nature Switzerland AG 2024.

关键词： Diffusion

来源：评论

学校读者我要写书评

暂无评论

Heuristic Elastic Scaling for Kubernetes Heterogeneous Microservices 21

Heuristic Elastic Scaling for Kubernetes Heterogeneous Micro...

引用

21st International Conference on Networking, Sensing and Control, ICNSC 2024

作者： Wang, Song He, Sheng Ning, Yishuang Gao, Xiang Ding, Zhijun The Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai201804 China The Department of Computer Science and Technology Tongji University Shanghai201804 China Kingdee Research Kingdee International Software Group Co. Ltd Shenzhen518057 China Intelligent Computing Facility Innovation Center ZhejiangLab Hangzhou30012 China

ISBN: (纸本)9798350365221

Kubernetes has become the basic platform for building cloud native applications. However, existing horizontal scaling methods based on Kubernetes have problems with resource redundancy. Furthermore, the combined horizontal and vertical scaling based on Kubernetes takes a long time. Regarding the issue above, first, we describe the execution processes of three scaling techniques and compare them in different dimensions;second, we construct a formal elastic scaling model for expansion scenarios, with the goal of minimizing the total cost;and third, we introduce a heuristic expansion algorithm after balancing resource redundancy and execution time as the heuristic information. The experiment results show that the elastic scaling algorithm proposed in this paper achieves better performance than other algorithms. © 2024 IEEE.

关键词： Cloud platforms

来源：评论

学校读者我要写书评

暂无评论

Approximate state estimation with large-scale sensor networks under event-based sensor scheduling strategy 63

Approximate state estimation with large-scale sensor network...

引用

63rd IEEE Conference on Decision and Control, CDC 2024

作者： Liu, Xinhui Cheng, Meiqi Shi, Dawei Shi, Ling Beijing Institute of Technology Miit Key Laboratory of Servo Motion System Drive and Control School of Automation Beijing100081 China Hong Kong University of Science and Technology Department of Electronic and Computer Engineering Kowloon Hong Kong

ISBN: (纸本)9798350316339

In this paper, we investigate the issues of real-time sensor scheduling and state estimator design within large-scale sensor network systems. Specifically, data redundancy sometimes occurs in large-scale sensor arrays due to the excessive proximity of sensing units in the spatial domain, leading to high similarity in their measurement data. Currently, it is difficult to account for such redundancy in sensor scheduling algorithms found in existing literature, where the optimal subset of sensors is generally selected by optimizing objective functions formulated from certain performance criteria. To tackle this problem, we introduce an event-based sensor scheduling strategy, the triggering condition of which is designed founded on the similarity of sensor data, so as to identify the most informative subset of sensors for state estimation. To evaluate the impact of the sensor scheduling protocol on system observability, we propose a new notion of E(varepsilon)-observability, based on which an observability criterion is derived. In addition, we have designed a set-valued state estimation algorithm, which takes into account the intricate measurement information structure inherent within the sensor selection mechanism. The performance enhancement of the proposed estimator is also investigated. Finally, numerical experiments are conducted to validate the effectiveness of the proposed estimation algorithm and to verify the performance improvement. © 2024 IEEE.

关键词： Scheduling algorithms

来源：评论

学校读者我要写书评

暂无评论

Cloud-edge-based We-Market:Autonomous Bidding and Peer-to-peer Energy Sharing Among Prosumers

引用

Journal of Modern Power systems and Clean Energy 2023年第4期11卷 1282-1293页

作者： Fangyuan Si Yinghua Han Qinqin Xu Jinkuan Wang Qiang Zhao College of Information Science and Engineering Northeastern UniversityShenyangChinaand F.Si is also with the State Key Laboratory of Power System and Generation EquipmentDepartment of Electrical EngineeringTsinghua UniversityBeijingChina School of Computer and Communication Engineering Northeastern University at QinhuangdaoQinhuangdaoChina School of Control Engineering Northeastern University at QinhuangdaoQinhuangdaoChina

With the extensive penetration of distributed renewable energy and self-interested prosumers,the emerging power market tends to enable user autonomy by bottom-up control and distributed *** paper is devoted to solving the specific problems of distributed energy management and autonomous bidding and peer-to-peer(P2P)energy sharing among prosumers.A novel cloud-edge-based We-Market is presented,where the prosumers,as edge nodes with independent control,balance the electricity cost and thermal comfort by formulating a dynamic household energy management system(HEMS).Meanwhile,the autonomous bidding is initiated by prosumers via the modified Stone-Geary utility *** the cloud center,a distributed convergence bidding(CB)algorithm based on consistency criterion is developed,which promotes faster and fairer bidding through the interactive iteration with the edge ***,the proposed scheme is built on top of the commercial cloud platform with sufficiently secure and scalable computing *** results show the effectiveness and practicability of the proposed We-Market,which achieves 15%cost reduction with shorter running *** analysis indicates better scalability,which is more suitable for largerscale We-Market implementation.

关键词： We-Market bidding energy sharing prosumer peer-to-peer cloud-edge

来源：评论

学校读者我要写书评

暂无评论

Computational Linguistics for Brain Encoding and Decoding: Principles, Practices and Beyond 62

Computational Linguistics for Brain Encoding and Decoding: P...

引用

62nd Annual Meeting of the Association for Computational Linguistics, ACL 2024

作者： Sun, Jingyuan Wang, Shaonan Chen, Zijiao Li, Jixing Moens, Marie-Francine Department of Computer Science KU Leuven Belgium State Key Laboratory of Multimodal Artificial Intelligence System Institute of Automation Chinese Academy of Sciences China Department of Linguistics and Translation The City University of Hong Kong Hong Kong Multimodal Neuroimaging in Neuropsychiatric Disorders Laboratory The National University of Singapore Singapore

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：