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

World Congress on Services

作者： Khoshkbarforoushha, A. Tabein, R. Jamshidi, P. Shams, F. Automated Software Engineering Research Group Electrical and Computer Engineering Faculty Shahid Beheshti University GC Tehran Iran Department of Computer and Systems Sciences Royal Institute of Technology Stockholm Iran

ISBN: (纸本)9780769541297

One of the prominent principles of designing services is the matter of how abstract services should be i.e. granularity. Since service-oriented analysis and design methods lack on providing a quantitative model for service granularity level evaluation, identification of optimally granular services is the key challenge in service-oriented solution development. This article through a systematic process proposes a model namely Weighted Granularity Level Appropriateness (WGLA) which leverages and consolidates four metrics to constitute quantitative basis for granularity appropriateness analysis. These metrics are, indeed, the four quantified attributes of service granularity including business value, reusability, context-independency, and complexity. Our preliminary controlled experiment confirms the correctness of the quantitative model. In fact, by adopting WGLA metric, service granularity appropriateness analysis could be conduct quantitatively that leads to realize an optimized service-oriented solution in terms of its granularity. © 2010 IEEE.

关键词： Reusability

来源：评论

学校读者我要写书评

暂无评论

Using SPIN and STeP to verify business processes specifications

引用

5th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2003

作者： Augusto, Juan C. Butler, Michael Ferreira, Carla Craig, Stephen-John Declarative Systems and Software Engineering Research Group Department of Electronics and Computer Science University of Southampton Southampton United Kingdom

ISBN: (纸本)3540208135

Business transactions are prone to failure and having to deal with unexpected situations. Some business process specification languages, e.g. StAC, introduce notions like compensation handling. Given the need of verification of correctness in business related software, it is important to fill in the gap between business process specification languages like StAC and the verification software already available. We report on two of our previous attempts to develop a tool to allow verification of StAC specifications by using already existing systems, SPIN and STeP. We highlight some of the problems we faced during these attempts as they can prevent successful and widespread use of verification tools. Our experience can be used to make the available tools more versatile and hence, useful to a wider range of applications. © Springer-Verlag Berlin Heidelberg 2003.

关键词： Verification

来源：评论

学校读者我要写书评

暂无评论

BPMashup: Dynamic execution of RESTful processes

BPMashup: Dynamic execution of RESTful processes

引用

2012 International Conference on Service-Oriented Computing, ICSOC 2012

作者： Xu, Xiwei Weber, Ingo Zhu, Liming Liu, Yan Rimba, Paul Lu, Qinghua Software System Research Group NICTA Australia School of Computer Science and Engineering UNSW Australia Pacific Northwest National Laboratory United States

来源：评论

学校读者我要写书评

暂无评论

A model-driven approach for the analysis of multimedia documents

A model-driven approach for the analysis of multimedia docum...

引用

Doctoral Symposium of the 5th International Conference on software Language engineering 2012, SLEDS 2012

作者： Dos Santos, Joel Braga, Christiano Muchaluat-Saade, Débora Laboratório MídiaCom Brazil Language-oriented software engineering research group Computer Science Department Universidade Federal Fluminense Brazil

This paper proposes a model-driven approach for the analysis of multimedia documents. Structural and behavioral properties of a multimedia document are verified thus guaranteeing its well-formedness and conformance before deployment. Multimedia documents are interpreted as object model instances of a multimedia document metamodel. Structural properties are verified using consistency reasoning over an ontology representation of the given object model together with OCL invariant validation (i.e., the application of OCL invariants to the given object model). Behavioral properties are verified through model checking on the transition system associated to the given multimedia document. Both metamodel and user-defined behavioral properties are verified.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Connectivity in the era of the (I)IoT: about security, features and limiting factors of reconfigurable intelligent surfaces

引用

Discover Internet of Things 2023年第1期3卷 16页

作者： Lipps, Christoph Herbst, Jan Klingel, Steffen Franke, Lars Wolff, Alexander Rüb, Matthias Reddy, Rekha Rahm, Marco Schotten, Hans Dieter Intelligent Networks Research Group German Research Center for Artificial Intelligence Kaiserslautern67663 Germany Institute for Wireless Communication and Radio Positioning RPTU Kaiserslautern-Landau Kaiserslautern67663 Germany Department of Electrical and Computer Engineering Research Center OPTIMAS RPTU Kaiserslautern-Landau Kaiserslautern67663 Germany

What are the key drivers of the (Industrial) Internet of Things ((I)IoT)? Alongside the interconnection of the various devices, sensors, and actuators, it is above all the data collected and transmitted that is of particular significance, the (I)IoT itself is the source and recipient of various types of data. Within this, there are two main aspects that need to be considered: (i) the transmission of data with appropriate latency and reliability requirements, and (ii) the safeguarding of this data. Both requirements are taken into account during the development of the Sixth Generation (6G) Wireless Systems. This is conceived to deliver higher data rates, reduced cost deployment, and enhanced reliability while providing universal connectivity. Hence, to assist such a vast network domain, (new) 6G-enabling technologies are developed, which include Reconfigurable Intelligent Surfaces (RISs), that are capable of modifying and reconfiguring the wireless propagation channels. This work describes concepts on how security, in particular Physical Layer Security (PhySec) methods, can be supported by RISs. Furthermore, an effective impedance surface model is presented, allowing efficient simulation of beamsplitting and shaping properties of RISs. Finally, the applicability of the use cases is mentioned, with a particular focus on Visible Light Communication (VLC). © The Author(s) 2023.

关键词： Internet of things

来源：评论

学校读者我要写书评

暂无评论

Designing a Distributed Multi-agent System for Compiler Optimization

Designing a Distributed Multi-agent System for Compiler Opti...

引用

2021 Zooming Innovation in Consumer Technologies Conference, ZINC 2021

作者： Sari, Alparslan Sahin, Cagri Butun, Ismail University of Delaware Electrical and Computer Engineering Computer Systems and Networking NewarkDE United States Gazi University Computer Engineering Software Research Group Ankara Turkey Chalmers University of Technology Computer Science and Engineering Network and Systems Division Gothenburg Sweden

ISBN: (纸本)9781665404174

This paper explores the run time performance improvements using different GCC optimization flags in program compilation. As multi-core microprocessor systems replacing legacy single-core ones, tremendous effort is needed to address to optimize the associated compilers for newly designed architectures in order to suit them for running parallel programming on multiple cores. Therefore, the aim of this paper is to address this challenge by designing an optimum distributed multi-agent system to perform compiler optimization. A multi-agent framework is adopted to utilize random and genetic algorithm-based search algorithm to find the best GCC optimization flags for a given program. The framework is highly scalable and can be extended with distributed system concept to perform code compilation in parallel to find the best-optimized code sequence in a short amount of time. The initial performance results have promising indicators which clearly show that the performance improvement is achieved. © 2021 IEEE.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Distributed anomaly detection in wireless sensor networks

Distributed anomaly detection in wireless sensor networks

引用

10th IEEE Singapore International Conference on Communications Systems, ICCS 2006

作者： Rajasegarar, Sutharshan Leckie, Christopher Palaniswami, Marimuthu Bezdek, James C. ARC Special Research Center for Ultra-Broadband Information Networks Department of Electrical and Electronic Engineering University of Melbourne Australia ARC Special Research Center for Ultra-Broadband Information Networks Department of Computer Science and Software Engineering University of Melbourne Australia Computer Science Department University of West Florida United States

ISBN: (纸本)1424404118

Identifying misbehaviors is an important challenge for monitoring, fault diagnosis and intrusion detection in wireless sensor networks. A key problem is how to minimise the communication overhead and energy consumption in the network when identifying misbehaviors. Our approach to this problem is based on a distributed, cluster-based anomaly detection algorithm. We minimise the communication overhead by clustering the sensor measurements and merging clusters before sending a description of the clusters to the other nodes. In order to evaluate our distributed scheme, we implemented our algorithm in a simulation based on the sensor data gathered from the Great Duck Island project. We demonstrate that our scheme achieves comparable accuracy compared to a centralised scheme with a significant reduction in communication overhead. © 2006 IEEE.

关键词： Wireless sensor networks

来源：评论

学校读者我要写书评

暂无评论

Proactively detecting distributed denial of service attacks using source IP address monitaring

Proactively detecting distributed denial of service attacks ...

引用

3rd International IFIP-TC6 Networking Conference, NETWORKING 2004

作者： Peng, Tao Leckie, Christopher Ramamohanarao, Rotagiri ARC Special Research Center for Ultra-Broadband Information Networks Department of Computer Science and Software Engineering The University of Melbourne VIC3010 Australia

ISBN: (纸本)9783540246930

In this paper, we propose a simple but robust scheme to detect denial of service attacks (including distributed denial of service attacks) by monitaring the increase of new IP addresses. Unlike previous proposals for bandwidth attack detection schemes which are based on monitaring the traffic volume, our scheme is very effective for highly distributed denial of service attacks. Our scheme exploits an inherent feature of DDoS attacks, which makes it hard for the attacker to counter this detection scheme by changing their attack signature. Our scheme uses a sequential nonparametric change point detection method to improve the detection accuracy without requiring a detailed model of normal and attack traffic. Furthermore, we show that with the combination of monitaring per flow speed, we can detect all types of DDoS attacks. We demonstrate that we can achieve high detection accuracy on a range of different network packet traces. © IFIP International Federation for Information Processing 2004.

关键词： Denial-of-service attack

来源：评论

学校读者我要写书评

暂无评论

Unified resilience model using deep learning for assessing power system performance

引用

Heliyon 2025年第4期11卷 e42802页

作者： Artemchuk, Volodymyr Garbuz, Iurii Jamil Alsayaydeh, Jamil Abedalrahim Shkarupylo, Vadym Oliinyk, Andrii Bin Yusof, Mohd Faizal Herawan, Safarudin Gazali Department of Mathematical and Econometric Modelling G.E. Pukhov Institute for Modelling in Energy Engineering of the NAS of Ukraine Kyiv Ukraine Department of Environmental Protection Technologies and Radiation Safety Center for Information-analytical and Technical Support of Nuclear Power Facilities Monitoring of the NAS of Ukraine Kyiv Ukraine Department of Іnformation Systems in Economics Kyiv National Economic University Named After Vadym Hetman Kyiv Ukraine Department of Computerized Control System National Aviation University Kyiv Ukraine Department of Engineering Technology Fakulti Teknologi Dan Kejuruteraan Elektronik Dan Komputer (FTKEK) Universiti Teknikal Malaysia Melaka (UTeM) Melaka 76100 Malaysia Department of Computer Systems Networks and Cybersecurity of the National University of Life and Environmental Sciences of Ukraine Kyiv Ukraine Department of Software Tools Faculty of Computer Science and Technology Zaporizhzhia Polytechnic National University Zaporizhzhia Ukraine Research Section Faculty of Resilience Rabdan Academy Abu Dhabi United Arab Emirates Industrial Engineering Department Faculty of Engineering Bina Nusantara University Jakarta 11480 Indonesia

Energy resilience in renewable energy sources dissemination components such as batteries and inverters is crucial for achieving high operational fidelity. Resilience factors play a vital role in determining the performance of power systems, regardless of their operating environment and interruptions. This article introduces a Unified Resilience Model (URM) using Deep Learning (DL) to enhance power system performance. The proposed model analyzes environmental factors impacting the resilience of batteries and energy storage devices. This deep learning approach trains performance-impacting factors using previously known low resilience drain data. The learning output is utilized to augment various strengthening factors, thereby improving resilience. Drain mitigation and performance improvements are combined for direct impact verification. This process validates the model's fidelity in enhancing power system performance, with a specific focus on the impact of weather factors. © 2025 The Authors

关键词： Deep learning Energy resilience Fidelity Weather impact

来源：评论

学校读者我要写书评

暂无评论

Integrated model-based approach and test framework for embedded systems

Integrated model-based approach and test framework for embed...

引用

2011 14th Forum on Specification and Design Lanugage, FDL 2011

作者： Iyenghar, Padma Pulvermueller, Elke Westerkamp, Clemens Wuebbelmann, Juergen Software Engineering Research Group University of Osnabueck Germany Institute of Computer Engineering UAS Osnabrueck P.O. Box 1940 D-49009 Osnabrueck Germany

ISBN: (纸本)9782953050448

In the recent decade, new automated methodologies such as the Model Driven Development (MDD) and Model-Based Testing (MBT) are under evaluation for embedded systems development and testing. However, most of the currently existing MBT approaches are neither integrated with the software development process nor transferred to real-life embedded software engineering projects. There is also a lack of usage of corresponding modeling languages for the MDD and MBT phases. In this context, this paper discusses the applicability of an integrated model-based approach and test framework which addresses the aforementioned gaps. The approach is evaluated in a spark extinguishing embedded system example based on a real-life embedded software engineering project. A test framework generation algorithm which generates the necessary artifacts for deploying MBT in resource-constrained embedded systems is discussed. A prototype implementation of the proposed approach and illustrative examples are presented. © 2011 ECSI.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：