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

Working IEEE/IFIP Conference on Software Architecture

作者： Jaroslav Keznikl Tomáš Bureš František Plášil Michal Kit Department of Distributed and Dependable Systems Faculty of Mathematics and Physics Charles University Prague Czech Republic Institute of Computer Science Academy of Sciences슠of the슠Czech Republic Prague Czech Republic

In the domain of dynamically evolving distributed systems composed of autonomous and (self-) adaptive components, the task of systematically managing the design complexity of their communication and composition is a pressing issue. This stems from the dynamic nature of such systems, where components and their bindings may appear and disappear without anticipation. To address this challenge, we propose employing separation of concerns via a mechanism of dynamic implicit bindings with implicit communication. This way, we strive for dynamically formed, implicitly interacting groups - ensembles - of autonomous components. In this context, we introduce the DEECo component model, where such bindings, as well as the associated communication, are managed in an automated way, enabling transparent handling of the dynamic changes in the system.

关键词： Robot kinematics Runtime Computational modeling Adaptation models computer architecture Software

来源：评论

学校读者我要写书评

暂无评论

FOAM: A Lightweight Method for Verification of Use-Cases

FOAM: A Lightweight Method for Verification of Use-Cases

引用

Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

作者： Viliam Simko Petr Hnetynka Tomas Bures Frantisek Plasil Faculty of Mathematics and Physics Department of Distributed and Dependable Systems Charles University Prague Czech Republic Institute of Computer Science Academy of Sciences슠of the슠Czech Republic Prague Czech Republic

The advantage of textual use-cases is that they can be easily understood by stakeholders and domain experts. However, since use-cases typically rely on a natural language, they cannot be directly subject to a formal verification. In this paper, we present the FOAM method which features simple user-definable annotations, inserted into a use-case to make its semantics more suitable for verification. Subsequently a model-checking tool verifies temporal invariants associated with the annotations. This way, FOAM allows for harnessing the benefits of model-checking while still keeping the use-cases understandable for non-experts.

关键词： Unified modeling language Cities and towns Semantics Natural languages Automata Object oriented modeling Educational institutions

来源：评论

学校读者我要写书评

暂无评论

Model checking cooperative multi-agent systems in BDI logic

引用

Journal of Information and Computational science 2012年第5期9卷 1185-1194页

作者： Chen, Qingliang Su, Kaile Wu, Lijun Xu, Zhaocheng School of Electronics Engineering and Computer Science Peking University Beijing 100871 China Department of Computer Science Jinan University Guangzhou 510632 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China Institute for Integrated and Intelligent Systems Griffith University Brisbane Australia School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu China

Traditional temporal logics such as LTL (Linear Temporal Logic) and CTL (Computation Tree Logic) have shown tremendous success in specifying and verifying hardware and software systems. However, this kind of logic can only model the dynamic behaviors for a single system, and fall short in capturing the joint and concurrent aspects in the composition of systems, such as the interactions and coordinations of agents in Multi-agent systems. Although ATL (Alternating-time Temporal Logic) can solve the problem to a certain extent, by preceding the temporal operators with a selective path quantifier, to specify that the interactions between entities inside the system can make sure that there is a strategy to reach a certain state, it can not formalize the rational mental attitudes of the agents such as the Belief, Desire and Intention (BDI) which plays an essential role in decision making during cooperation with other agents. This paper will investigate this problem by proposing a logic of ATLBDI (Alternating-time Temporal Logic of Belief Desire and Intention) and discuss the algorithmic issues such as model checking algorithms and the computational complexity, along with examples to show its effectiveness. We conclude that model checking for ATLBDI is completely tractable and is in PTIME-Complete, which is quite an optimistic and promising result for further applications. © 2012 by Binary Information Press.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

UAVNet: A Mobile Wireless Mesh Network Using Unmanned Aerial Vehicles

UAVNet: A Mobile Wireless Mesh Network Using Unmanned Aerial...

引用

institute of Electrical and Electronics Engineers Globecom Workshops

作者： Simon Morgenthaler Torsten Braun Zhongliang Zhao Thomas Staub Markus Anwander Communication and Distributed Systems Institute of Computer Science and Applied Mathematics Universitat Bern

ISBN: (纸本)9781467349420

We developed UAVNet, a framework for the autonomous deployment of a flying Wireless Mesh Network using small quadrocopter-based Unmanned Aerial Vehicles (UAVs). The flying wireless mesh nodes are automatically interconnected to each other and building an IEEE 802.11s wireless mesh network. The implemented UAVNet prototype is able to autonomously interconnect two end systems by setting up an airborne relay, consisting of one or several flying wireless mesh nodes. The developed software includes basic functionality to control the UAVs and to setup, deploy, manage, and monitor a Wireless mesh network. Our evaluations have shown that UAVNet can significantly improve network performance.

关键词： Unmanned Aerial Vehicles Wireless Mesh Networks Wireless Network Relaying

来源：评论

学校读者我要写书评

暂无评论

Parallel VLSI detailed routing using general-purpose computing on graphics processing unit

Parallel VLSI detailed routing using general-purpose computi...

引用

International Conference on Electrical Engineering/Electronics, computer, Telecommunications and Information Technology, ECTI-CON

作者： Lalinthip Tangjittaweechai Mongkol Ekpanyapong Kanchana Kanchanasut Adriano Tavares Sung Kyu Lim Prabhas Chongstitvatana Microelectronics and Embedded Systems Asian Institute of Technology Pathumthani Thailand Computer Science department Asian Institute of Technology Pathumthani Thailand School of Electrical and Computer Engineering Georgia Institute of Technology Georgia USA Department of Industrial Electronics University of Minho Guimaraes Portugal Computer Engineering department Chulalongkorn University Bangkok Thailand

Parallelization of VLSI routing algorithms is one of the challenging problems in VLSI physical design. This is due to a large number of nets as well as the shared routing resources that result in data dependency among concurrent tasks. In this paper, VLSI Maze routing using GPGPU has been proposed to enable runtime performance improvement. We report up to 3× performance gain with an average of 25% runtime performance improvement from VLSI Maze routing using CPU. The routing qualities including wirelength and overflow are better among all benchmarks comparing with CPU baseline. The solutions also scale well when the size of the problem increases.

关键词： Routing Instruction sets Graphics processing unit Very large scale integration Central Processing Unit Benchmark testing Runtime

来源：评论

学校读者我要写书评

暂无评论

An optimal sensor deployment scheme to ensure multi level coverage and connectivity in wireless sensor networks

An optimal sensor deployment scheme to ensure multi level co...

引用

International Wireless Communications and Mobile Computing Conference, IWCMC

作者： Arnab Raha Shovan Maity Mrinal Kanti Naskar Omar Alfandi Dieter Hogrefe Department of Electronics and Telecommunication Engineering Advanced Digital and Embedded Systems Laboratory Jadavpur University Kolkata India Institute of Computer Science SensorLab Telematics Group Georg-August-University of Goettingen Gottingen Germany

This paper introduces an optimal deployment algorithm of sensors in a given region to provide desired coverage and connectivity for a wireless sensor network. Our paper utilizes two separate procedures for covering different regions of a symmetrical rectangular area. The proposed method divides the given area of interest into two distinct sub-regions termed as the central and edge regions. In each region, a unique scheme is used to determine the number and location of sensors required to monitor and completely cover the region keeping the connectivity and coverage ranges of the sensors, their hardware specification and the dimensions of the region concerned as the constraints. Our scheme reduces the overhead in determining the position of sensors for deployment by following a coverage and connectivity algorithm of lesser complexity rather than those present in related schemes. Finally, we compare our deployment scheme with the interpolation scheme of [2] in regions of different dimensions and different coverage and connectivity levels with different sensing ranges of the sensors to show our cost efficiency over the latter.

关键词： Wireless sensor networks Sensors Interpolation Reliability Strips Optimization Protocols

来源：评论

学校读者我要写书评

暂无评论

Robustness validation of integrated circuits and systems

Robustness validation of integrated circuits and systems

引用

Asia Symposium on Quality Electronic Design, ASQED

作者： M. Barke M. Kärgel W. Lu F. Salfelder L. Hedrich M. Olbrich M. Radetzki U. Schlichtmann Institute for Electronic Design Automation Technische Universität München Germany Institute of Microelectronic Systems Leibniz Universität Hannover Germany Embedded Systems Engineering University of Stuttgart Germany Department of Computer Science J. W. GoeUniversity FB Informatik VSFT Germany

Robust system design is becoming increasingly important, because of the ongoing miniaturization of integrated circuits, the increasing effects of aging mechanisms, and the effects of parasitic elements, both intrinsic and external. For safety reasons, particular emphasis is placed on robust system design in the automotive and aerospace sectors. Until now, the term robustness has been applied very intuitively and there has been no proper way to actually measure robustness. However, the complexity of contemporary systems makes it difficult to fulfill tight specifications. For this reason, robustness must be integrated into a partially automated design flow. In this paper, a new approach to robustness modeling is presented, in addition to new ways to quantify or assess the robustness of a design. To demonstrate the flexibility of the proposed approach, it is adapted and applied to several different scenarios. These include the robustness evaluation of digital circuits under aging effects, such as NBTI; the robustness modeling of analog and mixed signal circuits using affine arithmetic; and the robustness study of software algorithms on a high system level.

关键词： Robustness Human computer interaction Testing

来源：评论

学校读者我要写书评

暂无评论

Generating activity streams from events occurring in company-internal IT infrastructures

Generating activity streams from events occurring in company...

引用

2011 IEEE 13th International Conference on Communication Technology, ICCT 2011

作者： Khaled Reza, S.M. Mohsin Reza, S.M. Distributed Systems Engineering Faculty of Computer Science Dresden University of Technology Dresden Germany Embedded Systems Engineering Faculty of Computer Science Electrical Engineering and Information Technology University of Stuttgart Germany

ISBN: (纸本)9781612843070

In the current era of technology, the Internet and web technologies become the center source of information. Due to the huge amount of contents, one of the main challenges of modern information technology is aimed at how to reduce and manage information in a structured way with mobilizing users to the similar kind of relevant information. So, any intelligent system should be able to understand people's interest about a particular type of information and automatically mobilize him to the similar kind of available information sources. The idea of high level Activity Streams along with its standardized format can play a vital role to solve this problem in the broader context. This paper introduces a novel system called CoASGen (Consolidation and Activity Streams Generator) which is able to automatically generate high level Activity Streams after aggregating and consolidating from different independent systems (e.g. in a software company context: version management system, wikis, bug trackers etc.). It retrieves life time information as heterogeneous web feed by sensing user activities from those independent systems and then it transforms several similar types of atomic activities into high level Activity Streams using semantic technologies along with its specific standardized format. Finally, it shows these high level Activity Streams to the user interface which is able to automatically motivate users to find relevant information easily without either missing any data or losing valuable time. This system solves the problem "data silos" by reducing and managing information in a structured way. © 2011 IEEE.

关键词： Intelligent systems

来源：评论

学校读者我要写书评

暂无评论

Growth- and entropy-based SOA measurement: Vision and approach in a large scale environment

Growth- and entropy-based SOA measurement: Vision and approa...

引用

Joint Conference of the 21st International Workshop on Software Measurement, IWSM 2011 and the 6th International Conference on Software Process and Product Measurement, MENSURA 2011

作者： Fiegler, Anja Dumke, Reiner R. Faculty of Computer Science Institute for Distributed Systems Otto von Guericke University Magdeburg Germany

ISBN: (纸本)9780769544977

Service-oriented architectures (SOA) can be considered as an enabling methodology for Cloud Computing and the IT's industrialization, standardization and commodity approach. The efforts to effectively introduce SOA were driven by the evermore increasing complexity and volume of information to be consumed. This paper discusses in this context some major quality characteristics of SOA systems and new measurement approaches, considering complex IT systems and digital ecosystems. This approach is based on growth models related to SOA's reference architecture as well as diversity and entropy. On a field test certain metrics are applied to a real large scale SOA system. As a result some major and important characteristics of the SOA system can be proven and weak structures in services orchestrations exposed. © 2011 IEEE.

关键词： Entropy

来源：评论

学校读者我要写书评

暂无评论

Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2012年 7140 LNCS卷 IV页

作者： Barthe, Gilles Datta, Anupam Etalle, Sandro Universidad Politecnica de Madrid IMDEA Software Institute Campus Montegancedo 28660 Boadilla del Monte Madrid Spain P.O. Box 1 Moffet Field CA 94035-0001 United States Technical University of Eindhoven Faculty of Mathematics and Computer Science Embedded Systems Security Group P.O. Box 513 5600 MB Eindhoven Netherlands

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：