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

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

来源：评论

学校读者我要写书评

暂无评论

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.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

A comparison of Wireless Fidelity (Wi-Fi) fingerprinting techniques

A comparison of Wireless Fidelity (Wi-Fi) fingerprinting tec...

引用

2011 International Conference on ICT Convergence, ICTC 2011

作者： Del Mundo, Lersan B. Ansay, Rafael Lean D. Festin, Cedric Angelo M. Ocampo, Roel M. Networks and Distributed Systems Lab. Department of Computer Science University of the Philippines Diliman Quezon City 1101 Philippines Computer Networks Lab. Electrical and Electronics Engineering Institute University of the Philippines Diliman Quezon City 1101 Philippines

ISBN: (纸本)9781457712678

Among several techniques proposed for indoor positioning using IEEE 802.11 Wireless Fidelity (Wi-Fi) based networks, those that rely on fingerprinting have been demonstrated to outperform those based on lateration, angulation, and cell of origin in terms of accuracy. We compare and evaluate three Wi-Fi fingerprinting techniques that use the K-Nearest Neighbor (k-NN), Naive Bayes Classifier (NBC) and Support Vector Machine (SVM) algorithms. Our experiments show that SVM-based fingerprinting outperformed both k-NN and NBC-based fingerprinting, achieving accuracies of 2 meters or better within our testbed. © 2011 IEEE.

关键词： Indoor positioning systems

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Fast RNA structure alignment for crossing input structures

Fast RNA structure alignment for crossing input structures

引用

作者： Backofen, Rolf Landau, Gad M. Möhl, Mathias Tsur, Dekel Weimann, Oren Bioinformatics Institute of Computer Science Albert-Ludwigs-Universität Freiburg Germany Department of Computer Science University of Haifa Haifa 31905 Israel Department of Computer Science and Engineering NYU-Poly Six MetroTech Center Brooklyn NY 11201-3840 United States Programming Systems Lab Saarland University Saarbrücken Germany Ben-Gurion University Beer-Sheva Israel Massachusetts Institute of Technology Cambridge MA 02139 United States

The complexity of pairwise RNA structure alignment depends on the structural restrictions assumed for both the input structures and the computed consensus structure. For arbitrarily crossing input and consensus structures, the problem is NP-hard. For non-crossing consensus structures, Jiang et al.'s (2002) [9] algorithm computes the alignment in O(n2m2) time where n and m denote the lengths of the two input sequences. If the input structures are also non-crossing, the problem corresponds to tree editing which can be solved in O(m2n(1+lognm)) time (Demaine et al., 2007) [3]. We present a new algorithm that solves the problem for d-crossing structures in O(dm2nlogn) time, where d is a parameter that is one for non-crossing structures, bounded by n for crossing structures, and much smaller than n on many practical examples. Crossing input structures allow for applications where the input is not a fixed structure but is given as base-pair probability matrices. © 2010 Elsevier B.V. All rights reserved.

关键词： RNA

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：