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

international conference on Software engineering (ICSE)

作者： S.B. Ornburn R.J. LeBlanc Georgia Institute of Technology College of Computing Georgia Institute of Technology Atlanta GA USA

the tools used to generate implementations from component descriptions are called component generators. the protocol considered supports call processing by controlling the set-up and take-down of connections carrying telephone calls. the exercises discussed investigate the use of component generators in the construction of the protocol handler and related components. the component descriptions and generic architectures developed in these exercises are built by composing reusable components and applying generative tools. the component generators use information obtained from the component descriptions to instantiate the generic architecture. In addition to providing a perspective on the approach to component generation, related work in knowledge-based software engineering is presented. these exercises are generalized, outlining a process for developing software which takes advantage of component generator technology and supports several forms of component composition.< >

关键词： Protocols Computer architecture Telephony Buildings Educational institutions Software tools Data mining programming profession Process control Software engineering

来源：评论

学校读者我要写书评

暂无评论

Fault Tolerant Controller Using Interval Type-2 TSK Logic Control Systems: Application to three Interconnected Conical Tank System

Fault Tolerant Controller Using Interval Type-2 TSK Logic Co...

引用

Joint World Congress of the international-Fuzzy-Systems-Assoc (IFSA) and the Annual conference of the North-American-Fuzzy-Information-Proc-Soc (NAFIPS) / 12th international Workshop on Constraint programming and Decision Making (CoProd)

作者： Patel, Himanshukumar R. Shah, Vipul Dharmsinh Desai Univ Nadiad 387001 Gujarat India

ISBN: (纸本)9783030219208;9783030219192

Type-2 fuzzy logic systems have recently been utilized in many control process due to their ability to model uncertainties. this paper proposes an inference mechanism for an interval type-2 Takagi-Sugeno-Kang fuzzy logic control system (IT2 TSK FLCS) when antecedents are type-2 fuzzy sets and consequent are crisp. this paper focus on fault-tolerant control application for the three inter-connected conical tank system with following cases: (1) Servo control without fault, and, (2) Regulatory control with the actuator, system component faults, and process disturbances. In both the cases, IAE and ISE are calculated. the methods presented in this paper facilitating the design of fault-tolerant controller design using IT2 TSK FLCs with significantly improved performance over type-1 FLCs approaches.

关键词： Actuator fault Fault tolerant control Interval type 2 fuzzy logic control System component fault three interconnected conical tank

来源：评论

学校读者我要写书评

暂无评论

Proving deadlock freedom in component-based programming 4

引用

4th international conference on Fundamental Approaches to Software engineering, FASE 2001, Held as Part of the Joint European conferences on theory and Practice of Software, ETAPS 2001

作者： Inverardi, Paola Uchitel, Sebastian Dip. di Matematica Universit’a dell’ Aquila L’AquilaI-67010 Italy Dep. of Computing Imperial College Queen’s Gate 180 LondonSW7 2BZ United Kingdom

ISBN: (纸本)3540418636

Emerging technologies such as commercial off-the-shelf products (COTS) and component integration frameworks such as CORBA and COM are changing the way software is produced. Distributed applications are being designed as sets of autonomous, decoupled components, allowing rapid development based on integration of COTS and simplifying architectural changes required to cope with the dynamics of the underlying environment. Although integration technologies and development techniques assume rather simple architectural contexts, they face a critical problem: component integration. So far existing techniques for detecting dynamic integration errors are based on behavioural analysis of the composed system and have serious space complexity problems. In this work we propose a broader notion of component semantics based on assumptions and a method for proving deadlock freedom in a component-based setting. Our goal is to prevent and detect these errors in component based programming settings in a component-wise fashion. We aim for effective methods that can scale to real size applications even at the price of incompleteness as opposed to many existing methods that although theoretically complete might fail in practice. © Springer-Verlag Berlin Heidelberg 2001.

关键词： Common object request broker architecture (CORBA)

来源：评论

学校读者我要写书评

暂无评论

Clipped RBM and DBN Based Mechanism for Optimal Classification of Brain Cancer 6th

Clipped RBM and DBN Based Mechanism for Optimal Classificati...

引用

6th international conference on Information and Communication Technology for Intelligent Systems, ICTIS 2021

作者： Ahlawat, Neha Vinod, D. Franklin Department of Computer Science and Engineering Faculty of Engineering and Technology SRM Institute of Science and Technology Delhi-NCR Campus Delhi-Meerut Road Uttar Pradesh Modinagar Ghaziabad India

ISBN: (纸本)9789811935701

In healthcare, Big Data analytics has attracted great attention among the research community. Health care records is enormous challenging not only by its volume but also the nature of diversification of data sets and their huge dimensions. Recent developments have exhibited deep learning models to be extremely strong generative models which can separate features consequently and acquire high prescient execution. the main pretention of this learning is to construct a structure that may assist in tumour resolution and determination of the cerebrum MR image by the suggested Clipped-RBMs tumour detection algorithm. the brain functioning can be analyzed by many methods like Ultrasound-rays, SPECT, Computed Tomography (CT), X-rays (Plain film) and Magnetic Resonance image (MRI). MR Image is utilized in the introduced mechanism because of its predominant picture quality and capability of identifying minute features. the result demonstrate that the proposed unaided component learning architecture has more powerful component representation and higher classification precision capability than the existing state-of-the-art models. © 2023, the Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Data Analytics

来源：评论

学校读者我要写书评

暂无评论

Research on a Model of component-based Cooperative Design of Buildings

Research on a Model of Component-based Cooperative Design of...

引用

the 8th international conference on Computer Supported Cooperative Work in Design(第八届计算机支持的协同工作设计国际会议)(CSCWD2004)

作者： Wei Cui Hong Liu Dept.of Computer Shandong Architecture and Engineering InstituteP.R.China School of Information Management Shandong Normal UniversityP.R.China

ISBN: (纸本)0780379411

With the development of informationtechnology, there have taken big changes inworm economy from 90s. It forms a constantglobal market which is full of much *** not only lays on individual capacity, butalso closely suit to the requirement of developingmarket. CSCWD (Computer SupportedCooperative Work in Design)provides asupporting environment in which participantswith difference background and knowledge canwork together to reduce the producing cycle, toincrease the product quality and to acceleratethe product proceeding. the cooperation is thekey to assure the success of product design andthe capacity of competition in market, It's achallenge for the method of traditional softwaredeveloping to develop cooperative designenvironment based on special area. this paperdescribes a method of component-based designof buildings, which is intended to facilitate thecooperation and assure the requirement ofbuildings design. Difference from the commonsoftware system, it fully think the property indeign of buildings and the supporting ofcooperation. It comprises communicationcomponent, the interface that organize thesoftware of buildings design, the database thatstores the component of buildings design, themechanism of data changing and the visualenvironment. It is satisfied with the requirementof cooperative design of buildings.

关键词： architecture building groupware design engineering software engineering object-oriented programming product design component-based cooperative design information technology CSCWD computer supported cooperative work product quality product proceeding product design software development software system communication component building design software building design database visual environment

来源：评论

学校读者我要写书评

暂无评论

Maximizing efficiency: building and running an AMBA APB protocol with open-source solutions

Maximizing efficiency: building and running an AMBA APB prot...

引用

8th international conference on Computing in engineering and Technology (ICCET 2023)

作者： T. Neeharika J. L. Prasanna M. R. Kumar C. Santhosh Department of Electronics and Communication Engineering Koneru Lakshmaiah Education Foundation Guntur (Dist) Andhra Pradesh - 522302 India

Advanced Peripheral Bus (APB) protocol is a key component belonging to Advanced Microcontroller Bus Architecture (AMBA) family. the APB protocol is a form of communication between the test bench and design under test (DUT) where it allows for implementation of tests. this protocol is convivial for low-cost, low-bandwidth, and lowpower devices, like timers and keypads, to the bus system. this protocol is implemented using a reusable System on Chip (SoC) technique to address the challenges posed by Very Large-Scale Integration (VLSI). Designing and implementing the APB protocol involves creating test cases and programming the design using Verilog Hardware Description Language (HDL), while verifying the design using Verilog Test Bench. Open-source software, such as EDA Playground. the objective of the proposed work is to design and execute the AMBA APB protocol using opensource software, with a focus on ensuring the design's correctness and efficiency. It also develops a robust, efficient, and cost-effective system that can be easily integrated into various hardware designs. this work explores six distinct test cases, encompassing a range of transaction scenarios. the successful implementation of APB protocol will provide a significant contribution to the field of computer engineering, particularly in the area of hardware design and communication protocols.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Adding Genericity to a Plug-in Framework

引用

ACM SIGPLAN NOTICES 2011年第2期46卷 93-102页

作者： Wolfinger, Reinhard Loeberbauer, Markus Jahn, Markus Moessenboeck, Hanspeter Johannes Kepler Univ Linz Inst Syst Software Linz Austria Johannes Kepler Univ Linz Christian Doppler Lab Automated Software Engn Linz Austria

Plug-in components are a means for making feature-rich applications customizable. Combined with plug-and-play composition, end users can assemble customized applications without programming. If plug-and-play composition is also dynamic, applications can be reconfigured on the fly to load only components the user needs for his current work. We have created ***, a plug-in framework that supports dynamic plug-and-play composition. the basis for plug-and-play in Plux is the composer which replaces programmatic composition by automatic composition. components just specify their requirements and provisions using metadata. the composer then assembles the components based on that metadata by matching requirements and provisions. When the composer needs to reuse general-purpose components in different parts of an application, the component model requires genericity. the composer depends on metadata that specify which components should be connected and for general-purpose components those metadata need to be different on each reuse. We present an approach for generic plug-ins with component templates and an implementation for Plux. the general-purpose components become templates and the templates get parameterized when they are composed.

关键词： Design Generic plug-ins component templates Plug-and-play composition Run-time adaptation Plug-in architectures Composition Generic programming

来源：评论

学校读者我要写书评

暂无评论

Barriers to modularity - An empirical study to assess the potential for modularisation of Java programs

Barriers to modularity - An empirical study to assess the po...

引用

6th international conference on the Quality of Software Architectures, QoSA 2010

作者： Dietrich, Jens McCartin, Catherine Tempero, Ewan Ali Shah, Syed M. Massey University School of Engineering and Advanced Technology Palmerston North New Zealand Department of Computer Science University of Auckland Auckland New Zealand

ISBN: (纸本)3642138209

To deal with the challenges when building large and complex systems modularisation techniques such as component-based software engineering and aspect-oriented programming have been developed. In the Java space these include dependency injection frameworks and dynamic component models such as OSGi. the question arises as to how easy it will be to transform existing systems to take advantage of these new techniques. Anecdotal evidence from industry suggests that the presence of certain patterns presents barriers to refactoring of monolithic systems into a modular architecture. In this paper, we present such a set of patterns and analyse a large set of open-source systems for occurrences of these patterns. We use a novel, scalable static analyser that we have developed for this purpose. the key findings of this paper are that almost all programs investigated have a significant number of these patterns, implying that modularising will be therefore difficult and expensive. © 2010 Springer-Verlag.

关键词： Software architecture

来源：评论

学校读者我要写书评

暂无评论

A component-based Run-time Evolution Infrastructure for Resource-Constrained Embedded Systems

引用

ACM SIGPLAN NOTICES 2011年第2期46卷 73-82页

作者： Navas, Juan F. Babau, Jean-Philippe Pulou, Jacques Orange Labs MAPS Res Grp Issy Les Moulineaux France Univ Europeenne Bretagne LISyC UBO UEB Brest France Orange Labs MAPS Res Grp Grenoble France

this paper deals with embedded systems software and the modification of its architecture and behavior at execution-time. Incautious implementation of these features demands both heavy memory and performance overrun. To accomplish such software evolution activities in resource-constrained embedded systems, we propose a component-based run-time evolution infrastructure that reconciles richness of evolution alternatives and performance requirements. Our proposal is based on off-site components reifications, which are representations of components that allow us to treat evolution concerns remotely. Hence, the workload to be processed by the embedded device is alleviated. Memory and processor-time resources consumption evaluation on a real-world scenario show the efficiency and pertinence of our approach.

关键词： Performance Design Management Evolution component models resource-constrained systems embedded systems reifications

来源：评论

学校读者我要写书评

暂无评论

Mapping the security landscape: A role for language techniques

Mapping the security landscape: A role for language techniqu...

引用

18th international conference on Concurrency theory, CONCUR 2007

作者： Schneider, Fred B. Department of Computer Science Cornell University Ithaca NY 14558 United States

ISBN: (纸本)9783540744061

Over the last decade, programming language techniques have been applied in non-obvious ways to building secure systems. this talk will not only survey that work in language based security but show that the theoretical underpinnings of programming languages are a good place to start for developing a much needed foundation for software system security. Research developments in language design, compilers, program analysis, type checking, and program rewriting have brought increased assurance in what a software system does and does not do. this was needed, welcome, but not surprising. What is surprising are the new approaches to engineering secure systems that have emerged from language-based security research. Inline reference monitors, for example, enable enforcement of a broad class of authorization policies specified separately from the components they concern;and proof carrying code provides a way to relocate trust from one system component to another, providing designers with flexibility in setting the trusted computing base. Our sophistication in the engineering of secure systems has improved without the benefit of a rigorous mathematical foundation. this is probably a matter of luck and certainly a matter for concern. Too much of security engineering is based on anecdotes, driven by past attacks, and directed by a few familiar kinds of security policies. We have still to identify abstract classes of enforcement mechanisms, attacks, or policies, much less understand connections between them. In short, we have made little progress in mapping the security landscape. Yet some features of the security landscape do start to become apparent if the abstractions and metaphors of programming language semantics are applied to software system security. And there is reason to believe the approach will yield more fruit, too. We will discuss what is known, what we might strive to know, and the role that programming language semantics can play. © Springer-Verlag Berlin Heidelbe

关键词： Computer programming languages

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：