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

2011 IEEE Global Telecommunications Conference - GLOBECOM 2011

作者： Alberto Caballero Breva Antonios Argyriou Distributed Sensor Systems Group Philips Research Netherlands Department of Electrical and Computer Engineering University of Thessally Volos Greece Center for Research and Technology Hellas Thessaloniki Greece

Body-coupled communication (BCC) is a technology that is based on the use of capacitively-coupled electric fields over the human body. In this paper we highlight the design and implementation of a medium access control (MAC) protocol specifically designed to meet the requirements of BCC-enabled body area networks (BANs). We propose a set of specific protocol enhancements over well-known MAC protocols that are based on the concept of low-power listening. We present the proposed protocol in conjunction with the embedded software implementation for the prototype hardware platform. The purpose of this approach is to demonstrate that several protocol enhancements were motivated by observations on the actual BCC hardware and its intricacies. Finally, we present a series of experiments under real conditions.

关键词： Peer to peer computing Media Access Protocol Receivers Hardware Throughput Wireless sensor networks

来源：评论

学校读者我要写书评

暂无评论

Generic Environment for Full Automation of Benchmarking 1

Generic Environment for Full Automation of Benchmarking

引用

Testing of Component-Based systems and Software Quality, 1st International Workshop on Software Quality, SOQUA 2004 and Workshop Testing Component-Based systems, TECOS 2004

作者： Kalibera, Tomáš Bulej, Lubomír Tůma, Petr Distributed Systems Research Group Department of Software Engineering Faculty of Mathematics and Physics Charles University Malostranské nám. 25 Prague118 00 Czech Republic Institute of Computer Science Czech Academy of Sciences Pod Vodárenskou věží 2 Prague182 07 Czech Republic

ISBN: (纸本)3885793873

Regression testing is an important part of software quality assurance. We work to extend regression testing to include regression benchmarking, which applies benchmarking to detect regressions in performance. Given the specific requirements of regression benchmarking, many contemporary benchmarks are not directly usable in regression benchmarking. To overcome this, we present a case for designing a generic benchmarking environment that will facilitate the use of contemporary benchmarks in regression benchmarking, analyze the requirements and propose architecture of such an environment. © 2004 Gesellschaft fur Informatik (GI). All rights reserved.

关键词： Benchmarking

来源：评论

学校读者我要写书评

暂无评论

A Goal-Driven Approach for Deploying Self-Adaptive IoT systems

A Goal-Driven Approach for Deploying Self-Adaptive IoT Syste...

引用

Working IEEE/IFIP Conference on Software Architecture

作者： Fahed Alkhabbas Ilir Murturi Romina Spalazzese Paul Davidsson Schahram Dustdar Department of Computer Science and Media Technology Internet of Things and People Research Center Malmö University Sweden TU Wien Distributed Systems Group Austria

ISBN: (数字)9781728146591

ISBN: (纸本)9781728146607

Engineering Internet of Things (IoT) systems is a challenging task partly due to the dynamicity and uncertainty of the environment including the involvement of the human in the loop. Users should be able to achieve their goals seamlessly in different environments, and IoT systems should be able to cope with dynamic changes. Several approaches have been proposed to enable the automated formation, enactment, and self-adaptation of goal-driven IoT systems. However, they do not address deployment issues. In this paper, we propose a goal-driven approach for deploying self-adaptive IoT systems in the Edge-Cloud continuum. Our approach supports the systems to cope with the dynamicity and uncertainty of the environment including changes in their deployment topologies, i.e., the deployment nodes and their interconnections. We describe the architecture and processes of the approach and the simulations that we conducted to validate its feasibility. The results of the simulations show that the approach scales well when generating and adapting the deployment topologies of goal-driven IoT systems in smart homes and smart buildings.

关键词： Topology Cloud computing computer architecture Internet of Things Buildings Adaptation models Software

来源：评论

学校读者我要写书评

暂无评论

Reducing Component systems' Behavior Specification

Reducing Component Systems' Behavior Specification

引用

computer Science Society (SCCC) International Conference Chilean FLAGGED

作者： Viliam Holub Frantisek Plasil Distributed Systems Research Group Charles University Czech Republic Institute of Computer Science Academy of Sciences슠of the슠Czech Republic Czech Republic

Behavior verification of large component systems suffers of state explosion in particular when components involve parallel activities. For behavior protocols, a method of component behavior specification, we present a method of state space size reduction based on symbolic manipulation with the specification done by applying a set of reduction rules. A case study is presented showing that the specification size is often reduced to only a fraction of the original one.

关键词： Protocols Algebra computer science Interleaved codes Explosions State-space methods Merging Carbon capture and storage System recovery Veins

来源：评论

学校读者我要写书评

暂无评论

Adaptive Batching for Replicated Servers

Adaptive Batching for Replicated Servers

引用

Reliable distributed systems

作者： Roy Friedman Erez Hadad Computer Science Department Technion - Israel Institute of Technology Haifa Israel Distributed Computing Systems Group IBM Haifa Research Lab Haifa Israel

This paper presents two novel generic adaptive batching schemes for replicated servers. Both schemes are oblivious to the underlying communication protocols. Our novel schemes adapt their batching levels automatically and immediately according to the current communication load. This is done without any explicit monitoring or calibration of the system. Additionally, the paper includes a detailed performance evaluation

关键词： Delay Throughput Monitoring Protocols Costs Computational efficiency Bandwidth computer science Calibration distributed computing

来源：评论

学校读者我要写书评

暂无评论

Online temporal pattern learning

Online temporal pattern learning

引用

International Joint Conference on Neural networks (IJCNN)

作者： N. Farahmand M.H. Dezfoulian H. GhiasiRad A. Mokhtari A. Nouri Axaya Research Group Laboratory of Multi-Agent Systems and Distributed Artificial Intelligence Department of Computer Software Engineering Bu-Ali Sina University Iran

This paper describes a biologically motivated approach, using hierarchical temporal memory (HTM), to build a high-level self-organizing visual system for a soccer bot. Meanwhile it presents two unsupervised online learning algorithms for temporal patterns in HTMs. The algorithms were implemented in a simulated soccer bot for a real-world evaluation. After a training phase, the robot was able to recognize different static objects in the soccer field. It also learned and recognized high-level objects that are composed of simpler objects, with position invariance and was also able to learn and recognize motions in the objects, all in a completely unsupervised manner.

关键词： Brain modeling Neural networks Visual system Biological system modeling Hidden Markov models Robots Data processing Humans Recurrent neural networks Kernel

来源：评论

学校读者我要写书评

暂无评论

Enabling mobile agent technology for intelligent bulk management data filtering

Enabling mobile agent technology for intelligent bulk manage...

引用

IEEE Symposium on Network Operations and Management

作者： D. Gavalas M. Ghanbari M. O'Mahony D. Greenwood Communication Networks Research Group Electronic Systems Engineering Department University of Essex Colchester UK University of Essex Colchester Essex GB Distributed Network Management and Agent Technology Research Group Fujitsu Telecommunications Europe Colchester UK

The intrinsic scalability limitations of traditional centralised network management (NM) become significantly more pronounced when transfers of bulk network monitoring data are considered. This fact has encouraged a trend towards distributed management intelligence, which promises more flexible and scalable solutions. However, distributed mobile agent (MA) based NM architectures reported in the literature do not adequately address scalability problems when considering data-intensive NM applications. In this paper, we present three novel applications in which MA are used to perform management data aggregation, acquire SNMP table snapshots and filter SNMP table contents subject to filtering expressions. Both real-time and off-line NM data acquisition is considered. The applications, supported by a lightweight management framework described in previous work, are shown to outperform SNMP-based polling in terms of bandwidth consumption.

关键词： Mobile agents Intelligent agent Technology management Scalability Monitoring Content management Filters Filtering Data acquisition Bandwidth

来源：评论

学校读者我要写书评

暂无评论

GDCA: A distributed channel assignment mechanism for multi-radio multi-channel wireless mesh networks

引用

Journal of networks 2011年第2期6卷 303-310页

作者： Xia, Yan Zeng, Yingzhi Gong, Zhenghu Xin, Qin School of Computer National University of Defense Technology Changsha Hunan China School of Information Science and Engineering Hunan University Changsha Hunan China Networks and Distributed Systems Simula Research Laboratory Oslo Norway

Channel assignment is one of the most important problem in the research of the multi-radio multi-channel wireless mesh networks ((MRMC-WMN). Aiming at minimizing the overall network interference and optimizing the usage of channel resource, channel assignment problem must obey the constraint of limited radios and available channels for MRMC-WMN. The above optimization problem is known to be NP-complete. This paper focuses on the study of channel assignment in MRMC-WMN. We propose a new grid-loop-based echanism for dynamic channel assignment. Our mechanism exploits the group which we called grid-loop, which is constructed on distributed minimum spanning tree by self-organized. Our new GDCA scheme has many advantages over cluster-based scheme. The analysis and comparison demonstrates its feasibility, stability, cost-saving and efficiency. © 2011 ACADEMY PUBLISHER.

关键词： MESH networking

来源：评论

学校读者我要写书评

暂无评论

Checking concurrent behavior in UML/OCL models 15

Checking concurrent behavior in UML/OCL models

引用

ACM/IEEE International Conference on Model Driven Engineering Languages and systems (MODELS)

作者： Nils Przigoda Christoph Hilken Robert Wille Jan Peleska Rolf Drechsler Group for Computer Architecture University of Bremen Bremen Germany Research Group Operating Systems & Distributed Systems University of Bremen Bremen Germany DFKI GmbH Cyber-Physical Systems Bremen Germany Universitat Bremen Bremen Bremen DE

ISBN: (纸本)9781467369084

The Unified Modeling Language (UML) is a defacto standard for software development and, together with the Object Constraint Language (OCL), allows for a precise description of a system prior to its implementation. At the same time, these descriptions can be employed to check the consistency and, hence, the correctness of a given UML/OCL model. In the recent past, numerous (automated) approaches have been proposed for this purpose. The behavior of the systems has usually been considered by means of sequence diagrams, state machines, and activity diagrams. But with the increasing popularity of design by contract, also composite structures, classes, and operations are frequently used to describe behavior in UML/OCL. However, for these description means no solution for the validation and verification of concurrent behavior is available yet. In this work, we propose such a solution. To this end, we discuss the possible interpretations of “concurrency” which are admissible according to the common UML/OCL interpretation and, afterwards, propose a methodology which exploits solvers for SAT Modulo Theories (i. e., SMT solvers) in order to check the concurrent behavior of UML/OCL models. How to address the resulting problems is described and illustrated by means of a running example. Finally, the application of the proposed method is demonstrated.

关键词： Unified modeling language Contracts Concurrent computing Computational modeling Standards Software Complex systems

来源：评论

学校读者我要写书评

暂无评论

Collective perception and decentralized congestion control in vehicular ad-hoc networks

Collective perception and decentralized congestion control i...

引用

IEEE Vehicular Networking Conference (VNC)

作者： Hendrik-Jorn Günther Raphael Riebl Lars Wolf Christian Facchi Volkswagen AG Group Research Technische Hochschule Ingolstadt CARISSMA Technische Universität Braunschweig Institute for Operating Systems and Computer Networks

ISBN: (纸本)9781509051984

In conjunction with automated vehicles, Inter-Vehicle Communication represents the next `big thing' towards the vision of cooperative driving, where road participants share information about their planned behaviour and where hazardous situations are solved or avoided jointly. Several requirements need to be fulfilled to reach this long-term goal. One requirement is a common information base, where all road participants are fully aware of each other. The idea of collective perception contributes to this common information base by sharing local sensor data with other road participants. Whereas most related work focuses on the aspects of sensor data fusion, we focus on the implications of an ETSI ITS G5 based network for collective perception. We present and analyse different message formats and dissemination variants for sharing sensor data. Their usability is validated in an extensive microscopic simulation study. In particular, implications caused by Decentralized Congestion Control as proposed by standardisation are assessed in a constrained environment with hundreds of vehicles.

关键词： Vehicles Cams Roads Vehicular ad hoc networks Containers Conferences Electronic mail

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：