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

2006 Conference on Specification and Verification of Component-Based Systems, SAVCBS 2006

作者： Chalin, Patrice Dept. of Computer Science and Software Engineering Dependable Software Research Group Concordia University 1455 de Maisonneuve Blvd. West Montréal Qué. H3G 1M8 Canada

ISBN: (纸本)159593586X

The earlier errors are found, the less costly they are to fix. This also holds true of errors in specifications. While research into Static Program Verification (SPV) in general, and Extended Static Checking (ESC) in particular, has made great strides in recent years, there is little support for detecting errors in specifications beyond ordinary type checking. This paper reports on recent enhancements that we have made to ESC/Java2, enabling it to report errors in JML specifications due to (method or Java operator) precondition violations and this, at a level of diagnostics that is on par with its ability to report such errors in program code. The enhancements also now make it possible for ESC/Java2 to report errors in specifications for which no corresponding source is available. Applying this new feature to, e.g., the JML specifications of classes in java.*, reveals over 50 errors, including inconsistencies. We describe the adjustment to the assertion semantics necessary to make this possible, and we provide an account of the (rather small) design changes needed to realize the enhancements. Copyright 2006 ACM.

关键词： Specification languages

来源：评论

学校读者我要写书评

暂无评论

Towards a formal model to reason about context-aware exception handling

Towards a formal model to reason about context-aware excepti...

引用

International Workshop on Exception Handling (WEH)

作者： Lincoln S. Rocha Rossana M. C. Andrade Group of Computer Networks Software Engineering and Systems Graduate Program in Computer Science Federal University of Ceará Fortaleza Ceara Brazil

The context-awareness is a central aspect in the design of pervasive systems, characterizing their ability to adapt its structure and behavior. The context-aware exception handling (CAEH) is an existing approach employed to design exception handling in pervasive systems. In this approach, the context is used to define, detect, propagate, and handle exceptions. CAEH is a complex and error prone activity, needing designers' insights and domain expertise to identify and characterize contextual exceptions. However, despite the existence of formal methods to analyze the adaptive behavior of pervasive systems, such methods lack specific support to specify the CAEH behavior. In this paper, we propose a formal model to reason about the CAEH behavior. It comprises an extension of the Kripke Structure to model the context evolution of a pervasive system and a transformation function that derivates the CAEH control flow from that proposed structure.

关键词： Context Context modeling Adaptation models Middleware Computational modeling Engines Cognition

来源：评论

学校读者我要写书评

暂无评论

Wireless HART TDMA protocol performance evaluation using response surface methodology

Wireless HART TDMA protocol performance evaluation using res...

引用

6th International Conference on Broadband and Wireless Computing, Communication and Applications, BWCCA-2011

作者： Khader, Osama Willig, Andreas Wolisz, Adam Telecommunication Networks Group Technische Universitat Berlin Berlin Germany Department of Computer Science and Software Engineering University of Canterbury Christchurch New Zealand Technische Universitat Berlin Berlin Germany University of California Berkeley CA 94720 United States

ISBN: (纸本)9780769545325

Wireless HART is a state-of-the-art solution for a time-division multiple-access (TDMA) based wireless private area network. It combines slow frequency-hopping and a TDMA scheme that utilizes a centralized a-priori slot allocation mechanism. In this paper we conduct a performance evaluation of the Wireless HART TDMA protocol and provide insights into the major factors impacting energy consumption. These insights provide valuable guidance on where to start with any effort geared towards saving energy. The main contributions of this paper are two folds: (i) We conduct a sensitivity analysis of the Wireless HART TDMA energy consumption parameters using the response surface methodology. Based on these results we determine the most influential parameters for the total energy consumption. (ii) We evaluate and discuss the impact of time synchronization and types of link scheduling algorithms on the performance of Wireless HART TDMA protocol. © 2011 IEEE.

关键词： Sensitivity analysis

来源：评论

学校读者我要写书评

暂无评论

EntreCompOnto: An Ontology for Semantic Representation of Entrepreneurship Competences

EntreCompOnto: An Ontology for Semantic Representation of En...

引用

2018 IEEE International Conference on Teaching, Assessment, and Learning for engineering, TALE 2018

作者： Piedra, Nelson Caro, Edmundo Tovar Knowledge-Based Systems Research Group Universidad Técnica Particular de Loja Loja Ecuador Department of Computer Languages and Systems and Software Engineering Technical University of Madrid Madrid Spain

ISBN: (纸本)9781538665220

The development of citizens' and organizations' entrepreneurial capacity is a key policy objective of any country. The information required for monitoring development of curricula and learning activities fostering entrepreneurship as a competence is obtained from different data sources in different information systems. The semantic interoperability between these systems with resources relevant to the development of entrepreneurship stimulates more productive sharing of information among all stakeholders. Building semantic interoperable systems, ensuring in this way a collaborative performance, is not without difficulties. This paper presents EntreCompOnto, an ontology based on the EntreComp framework that could support European citizens and organizations in attaining entrepreneurship competence. EntreCompOnto sets the ground for identifying the knowledge, skills and attitudes that comprise 'entrepreneurial mindset', the ultimate aim being to facilitate exchange among users of EntreComp's adaptation families and eventually to positively impact the mobility, employability and participation of citizens in society and the economy. © 2018 IEEE.

关键词： Curricula

来源：评论

学校读者我要写书评

暂无评论

Diabetic Retinopathy Grade and Macular Edema Risk Classification Using Convolutional Neural networks

Diabetic Retinopathy Grade and Macular Edema Risk Classifica...

引用

2019 IEEE International Conference on Power, Intelligent Computing and Systems, ICPICS 2019

作者： He, Jia Shen, Linlin Ai, Xingfang Li, Xuechen College of Computer Science and Software Engineering Shenzhen University Shenzhen Guangdong province China Research and Development Center Konka Group Co. Ltd. Shenzhen Guangdong province China

ISBN: (纸本)9781728137209

Diabetic retinopathy (DR) is one of the major causes of blindness in the western world. Effective treatment of DR is available, when detected early enough, which makes this a vital process. computers are able to obtain much quicker classifications once trained, giving the ability to aid clinicians in real-time classification. This work employed a deep convolutional neural network (CNN) based method for diabetic retinopathy classification. Three independent CNNs were employed for the classification of DR grade, macular edema risk and multi-label, which included the combination of both grade and risk classes. A fusion method was used to combine all features extracted by the CNNs and make the final classification result. The classification accuracy of the grade and risk were 0.65 and 0.72, respectively. The classification results showed the proposed network fusion method can improve the performances on both task - DR grading and macular edema risk. © 2019 IEEE.

关键词： Deep neural networks

来源：评论

学校读者我要写书评

暂无评论

Pose invariant face recognition

Pose invariant face recognition

引用

4th IEEE International Conference on Automatic Face and Gesture Recognition, FG 2000

作者： Huang, Fu Jie Zhou, Zhihua Zhang, Hong-Jiang Chen, Tsuhan Electrical and Computer Engineering Department Carnegie Mellon University United States State Key Lab for Novel Software Technology Nanjing University China Media Computing Group Microsoft Research China

ISBN: (纸本)0769505805

In this paper, we describe a novel neural network architecture, which can recognize human faces with any view in a certain viewing angle range (fromy left 30 degrees to right 30 degrees out of plane rotation). View-specific eigenface analysis is used as the frontend of the system to extract features, and the neural network ensemble is used for recognition. Experimental results show that the recognition accuracy of our network ensemble is higher than conventional methods such as using a single neural network to recognize faces of a specific view. © 2000 IEEE.

关键词： Neural networks

来源：评论

学校读者我要写书评

暂无评论

Low-Cost Federated Broad Learning for Privacy-Preserved Knowledge Sharing in the RIS-Aided Internet of Vehicles

引用

engineering 2024年第2期33卷 178-189页

作者： Xiaoming Yuan Jiahui Chen Ning Zhang Qiang(John)Ye Changle Li Chunsheng Zhu Xuemin Sherman Shen Qinhuangdao Branch Campus Northeastern UniversityQinhuangdao 066004China State Key Laboratory of Integrated Services Networks&the Research Institute of Smart Transportation Xidian UniversityXi’an 710071China Department of Electrical and Computer Engineering University of WindsorWindsorON N9B 3P4Canada Department of Electrical and Software Engineering University of CalgaryCalgaryAB T2N 1N4Canada SUSTech Institute of Future Networks Southern University of Science and TechnologyShenzhen 518055China Department of Electrical and Computer Engineering University of WaterlooWaterlooON N2L 3G1Canada

High-efficiency and low-cost knowledge sharing can improve the decision-making ability of autonomous vehicles by mining knowledge from the Internet of Vehicles(IoVs).However,it is challenging to ensure high efficiency of local data learning models while preventing privacy leakage in a high mobility *** order to protect data privacy and improve data learning efficiency in knowledge sharing,we propose an asynchronous federated broad learning(FBL)framework that integrates broad learning(BL)into federated learning(FL).In FBL,we design a broad fully connected model(BFCM)as a local model for training client *** enhance the wireless channel quality for knowledge sharing and reduce the communication and computation cost of participating clients,we construct a joint resource allocation and reconfigurable intelligent surface(RIS)configuration optimization framework for *** problem is decoupled into two convex *** to improve the resource scheduling efficiency in FBL,a double Davidon–Fletcher–Powell(DDFP)algorithm is presented to solve the time slot allocation and RIS configuration *** on the results of resource scheduling,we design a reward-allocation algorithm based on federated incentive learning(FIL)in FBL to compensate clients for their *** simulation results show that the proposed FBL framework achieves better performance than the comparison models in terms of efficiency,accuracy,and cost for knowledge sharing in the IoV.

关键词： Knowledge sharing Internet of Vehicles Federated learning Broad learning Reconfigurable intelligent surfaces Resource allocation

来源：评论

学校读者我要写书评

暂无评论

Fifteen Years of Industry and Academia Partnership: Lessons Learned from a Brazilian research group

Fifteen Years of Industry and Academia Partnership: Lessons ...

引用

IEEE/ACM International Workshop on software engineering research and Industrial Practice (SER&IP)

作者： Rossana M.C. Andrade Valéria Lelli Rute N.S. Castro Ismayle S. Santos Group of Computer Networks Software Engineering and Systems (GREat) Federal University of Ceará (UFC) Fortaleza Ceará Brazil

ISBN: (纸本)9781538627983

In Brazil, software industry and academia have formed partnerships more often due to funding agencies and tax incentives originated, for example, from Brazil's Informatics Law. Like in many relationships, each party brings different experiences, and goals to be achieved. However, for a partnership to be successful, it is necessary to learn how to deal with these differences, respecting the limits of each party and fostering mutual growth. The aim of this paper is to present challenges and lessons learned faced by the GREat research group at the Federal University of Cear × over the past 15 years of partnership with industry. Besides, we present the GREat Business process for projects with industry and how the software engineering evolved in our group within these projects. We believe this report can help other industry and academic partnerships around the world not only because our main partners are international companies but also because what we have learned from practice is globally applied.

关键词： Industries Testing Companies Mobile communication software engineering Informatics Smart phones

来源：评论

学校读者我要写书评

暂无评论

Exploring Energy Saving for Mixed-Criticality Systems on Multi-Cores

Exploring Energy Saving for Mixed-Criticality Systems on Mul...

引用

IEEE Symposium on Real-Time and Embedded Technology and Applications

作者： Sujay Narayana Pengcheng Huang Georgia Giannopoulou Lothar Thiele R. Venkatesha Prasad Embedded Software Group TU Delft The Netherlands Computer Engineering and Networks Laboratory ETH Zurich Zurich Switzerland

In this paper we study a general energy minimization problem for mixed-criticality systems on multi-cores, considering different system operation modes, and static & dynamic energy consumption. While making global scheduling decisions, trade-offs in energy consumption between different modes and also between static and dynamic energy consumption are required. Thus, such a problem is challenging. To this end, we first develop an optimal solution analytically for unicore and a corresponding low-complexity heuristic. Leveraging this, we further propose energy-aware mapping techniques and explore energy savings for multi-cores. To the best of our knowledge, we are the first to investigate mixed-criticality energy minimization in such a general setting. The effectiveness of our approaches in energy reduction is demonstrated through both extensive simulations and a realistic industrial application.

关键词： Energy consumption Job shop scheduling Minimization Program processors Power demand Vehicle dynamics Processor scheduling

来源：评论

学校读者我要写书评

暂无评论

Simple linear comparison of strings in V-order (Extended Abstract)

Simple linear comparison of strings in V-order (Extended Abs...

引用

8th International Workshop on Algorithms and Computation, WALCOM 2014

作者： Alatabbi, Ali Daykin, Jackie Rahman, M. Sohel Smyth, William F. Department of Informatics King's College London United Kingdom Department of Computer Science Royal Holloway University of London United Kingdom AEDA Group Department of Computer Science and Engineering Bangladesh University of Engineering and Technology Dhaka 1000 Bangladesh Algorithms Research Group Department of Computing and Software McMaster University Canada

ISBN: (纸本)9783319046563

In this paper we focus on a total (but non-lexicographic) ordering of strings called V-order. We devise a new linear-time algorithm for computing the V-comparison of two finite strings. In comparison with the previous algorithm in the literature, our algorithm is both conceptually simpler, based on recording letter positions in increasing order, and more straightforward to implement, requiring only linked lists. © 2014 Springer International Publishing Switzerland.

关键词： Clustering algorithms

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：