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

2nd International Workshop on software engineering for Embedded systems, SEES 2012

作者： Fant, Julie Street Gomaa, Hassan Pettit IV, Robert G. Software Systems Engineering Department Aerospace Corporation Chantilly United States Department of Computer Science George Mason University Fairfax United States Flight Software and Embedded Systems Office Aerospace Corporation Chantilly United States

ISBN: (纸本)9781467318532

Designing and building embedded systems is a challenging problem. Designers must ensure that the software architecture meets its functional requirements and also, since embedded systems often have real-time constraints, meets its performance requirements. It is usually difficult to determine whether or not the embedded system designs will meet functional and performance requirements. To help increase confidence in embedded software architectures, designers often turn to executable model based approaches to assess their systems. There are many different approaches for designing and analyzing real-time embedded systems. This paper is intended to help designers in their choice by comparing two different executable model based approaches for designing and validating real-time embedded systems, namely state machines and colored Petri nets. Both approaches are compared using seven different comparison criteria and examples are given from a cruise control system case study. © 2012 IEEE.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Safe adaptation in context-aware feature models 12

Safe adaptation in context-aware feature models

引用

4th International Workshop on Feature-Oriented software Development, FOSD'12

作者： Marinho, Fabiana G. Andrade, Rossana M.C. Costa, Paulo A.S. Maia, Paulo H.M. Vidal, Vania M.P. Werner, Claudia Department of Computer Science Federal University of Ceará Fortaleza Brazil Group of Computer Network Software Engineering and Systems - GREat Federal University of Ceará Fortaleza Brazil Systems Engineering and Computer Science Program Federal University of Rio de Janeiro Rio de Janeiro Brazil

ISBN: (纸本)9781450313094

software product lines, usually described using feature models, have proven to be a feasible solution to develop mobile and context-aware applications. These applications use con- text information to provide services and data for their users from anywhere and at any time. However, building feature models for mobile and context-aware software product lines demands advanced skills of software engineers, since it comprises system and context information. Moreover, to guarantee a correct application execution, these models must be thoroughly specified, composed and verified to check whether some composition and adaptation rules are violated. Although this is an important task, there is a lack of formalization of such rules, which makes it difficult to use those rules for feature models verification. In this paper, we propose an approach to prevent defects in context-aware feature models and in their product reconfiguration based on formal methods. To validate our work, we developed a prototype to check the correctness of context-aware feature models. Copyright 2012 ACM.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

Reports of the AAAI 2011 fall symposia

引用

AI Magazine 2012年第1期33卷 71-78页

作者： Blisard, Sam Carmichael, Ted Ding, Li Finin, Tim Frost, Wende Graesser, Arthur Hadzikadic, Mirsad Kagal, Lalana Kruijff, Geert-Jan M. Langley, Pat Lester, James McGuinness, Deborah L. Mostow, Jack Papadakis, Panagiotis Pirri, Fiora Prasad, Rashmi Stoyanchev, Svetlana Varakantham, Pradeep Interactive Systems Section Naval Research Laboratory Washington DC United States Department of Software and Information Systems University of North Carolina Charlotte United States Qualcomm Inc. United States Department of Computer Science and Electrical Engineering University of Maryland Baltimore County United States Department of Psychology Institute of Intelligent Systems University of Memphis United States Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology United States Germany Department of Computer Science and Engineering Arizona State University Tempe AZ United States Department of Computer Science North Carolina State University United States Department of Computer Science and Cognitive Science Rensselaer Polytechnic Institute United States School of Computer Science Carnegie Mellon University United States Department of Informatics and Systems University of Sapienza Rome Italy Department of Informatics and Systems ALCOR Lab University of Sapienza Rome Italy Department of Health Informatics and Administration University of Wisconsin-Milwaukee United States Columbia University United States School of Information Systems Singapore Management University Singapore Singapore

The Association for the Advancement of Artificial Intelligence was pleased to present the 2011 Fall Symposium Series, held Friday through Sunday, November 4-6, at the Westin Arlington Gateway in Arlington, Virginia. The titles of the seven symposia are as follows: (1) Advances in Cognitive systems;(2) Building Representations of Common Ground with Intelligent Agents;(3) Complex Adaptive systems: Energy, Information, and Intelligence;(4) Multiagent Coordination under Uncertainty;(5) Open Government Knowledge: AI Opportunities and Challenges;(6) Question Generation;and (7) Robot-Human Teamwork in Dynamic Adverse Environments. The highlights of each symposium are presented in this report. Copyright © 2012, Association for the Advancement of Artificial Intelligence. All rights reserved.

关键词： Intelligent agents

来源：评论

学校读者我要写书评

暂无评论

Multi-level controlled signature 13th

Multi-level controlled signature

引用

13th International Workshop on Information Security Applications, WISA 2012

作者： Thorncharoensri, Pairat Susilo, Willy Mu, Yi School of Computer Science & Software Engineering University of Wollongong Australia Department of Information Systems Faculty of Business City University of Hong Kong Hong Kong

ISBN: (纸本)9783642354151

In this work, we present and establish a new primitive called Multi-level Controlled Signature. This primitive allows a signer to specify a security level to limit the verifiability of the signature. This primitive works as follows. Without losing generality, we assume the security levels of a group of users are defined in ascending order, where "A" represents the lowest security level and "Z" represents the highest security level, respectively. When a signer signs a message by specifying a security level "C", all users who have a security level greater than "C" will be able to verify while other users whose security levels are "A", "B" or "C" cannot verify the authenticity of this message. This primitive resembles some similarities with other existing primitives, such as Hierarchical Identity-based Encryption/Signatures, policy-based cryptography, but we stress that this primitive is unique in the sense that other primitives cannot satisfy all requirements as stated above efficiently. In this paper, we develop a security model for such a primitive. We present two concrete constructions that are proven secure in our model. The first scheme has a constant signature size, while the second scheme is more efficient in terms of verifier’s private information. We provide a comparison between our schemes and illustrate where each scheme is applicable in the real world scenario. © Springer-Verlag Berlin Heidelberg 2012.

关键词： Cryptography

来源：评论

学校读者我要写书评

暂无评论

A complex adaptive model of information foraging and preferential attachment dynamics in global participatory science

A complex adaptive model of information foraging and prefere...

引用

2012 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, CogSIMA 2012

作者： Ozmen, Ozgur Yilmaz, Levent Smith, Jeffrey Smith, Alice E. Industrial and Systems Engineering Department Auburn University Auburn AL 36849 United States Computer Science and Software Engineering Auburn University Auburn AL 36849 United States

ISBN: (纸本)9781467303453

Recent developments in cyber-infrastructure and emerging virtual science collaboratories are enabling scientists to transparently co-develop, share, and communicate diverse forms of knowledge artifacts in real-time. Using collective action theory as a basis, we introduce an agent-based model of such collaborative environments as complex adaptive social communication systems. By examining empirical data from the Open Biomedical Ontologies (OBO) Foundry, we present a conceptually grounded agent-based model of what we call Global Participatory science (GPS). The model represents the dynamics of GPS in terms of the information foraging, social exposure, and preferential attachment mechanisms. We monitor social network metrics and activity patterns as proxy metrics to infer innovation potential of collaboration networks. In this paper, we introduce our CollectiveInnoSim model and demonstrate the impact of foraging and preferential attachment mechanisms on emergent social network structures. The objective is to further our understanding of the dynamics of GPS and facilitate developing informed policies fostering innovation potential. © 2012 IEEE.

关键词： Dynamics

来源：评论

学校读者我要写书评

暂无评论

software product line engineering of space flight software

Software product line engineering of space flight software

引用

2012 3rd International Workshop on Product LinE Approaches in software engineering, PLEASE 2012

作者： Fant, Julie Street Gomaa, Hassan Pettit, Robert G. Software Systems Engineering Department Aerospace Corporation Chantilly VA United States Department of Computer Science George Mason University Fairfax VA United States Flight Software and Embedded Systems Office Aerospace Corporation Chantilly VA United States

ISBN: (纸本)9781467317511

This paper presents a practical solution to a reallife industrial problem in the unmanned space flight software (FSW) domain using software product lines and software architectural design patterns. In the FSW domain, there exists a significant amount of variability in the required capabilities. For example, some FSW have a significant amount of hardware to control and operate in a nearly autonomous fashion. In contrast, other FSW have a small amount of hardware to control and rely heavily of commanding from the ground station to operate the spacecraft. The underlying architecture and component interactions needed for the different FSWs are quite different. This amount of architectural variability makes it difficult to develop a SPL architecture that covers the all possible variability in the FSW domain. Therefore, this paper presents a practical solution to this real world problem that leverages software product line concepts and software architectural design patterns. © 2012 IEEE.

关键词： software design

来源：评论

学校读者我要写书评

暂无评论

C to O-O translation: Beyond the easy stuff

C to O-O translation: Beyond the easy stuff

引用

19th Working Conference on Reverse engineering, WCRE 2012

作者： Trudel, Marco Furia, Carlo A. Nordio, Martin Meyer, Bertrand Oriol, Manuel Department of Software Engineering ETH Zurich Switzerland Dept. of Computer Science University of York York United Kingdom ABB Corporate Research Industrial Software Systems Baden-Dättwil Switzerland

ISBN: (纸本)9780769548913

Can we reuse some of the huge code-base developed in C to take advantage of modern programming language features such as type safety, object-orientation, and contracts? This paper presents a source-to-source translation of C code into Eiffel, a modern object-oriented programming language, and the supporting tool C2Eif. The translation is completely automatic and supports the entire C language (ANSI, as well as many GNU C Compiler extensions, through CIL) as used in practice, including its usage of native system libraries and inlined assembly code. Our experiments show that C2Eif can handle C applications and libraries of significant size (such as vim and libgsl), as well as challenging benchmarks such as the GCC torture tests. The produced Eiffel code is functionally equivalent to the original C code, and takes advantage of some of Eiffel's features to produce safe and easy-to-debug translations. © 2012 IEEE.

关键词： Libraries

来源：评论

学校读者我要写书评

暂无评论

Managing implicit requirements using semantic case-based reasoning research preview

Managing implicit requirements using semantic case-based rea...

引用

18th Working Conference on Requirements engineering: Foundation for software Quality, REFSQ 2012

作者： Daramola, Olawande Moser, Thomas Sindre, Guttorm Biffl, Stefan Department of Computer and Information Science Norwegian University of Science and Technology Trondheim Norway Christian Doppler Laboratory for Software Engineering Integration for Flexible Automation Systems Vienna University of Technology Austria

ISBN: (纸本)9783642287138

[Context and motivation] Implicit requirements (ImRs) are defined as requirements of a system which are not explicitly expressed during requirements elicitation, often because they are considered so basic that developers should already know them. Many products have been rejected or users made unhappy because implicit requirements were not sufficiently addressed. [Question/Problem] Requirement management tools have not addressed the issue of managing ImRs, also despite the challenges of managing ImRs that exist in practice the issue has not received sufficient attention in the literature. [Principal Idea/results] This planned research will investigate how automated support can be provided for managing ImRs within an organizational context, which is currently lacking in practice. This work proposed an approach that is based on semantic case-based reasoning for managing ImRs. [Contribution] We present the concept of a tool which enables managing of ImRs through the analogy-based requirements reuse of previously known ImRs. This ensures the discovery, structured documentation, proper prioritization, and evolution of ImRs, which improves the overall success of software development processes. © 2012 Springer-Verlag.

关键词： Case based reasoning

来源：评论

学校读者我要写书评

暂无评论

Editorial

引用

International Journal of Bio-Inspired Computation 2013年第4期5卷 197-198页

作者： Camacho, David Badica, Costin Bein, Doina Warnier, Martijn Computer Science Department Escuela Politecnica Superior Universidad Autonoma de Madrid C/Francisco Tomás y Valiente 28049 Madrid Spain Software Engineering Department Faculty of Automatics Computers and Electronics University of Craiova Bvd. Decebal 107 200440 Craiova Romania Applied Research Laboratory Information Science and Technology Division Pennsylvania State University 204 V Applied Science Building University Park PA 16802 United States Systems Engineering Section Faculty of Technology Policy and Management Delft University of Technology Jaffalaan 5 2628BX Delft Netherlands

来源：评论

学校读者我要写书评

暂无评论

A Liskov principle for delta-oriented programming

A Liskov principle for delta-oriented programming

引用

5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012

作者： Hähnle, Reiner Schaefer, Ina Department of Computer Science Technische Universität Darmstadt 64289 Darmstadt Germany Institute for Software Systems Engineering Technical University of Braunschweig D-38106 Braunschweig Germany

ISBN: (纸本)9783642340253

In formal verification of software product families one not only analyses programs, but must act on the artifacts and components which are reused to obtain software products. As the number of products is exponential in the number of artifacts, it is crucial to perform verification in a modular way. When code reuse is based on class inheritance in OO programming, Liskov's principle is a standard device to achieve modular verification. software families, however, employ other variability modeling techniques than inheritance. Delta-oriented programming is an approach to implement a family of programs where code reuse is achieved via gradual transformation of a core program. We define a Liskov principle for delta-oriented programming and show that it achieves modular verification of software families developed in that paradigm. © 2012 Springer-Verlag.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：