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

2012 IEEE 6th International Conference on Self-Adaptive and Self-Organizing systems, SASO 2012

作者： Anders, Gerrit Hinrichs, Christian Siefert, Florian Behrmann, Pascal Reif, Wolfgang Sonnenschein, Michael Institute for Software and Systems Engineering Augsburg University Germany Department of Environmental Informatics University of Oldenburg Germany

ISBN: (纸本)9780769548517

Multi-Agent systems often consist of heterogeneous agents with different capabilities and objectives. While some agents might try to maximize their system's utility, others might be self-interested and thus only act for their own good. However, because of their limited capabilities and resources, it is often necessary that agents cooperate to be able to satisfy given tasks. To work together on such a task, the agents have to solve a task allocation problem, e.g., by teaming up in groups like coalitions or distributing the task among themselves on electronic markets. In this paper, we introduce two algorithms that allow agents to cooperatively solve a dynamic task allocation problem in uncertain environments. Based on these algorithms, we investigate the influence of inter-Agent variation on the system's behavior. One of these algorithms explicitly exploits inter-Agent variation to solve the task without communication between the agents, while the other builds upon a fixed overlay network in which agents exchange information. Throughout the paper, the frequency stabilization problem from the domain of decentralized power management serves as a running example to illustrate our algorithms and results. © 2012 IEEE.

关键词： Stabilization

来源：评论

学校读者我要写书评

暂无评论

Test algebra for combinatorial testing

Test algebra for combinatorial testing

引用

International Workshop on Automation of software Test (AST)

作者： Wei-Tek Tsai Charles J. Colbourn Jie Luo Guanqiu Qi Qingyang Li Xiaoying Bai School of Computing Informatics and Decision Systems Arizona State University Tempe AZ USA Arizona State University Tempe AZ US State Key Laboratory of Software Development Environment School of Computer Science and Engineering Beihang University Beijing China Department of Computer Science and Technology INLIST Tsinghua University Beijing China

ISBN: (纸本)9781467361620

This paper proposes a new algebraic system, Test Algebra (TA), for identifying faults in combinatorial testing for SaaS (software-as-a-Service) applications. SaaS as a part of cloud computing is a new software delivery model, and mission-critical applications are composed, deployed, and executed in cloud platforms. Testing SaaS applications is a challenging task because new applications need to be tested when they are composed before they can be deployed for execution. Combinatorial testing algorithms can be used to identify faulty configurations and interactions from 2-way all the way to k-way where k is the number of components in the application. The TA defines rules to identify faulty configurations and interactions. Using the rules defined in the TA, a collection of configurations can be tested concurrently in different servers and in any order and the results obtained will be still same due to the algebraic constraints.

关键词： Testing software as a service Servers Fault diagnosis Algebra Scalability Program processors

来源：评论

学校读者我要写书评

暂无评论

A SECURE COMMUNICATION FRAMEWORK FOR LARGE-SCALE UNMANNED AIRCRAFT systems

A SECURE COMMUNICATION FRAMEWORK FOR LARGE-SCALE UNMANNED AI...

引用

Integrated Communications, Navigation and Surveillance Conference

作者： Jiang Bian Remzi Seker Mengjun Xie Division of Biomedical Informatics University of Arkansas for Medical Sciences Department of Electrical Computer Software and Systems Engineering Embry-Riddle Aeronautical University Computer Science University of Arkansas

ISBN: (纸本)9781467362511

The application areas for Unmanned Aircraft (UA) systems (UAS) are constantly expanding. Aside from providing an attractive alternative in applications that are risky for humans, smaller UAS become highly attractive for applications where use of larger aircraft is not practical. This paper presents the UAS Collaboration Wireless Network (UAS-CWN), a secure and reliable UAS communication mesh-network. This solution is proposed for the circumstances where a large number of UAS are deployed to cooperatively accomplish a mission such as surveillance in hostile environments. The proposed UAS-CWN system provides high fault-tolerance through use of information dispersal algorithm and meanwhile reduces the risk of information exposure to the adversaries via security-enhancing mechanisms. Our evaluation shows promising results. Especially, a UAS-CWN with high security-level settings can withstand losing 30% of the total number of unmaned aircrafts while steadily achieving above 96% data recovery rate.

关键词： Aircraft Communication Research UNMANNED drone honey bees program area Large Aircraft Unmanned Aerial Vehicle hostile environment

来源：评论

学校读者我要写书评

暂无评论

Investigation of data transfer capabilities for heterogeneous service support in critical mobile objects communication situations

Investigation of data transfer capabilities for heterogeneou...

引用

Materials of Doctoral Consortium of the 10th International Baltic Conference on Databases and Information systems, Baltic DB and IS 2012

作者： Kurmis, Mindaugas Dzemydiene, Dale Andziulis, Arunas Vilnius University Institute of Mathematics and Informatics Akademijos Str. 4 Vilnius LT-08663 Lithuania Mykolas Romeris University Department of Informatics and Software Systems Lithuania Klaipeda University Informatics Engineering Department Lithuania

ISBN: (纸本)9789986342748

Research of heterogeneous service providing in the fast-changing topology vehicular communication networks are important because expansion and integration of this intelligent transport systems platform would greatly improve traffic safety and reduce injuries on the road. At the same time, the trips would be more comfortable. In this work, it is investigated data-transfer capabilities for heterogeneous service support, road safety, assessed their integration potentials and prospects in vehicle communication networks with changing topology. It is showed that to provide quality heterogeneous services it is necessary new routing protocols and channel access methods for the large volume fast changing topology networks.

关键词： Topology

来源：评论

学校读者我要写书评

暂无评论

A pattern-based method for safe control systems exemplified within nuclear power production

A pattern-based method for safe control systems exemplified ...

引用

31st International Conference on Computer Safety, Reliability, and Security, SAFECOMP 2012

作者： Hauge, André Alexandersen Stølen, Ketil Department of Software Engineering Institute for Energy Technology Halden Norway Department of Networked Systems and Services SINTEF ICT Oslo Norway Department of Informatics University of Oslo Norway

ISBN: (纸本)9783642336775

This article exemplifies the application of a pattern-based method, called SaCS (Safe Control systems), on a case taken from the nuclear domain. The method is supported by a pattern language and provides guidance on the development of design concepts for safety critical systems. The SaCS language offers six different kinds of basic patterns as well as operators for composition. © 2012 Springer-Verlag.

关键词： Control systems

来源：评论

学校读者我要写书评

暂无评论

Cancer treatment planning: Formal methods to the rescue

Cancer treatment planning: Formal methods to the rescue

引用

2012 4th International Workshop on software engineering in Health Care, SEHC 2012

作者： Mathe, Janos Sztipanovits, Janos Levy, Mia Jackson, Ethan K. Schulte, Wolfram Institute for Software Integrated Systems Vanderbilt University TN United States Department of Biomedical Informatics Vanderbilt University Medical Center Vanderbilt University United States Research in Software Engineering Microsoft Research WA United States

ISBN: (纸本)9781467318433

This paper describes the ongoing development of ATTENTION, a new kind of clinical decision support system for synthesizing and managing longitudinal treatment plans, such as cancer treatment plans. ATTENTION combines stateof- the-art formal modeling and constraint solving with clinical information systems to synthesize complex cancer treatment plans that are also executable. © 2012 IEEE.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

A formal compositional verification approach for safety-critical systems correctness: Model-Checking based methodological approach to automatically verify safety critical systems software

A formal compositional verification approach for safety-crit...

引用

14th International Conference on Enterprise Information systems, ICEIS 2012

作者： Capel, Manuel I. Morales, Luis E. Mendoza Department of Software Engineering University of Granada Informatics and Telecommunications 18071 Granada Spain Processes and Systems Department Simón Bolívar University P.O. box 89000 Baruta Caracas 1080-A Venezuela

ISBN: (纸本)9789898565105

The complexity of modern Safety-Critical systems (SCS) together with the absence of appropriate software verification tools is one reason for the large number of errors in the design and implementation of these systems. Moreover, exhaustive testing is hard and highly complex because of the combinatorial explosion in the great number of states that an SCS can reach when it executes. A methodological approach named FCVA that uses Model-Checking (MC) techniques to automatically verify SCS software is presented here. This approach facilitates decomposition of complex SCS software into independently verified individual components, and establishes a compositional method to verify these systems using state-of-the-art MC tools. Our objective in this paper is to facilitate the description of an SCS as a collection of verified components, allowing complete complex SCS software verification. An application on a real-life project in the field of mobile phone communication is discussed to demonstrate the applicability of FCVA.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

A compositional scheme and framework for safety critical systems verification

A compositional scheme and framework for safety critical sys...

引用

10th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information systems, MSVVEIS 2012 and 1st International Workshop on Web Intelligence, WEBI 2012, in Conjunction with ICEIS 2012

作者： Capel, Manuel I. Mendoza-Morales, Luis E. Department of Software Engineering Informatics and Telecomunications Bldg. University of Granada 18071 Granada Spain Processes and Systems Department Simón Bolívar University P.O. box 89000 Baruta Caracas 1080-A Venezuela

ISBN: (纸本)9789898565143

Safety-Critical systems (SCS)must satisfy dependability requirements such as availability, reliability, and real-time constraints, in order to justify the reliance of the critical service they deliver. A verification framework named Formal Compositional Verification Approach (FCVA) is presented here. FCVA establishes a compositional method to verify safety, fairness and deadlock absence of SCS. software components of a given critical system are model-checked to verify the aforementioned properties. Our objective in this paper is to facilitate the design of an SCS from a collection of verified simpler components, and hence allowing complete complex SCS software verification. An application on a real-life project in the field of mobile phone communication is discussed to demonstrate the applicability of FCVA.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Emerging research themes in services-oriented systems

Emerging research themes in services-oriented systems

引用

2012 Annual SRII Global Conference, SRII 2012

作者： Baresi, Luciano Georgantas, Nikolaos Hamann, Kristof Issarny, Valerie Lamersdorf, Winfried Metzger, Andreas Pernici, Barbara Politecnico di Milano Dipartimento di Elettronica e Informazione Milano Italy INRIA Paris-Rocquencourt France Department of Informatics University of Hamburg Hamburg Germany Software Systems Engineering University of Duisburg-Essen Essen Germany

ISBN: (纸本)9780769547701

Service-oriented Architecture (SOA) is one of the most recent trends in IT solutions. From a technical perspective SOA, can be considered a method for designing and developing IT systems where applications are constructed from loosely coupled and autonomous building blocks. For a thorough analysis and discussion of SOA at large, and of the applications it enables, IFIP (International Federation of Information Processing) has recently established a new working group on Services-oriented systems (WG 2.14/6.12/8.10). The paper presents some first results of the analysis aimed to identify the relevant trends and shape emerging research themes. The goal is to highlight the peculiarities of each area, the main opportunities, and also some possible synergies with the others. © 2012 IEEE.

关键词： Process monitoring

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：