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

3rd International Conference on Advances in System Testing and Validation Lifecycle, VALID 2011

作者： Werner, Edith Grabowski, Jens Software Engineering for Distributed Systems Group Institute for Computer Science University of Göttingen Göttingen Germany

ISBN: (纸本)9781612081687

System monitors need oracles to determine whether observed traces are acceptable. One method is to compare the observed traces to a formal model of the system. Unfortunately, such models are not always available - software may be developed without generating a formal model, or the implementation deviates from the original specification. In previous work, we have proposed a learning algorithm to construct a formal model of the software from its test cases, thereby providing a means to transform test cases for offline testing into an oracle for monitoring. In this paper, we refine our learning algorithm with a set of state-merging rules that help to exploit the test cases for additional information. Using the additional information mined from the test cases, models can be learned from smaller test suites.

关键词： Learning algorithms

来源：评论

学校读者我要写书评

暂无评论

An Experimental Facility for Wireless Multi-hop Networks in Future Internet Scenarios

An Experimental Facility for Wireless Multi-hop Networks in ...

引用

IEEE/ACM Int'l Conference on & Int'l Conference on Cyber, Physical and Social Computing (CPSCom) Green Computing and Communications (GreenCom)

作者： Oliver Hahm Mesut Gunes Felix Juraschek Bastian Blywis Nicolai Schmittberger Institute of Computer Science Computer Systems and Telematics Distributed Embedded Systems Freie Universität Berlin Germany

Next to traditional communication systems like servers or routers at the backbone and personal computers or laptops acting as clients, the Future Internet will additionally comprise many so-called smart objects. Most of everyday devices like coffee machines, fridges, or light switches will participate in this Internet of Things (IoT).Small-sized computers will connect these devices to the network by establishing low power wireless links. To achieve this vision various kinds of wireless multi-hop networks (WMHNs) play an important role. During the last years, it has become clear that test bed-based research is mandatory in order to develop suitable protocol implementations and metrics for these networks. In this article, we review network configurations for wireless networks for the IoT. We describe the DES-Test bed at the Freie Universitat Berlin as an experimental facility to study these network configurations. In addition to the infrastructure and software provided by the test bed, we introduce μkleos as a micro kernel based operating system for embedded devices. We designed μkleos with a special focus on Wireless Sensor Networks (WSNs) to complement our approach to study WMHNs. μkleos provides an implementation of 6LoWPAN to interconnect WSNs to IP-based networks.

关键词： Wireless sensor networks Internet Protocols Wireless networks Software Mobile communication

来源：评论

学校读者我要写书评

暂无评论

Challenges and limits of flooding and gossip routing based route discovery schemes

Challenges and limits of flooding and gossip routing based r...

引用

Conference on Local computer Networks (LCN)

作者： Bastian Blywis Mesut Guenes Felix Juraschek Oliver Hahm Institute of Computer Science-Distributed Embedded Systems Freie Universität Berlin Germany

Motivated by our experience from previous testbed-based studies, we discuss the performance of flooding based route discovery schemes. Based on an empirical case study, the limits of routing in IEEE 802.11 wireless multi-hop networks are highlighted. We show that the route discovery itself can already lead to problems even when there are no or few data flows.

关键词： Routing protocols Routing Wireless communication Ad hoc networks Payloads Mobile computing

来源：评论

学校读者我要写书评

暂无评论

Integration of the gUSE/WS-PGRADE and InSilicoLab portals with DIRAC

引用

Journal of Physics: Conference Series 2012年第3期396卷

作者： A Puig Navarro D Viana Casals R Graciani Díaz A Casajús Ramo Á Balaskó P Kacksuk J Kocot D Harezlak ICC University of Barcelona MTA SZTAKI Laboratory of Parallel and Distributed Systems Institute of Computer Science AGH ACC Cyfronet AGH

The gUSE (Grid User Support Environment) framework allows to create, store and distribute application workflows. This workflow architecture includes a wide variety of payload execution operations, such as loops, conditional execution of jobs and combination of output. These complex multi-job workflows can easily be created and modified by application developers through the WS-PGRADE portal. The portal also allows end users to download and use existing workflows, as well as executing them. The DIRAC framework for distributed computing, a complete Grid solution for a community of users needing access to distributed computing resources, has been integrated into the gUSE/WS-PGRADE system. This integration allows the execution of gUSE workflows in a distributed computing environment, thus greatly expanding the capability of the portal to several Grids and Cloud Computing facilities. The main features and possibilities of the gUSE/WS-PGRADE-DIRAC system, as well as the benefits for users, will be outlined and discussed.

关键词：

来源：评论

学校读者我要写书评

暂无评论

DES-Chan: A framework for distributed channel assignment in wireless mesh networks

DES-Chan: A framework for distributed channel assignment in ...

引用

Australasian Telecommunication Networks and Applications Conference, ATNAC

作者： Felix Juraschek Mesut Güneş Matthias Philipp Bastian Blywis Oliver Hahm Distributed Embedded Systems-Institute of Computer Science Freie Universität Berlin and Humboldt University Berlin Germany

In this paper we present the DES-Chan framework for experimentally-driven research on distributed channel assignment algorithms in wireless mesh networks. The implementation process of channel assignment algorithms is a difficult task for the researcher since common operating systems do not support channel assignment algorithms out of the box. DES-Chan provides a set of common services required by distributed channel assignment algorithms. The modular architecture of DES-Chan allows the extensions with further modules or the modifications of existing ones. As a proof of concept, we present a reference implementation of a distributed greedy channel assignment algorithm. We evaluate its performance in the DES-Testbed, a multi-transceiver wireless mesh network (WMN) with 100 nodes at the Freie Universität Berlin.

关键词： Interference Switches Topology Network topology Wireless networks Data structures

来源：评论

学校读者我要写书评

暂无评论

Experiences from the MANIAC Challenge

Experiences from the MANIAC Challenge

引用

Australasian Telecommunication Networks and Applications Conference, ATNAC

作者： Heiko Will Felix Juraschek Mesut Güneş Jochen Schiller Distributed Embedded Systems Institute of Computer Science Freie Universität Berlin and Humboldt University Berlin Germany

The MANIAC Challenge is a competition for cooperation strategies in wireless ad-hoc networks with the focus on experimental evaluation. We present the results of the MANIAC Challenge and discuss characteristics of real networks such as link instability and mobility, which are often simplified in common network simulators. We introduce our strategy Friendly Clustering that won the Performance Award. Friendly Clustering is based on monitoring the neighbors' forwarding behavior and assessing their willingness to relay future data packets. Further on, we describe the challenges in implementing the strategy for real networks, such as the DES-Testbed at the Freie Universität Berlin and the ad-hoc network of the MANIAC Challenge.

关键词： Routing Ad hoc networks Monitoring Wireless sensor networks Mobile computing Unicast Wireless communication

来源：评论

学校读者我要写书评

暂无评论

An integrated approach for identity and access management in a SOA context 11

An integrated approach for identity and access management in...

引用

Proceedings of the 16th ACM symposium on Access control models and technologies

作者： Hummer, Waldemar Gaubatz, Patrick Strembeck, Mark Zdun, Uwe Dustdar, Schahram Distributed Systems Group Information Systems Institute Vienna University of Technology Austria Software Architecture Group Faculty of Computer Science University of Vienna Austria Information Systems Institute Vienna University of Economics and Business Austria

ISBN: (纸本)9781450307215

In this paper, we present an approach for identity and access management (IAM) in the context of (cross-organizational) serviceoriented architectures (SOA). In particular, we defined a domainspecific language (DSL) for role-based access control (RBAC) that allows for the definition of IAM policies for SOAs. For the application in a SOA context, our DSL environment automatically produces WS-BPEL (Business Process Execution Language for Web services) specifications from the RBAC models defined in our DSL. We use the WS-BPEL extension mechanism to annotate parts of the process definition with directives concerning the IAM policies. At deployment time, the WS-BPEL process is instrumented with special activities which are executed at runtime to ensure its compliance to the IAM policies. The algorithm that produces extended WS-BPEL specifications from DSL models is described in detail. Thereby, policies defined via our DSL are automatically mapped to the implementation level of a SOA-based business process. This way, the DSL decouples domain experts' concerns from the technical details of IAM policy specification and enforcement. Our approach thus enables (non-technical) domain experts, such as physicians or hospital clerks, to participate in defining and maintaining IAM policies in a SOA context. Based on a prototype implementation we also discuss several performance aspects of our approach. © 2011 ACM.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

A science gateway getting ready for serving the international molecular simulation community 2

A science gateway getting ready for serving the internationa...

引用

2012 EGI Community Forum / EMI 2nd Technical Conference, EGICF-EMITC 2012

作者： Gesing, Sandra Herres-Pawlis, Sonja Birkenheuer, Georg Brinkmann, André Grunzke, Richard Kacsuk, Peter Kohlbacher, Oliver Kozlovszky, Miklos Krüger, Jens Müller-Pfefferkorn, Ralph Schäfer, Patrick Steinke, Thomas Center for Bioinformatics Department of Computer Science University of Tübingen Sand 14 Tübingen72076 Germany Department of Chemistry Ludwig-Maximilians-University Munich Butenandtstr. 5-13 München81377 Germany Paderborn Center for Parallel Computing University of Paderborn Warburger Str. 100 Paderborn33089 Germany Johannes Gutenberg-University Mainz Mainz55099 Germany Center for Information Services and High Performance Computing Technische Universität Dresden Zellescher Weg 12-14 Germany Laboratory of Parallel and Distributed Systems MTA SZTAKI Kende Street 13-17 Budapest1111 Hungary Zuse Institute Berlin Takustraße 7 Berlin14195 Germany

The project MoSGrid (Molecular Simulation Grid) has been developing a web-based science gateway supporting the community with various services for quantum chemistry, molecular modeling, and docking. Users gain access to distributed computing infrastructures (DCIs) via intuitive user interfaces for sophisticated tools, specialized workflows, and distributed repositories. Currently, the MoSGrid community consists of about 120 users from a number of fields related to chemistry and bioinformatics located in Germany. However, the underlying security infrastructure is generally applicable and can be deployed in arbitrary projects. MoSGrid intends to address the international community by participating in the EU-projects SCI-BUS (Scientific gateway Based User Support) and ER-flow (Building an European Research Community through Interoperable Workflows and Data), and collaborating with the EU-project EDGI (European Desktop Grid Initiative). © Copyright owned by the author(s) under the terms of the Creative Commons Attribution-NonCommercial-ShareAlike Licence.

关键词： Quantum chemistry

来源：评论

学校读者我要写书评

暂无评论

Integrated model-driven design-space exploration for embedded systems

Integrated model-driven design-space exploration for embedde...

引用

2011 11th International Conference on embedded computer systems: Architectures, Modeling and Simulation, IC-SAMOS 2011

作者： Trčka, Nikola Hendriks, Martijn Basten, Twan Geilen, Marc Somers, Lou Electrical Engineering Department Eindhoven University of Technology Netherlands Department of Mathematics and Computer Science Eindhoven University of Technology Netherlands Computer Science Department Radboud University Nijmegen Netherlands Embedded Systems Institute Netherlands Océ Technologies Netherlands

ISBN: (纸本)9781457708008

embedded systems and their design trajectories are becoming increasingly complex, and there is a growing demand for performance, reliability, energy efficiency and low cost. To cope with these challenges, decision making early in the development trajectory needs to be supported by appropriate modeling and analysis. To achieve this support, we need to find the modeling abstractions that allow extensive design-space exploration, tune these modeling abstractions towards the users, and integrate support for different types of modeling and analysis. © 2011 IEEE.

关键词： embedded systems

来源：评论

学校读者我要写书评

暂无评论

Low-power adaptive pipelined MPSoCs for multimedia: An H.264 video encoder case study

Low-power adaptive pipelined MPSoCs for multimedia: An H.264...

引用

作者： Javaid, Haris Shafique, Muhammad Parameswaran, Sri Henkel, Jörg School of Computer Science and Engineering University of New South Wales Sydney NSW Australia Department of Embedded Systems Karlsruhe Institute of Technology Karlsruhe Germany

ISBN: (纸本)9781450306362

Pipelined MPSoCs provide a high throughput implementation platform for multimedia applications, with reduced design time and improved flexibility. Typically a pipelined MPSoC is balanced at design-time using worst-case parameters. Where there is a widely varying workload, such designs consume exorbitant amount of power. In this paper, we propose a novel adaptive pipelined MPSoC architecture that adapts itself to varying workloads. Our architecture consists of Main Processors and Auxiliary Processors with a distributed run-time balancing approach, where each Main Processor, independent of other Main Processors, decides for itself the number of required Auxiliary Processors at run-time depending on its varying workload. The proposed run-time balancing approach is based on off-line statistical information along with workload prediction and run-time monitoring of current and previous workloads' execution times. We exploited the adaptability of our architecture through a case study on an H.264 video encoder supporting HD720p at 30 fps, where clock- and power-gating were used to deactivate idle Auxiliary Processors during low workload periods. The results show that an adaptive pipelined MPSoC provides energy savings of up to 34% and 40% for clock- and power-gating based deactivation of Auxiliary Processors respectively with a minimum throughput of 29 fps when compared to a design-time balanced pipelined MPSoC. © 2011 ACM.

关键词： Signal encoding

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：