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

Procedia Computer Science 2015年 60卷 1604-1612页

作者： Yaqin Hedin Esmiralda Moradian Department of Computer and Systems Sciences Stockholm University SE-164-07 Kista Sweden

Multi-agent systems become more and more popular due to successful implementations in different fields. However, there is a number of threats that can compromise security of the agent and jeopardize systems security. Therefore, security issues should be taken into consideration during development of multi-agent systems. However, different existing methodologies that provide guidelines and models for development of multi-agent systems omit security. Therefore, there is a great need in offering security solutions which are integrated with system functionalities. This research presents a model for securing multi-agent systems, which is developed, based on the concepts and models regarding agent's role and communications. Moreover, possible attacks on multi-agent systems are presented and threats are categorized. Furthermore, general security requirements at the agent and the system levels are defined and considered in the proposed model.

关键词： Multi-agent system security Threats attacks and vulnerabilities agent-oriented programming security requirements.

来源：评论

学校读者我要写书评

暂无评论

A Cloud Computing Platform for Lifecycle Support of Intelligent Multi-agent Internet-services

A Cloud Computing Platform for Lifecycle Support of Intellig...

引用

2015 International Conference on Power Electronics and Energy Engineering（PEEE 2015）

作者： V.Gribova A.Kleschev D.Krylov P.Moskalenko V.Timchenko E.Shalfeyeva Institute for Automation and Control Processes Russian Academy of Sciences 5 Radio St.

The paper presents a concept of a platform for cloud computing which is intended for development, control and usage of intelligent multi-agent Internet-services. The main purpose of the platform is to decrease the eff... 详细信息

关键词： agent-oriented programming Cloud computing Internet-services

来源：评论

学校读者我要写书评

暂无评论

How to make a distributed programming course a big fun 44

How to make a distributed programming course a big fun

引用

IEEE Frontiers in Education Conference (FIE)

作者： Osipov, Evgeny Mousavi, Arash Lulea Univ Technol Dept Comp Sci Elect & Space Engn S-97187 Lulea Sweden

ISBN: (纸本)9781479939220

This article presents experiences of teachers from Lulea University of Technology when enhancing the teaching approach and depth of an undergraduate course on network programming and distributed applications. During the trial run of the course in the fall of 2013 agent-oriented programming and cloud technologies were married to provide students an exciting practical scenario and capability to test the performance of truly large scale distributed systems under extremely high traffic loads.

关键词： cloud computing computer aided instruction computer science education distributed programming educational courses educational institutions object-oriented programming software agents teaching Lulea University of Technology agent-oriented programming cloud technologies distributed applications distributed programming course large-scale distributed systems network programming applications teacher experiences teaching approach enhancement traffic loads undergraduate course depth enhancement Cloud computing Computer architecture Educational institutions Multi-agent systems programming profession

来源：评论

学校读者我要写书评

暂无评论

Mutation Testing for Jason agents 2

Mutation Testing for Jason Agents

引用

2nd International Workshop on Engineering Multi-agent Systems (EMAS)

作者： Huang, Zhan Alexander, Rob Clark, John Univ York Dept Comp Sci York YO10 5DD N Yorkshire England

ISBN: (纸本)9783319144849;9783319144832

Most multi-agent system (MAS) testing techniques lack empirical evidence of their effectiveness. Since finding tests that can reveal a large proportion of possible faults is a key goal in testing, we need techniques to assess the fault detection ability of test sets for MAS. Mutation testing offers a direct and powerful way to do this: it generates modified versions of the program ("mutants") following a set of rules ("mutation operators") then checks if a test set can distinguish the original program from the (functionally non-equivalent) mutants. In this paper, we propose a set of mutation operators for the agent-oriented programming language Jason, and then introduce a mutation testing system for individual Jason agents that implements a subset of our proposed mutation operators. We use this subset to assess a test set for a Jason agent that meets a combination of existing agent-based coverage criteria. The assessment shows that this test set is not adequate to kill all mutants.

关键词： Test Evaluation Mutation Testing agent-oriented programming Jason

来源：评论

学校读者我要写书评

暂无评论

Code patterns for agent-oriented programming 09

Code patterns for agent-oriented programming

引用

International Conference on Autonomous agents and Multiagent Systems

作者： Peter Novak Wojciech Jamroga Clausthal University of Technology

ISBN: (纸本)9780981738161

The mainstream approach to design of BDI-inspired agent programming languages is to choose a set of agent-oriented features with a particular semantics and their subsequent implementation in the programming language interpreter. The language designer's choices thus impose strong constraints on the architecture of the implemented agents as well as only a limited toolbox of high-level language constructs for encoding the agent program.

关键词： agent-oriented programming ai code patterns description level: methodologies and languages focus: agent programming languages inspiration source: robotics temporal logic

来源：评论

学校读者我要写书评

暂无评论

Computer-assisted creativity: Emulation of cognitive processes on a multi-agent system

引用

EXPERT SYSTEMS WITH APPLICATIONS 2013年第9期40卷 3459-3470页

作者： Lopez-Ortega, Omar Univ Autonoma Estado Hidalgo Area Acad Sistemas Computac Pachuca 42084 Hidalgo Mexico

For creativity to be computed, it is paramount to understand the cognitive processes involved, which have been elucidated by either surveying creative people or discovering regions of the human brain that activate during creative endeavors. From this scattering, the author proposes a holistic framework to describe them and their interaction. Hence, creativity can be regarded as a meta process which coordinates autonomous cognitive processes such as planning or divergent thinking. To represent the interplay of cognitive processes around creativity, models are developed in the agent Unified Modeling Language (AUML). Then, the execution of each process is delegated to autonomous agents and a global coordination protocol is devised. The implementation of the MAS is done on the JADE platform. Two modules of the resultant system are exemplified: opus planning and divergent exploration. The coordination protocol is also presented. The domain in which the software system is tested is the creation of musical pieces. (C) 2012 Elsevier Ltd. All rights reserved.

关键词： Computer-assisted creativity Cognitive processes agent-oriented programming Recursive systems

来源：评论

学校读者我要写书评

暂无评论

JOIN PATTERNS FOR CONCURRENT agentS (POSITIONPAPER)

引用

SCALABLE COMPUTING-PRACTICE AND EXPERIENCE 2013年第3期14卷 181-187页

作者： Muscar, Alex Univ Craiova Bvd DecebalNr 107 Craiova Romania

Even though the agent oriented programming (AOP) paradigm has been introduced over 20 years ago, the following is still modest. We believe this is partially due to the lack of the community to address such real world issues as concurrency and distribution. In this paper we take a look at the possibility of combining elements from the Join Calculus, namely join patterns with an AOP programming language, in our case Jason. We discuss some of the implications, advantages and possible drawbacks.

关键词： asynchronous programming agent-oriented programming concurrency

来源：评论

学校读者我要写书评

暂无评论

Peer-to-peer, multi-agent interaction adapted to a web architecture

Peer-to-peer, multi-agent interaction adapted to a web archi...

引用

作者： Bai, Xi The University of Edinburgh

学位级别：master

The Internet and Web have brought in a new era of information sharing and openedup countless opportunities for people to rethink and redefine communication. Withthe development of network-related technologies, a Client/Server architecture has becomedominant in the application layer of the Internet. Nowadays network nodesare behind firewalls and Network Address Translations, and the centralised design ofthe Client/Server architecture limits communication between users on the client *** the conflicting goals of data privacy and data openness is difficult and inmany cases the difficulty is compounded by the differing solutions adopted by differentorganisations and companies. Building a more decentralised or distributed environmentfor people to freely share their knowledge has become a pressing challengeand we need to understand how to adapt the pervasive Client/Server architecture to thismore fluid *** thesis describes a novel framework by which network nodes or humans can interactand share knowledge with each other through formal service-choreography specificationsin a decentralised manner. The platform allows peers to publish, discoverand (un)subscribe to those specifications in the form of Interaction Models (IMs). Peergroups can be dynamically formed and disbanded based on the interaction logs ofpeers. IMs are published in HTML documents as normal Web pages indexable bysearch engines and associated with lightweight annotations which semantically enhancethe embedded IM elements and at the same time make IM publications complywith the Linked Data principles. The execution of IMs is decentralised on each peer viaconventional Web browsers, potentially giving the system access to a very large usercommunity. In this thesis, after developing a proof-of-concept implementation, wecarry out case studies of the resulting functionality and evaluate the implementationacross several *** increasing number of service providers have began to look for

关键词： process calculus calculus-based coordination semantic annotation linked data agent-oriented programming

来源：评论

学校读者我要写书评

暂无评论

Reasoning about strategies of multi-agent programs 10

Reasoning about strategies of multi-agent programs

引用

Proceedings of the 9th International Conference on Autonomous agents and Multiagent Systems: volume 1 - Volume 1

作者： Mehdi Dastani Wojciech Jamroga Utrecht University Utrecht the Netherlands University of Luxembourg and Clausthal University of Technology

ISBN: (纸本)9780982657119

Verification of multi-agent programs is a key problem in agent research and development. This paper focuses on multi-agent programs that consist of a finite set of BDI-based agent programs executed concurrently. We choose alternating-time temporal logic (ATL) for expressing properties of such programs. However, the original ATL is based on a synchronous model of multi-agent computation while most (if not all) multi-agent programming frameworks use asynchronous semantics where activities of different agents are interleaved. Moreover, unlike in ATL, our agent programs do not have perfect information about the current global state of the system. They are not appropriate subjects for modal epistemic logic either (since they do not know the global model of the system). We begin by adapting the semantics of ATL to the situation at hand; then, we consider the verification problem in the new setting and present some preliminary results.

关键词： strategic logic model checking agent-oriented programming

来源：评论

学校读者我要写书评

暂无评论

AOPOA -: Organizational approach for agent oriented programming

AOPOA -: Organizational approach for agent oriented programm...

引用

8th International Conference on Enterprise Information Systems (ICEIS 2006)

作者： Gonzalez, Enrique Torres, Miguel Pontificia Univ Javeriana Grp Invest SIDRe Bogota Colombia

ISBN: (纸本)9728865449

This paper presents AOPOA, an agent oriented programming methodology based in an organizational approach. The resulting multiagent system is composed by a set of active entities that aim to accomplish a well-defined set of goals. This approach allows to design complex systems by decomposing them into simpler ones. The organizational approach makes it easier to perform an iterative and recursive decomposition based in the concept of goal;and at the same time to identify the interactions between the entities composing the system;at each iteration an organization level is developed. During the analysis phase, tasks and roles are detected. During the design phase, the interactions are characterized and managed by means of cooperation protocols. At the final iteration, the role parameterization is performed, which allows to specify the events and actions associated to each agent. Finally, the deploy of the agent instances is determined allowing redundancy to achieve the requirements of the system.

关键词： agent-oriented programming agent design methodology Multiagent Systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：