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

作者： Maluk Mohamed, M.A. Janakiram, D. Distributed and Object Systems Lab Dept. of Computer Science and Engg Indian Institute of Technology Madras Chennai India

ISBN: (纸本)9728865244

Service Composition refers to the construction of complex services with the help of more primitive and easily executable services or components. With the proliferation of wireless communication and the mobile Internet, the demand for mobile data services has increased. In addition the recent spurt of eservices and m-services has increased the importance of service composition. We envisage service composition to play a crucial role in providing mobile devices access to complex services. The basis for our proposed approach is to virtualize the individual system resources as services that can be described, discovered and dynamically configured at runtime to execute an application. The paper discuss a novel paradigm which integrates mobile devices into the traditional grid, with the capability for composition of services. To accomplish such a global service composition in the new model we propose to add functional layers over the already proposed Anonymous Remote Mobile Cluster Computing model. The idea behind such middleware is to use the available resources efficiently and to hide the complexity inherent in managing heterogeneous services. This paper describes the unique capabilities of the proposed middleware and gives the layered view of the proposed architecture.

关键词： Middleware

来源：评论

学校读者我要写书评

暂无评论

04491 - The Kiel Esterel Processor The Kiel Esterel Processor - A Semi-Custom, Configurable Reactive Processor - Dagstuhl Seminar -

04491 - The Kiel Esterel Processor The Kiel Esterel Processo...

引用

Synchronous Programming - SYNCHRON 2004

作者： Li, Xin von Hanxleden, Reinhard Real-Time and Embedded Systems Group Institute of Computer Science and Applied Mathematics Faculty of Engineering Christian-Albrechts-Universität zu Kiel Germany

The synchronous language Esterel is an established language for developing reactive systems. It gives an abstract, well-defined and executable description of the application, and can be synthesized into hardware and software. Typically, an Esterel program is first translated into other, lower-level languages (such as VHDL or C), and then compiled further. However, there is also the alternative of executing Esterel-like instructions directly. For example, in the REFLIX and RePIC projects, Roop et al. have augmented traditional processors with custom hardware to execute Esterel instructions. This patch strategy is a convenient approach, but has some shortages. We present the Kiel Esterel Processor (KEP), a semi-custom, configurable reactive processor for the direct execution of Esterel programs. It consists of a reactive core and scalable peripheral elements. KEP supports standard Esterel statements directly, except (so far) for the concurrency operator. Valued signals and counter functions in Esterel statements are supported by KEP. Due to its control path and its cooperation with elements, KEP obeys exact Esterel (preemption and priority) rules, including for example abort/weak abort (nests). © 2005 Dagstuhl Seminar Proceedings. All rights reserved.

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

RTnet: a distributed real-time protocol for broadcast-capable networks

RTnet: a distributed real-time protocol for broadcast-capabl...

引用

International Conference on Autonomic and Autonomous systems (ICAS)

作者： F. Hanssen P.G. Jansen H. Scholten S. Mullender Distributed and Embedded Systems Group Faculty of Electrical Engineering Mathematics and Computer Science University of Twente Enschede Netherlands

RTnet is a distributed real-time network protocol, to be used on fully-connected local area networks with a broadcast capability. It supports on-the-fly addition and removal of network nodes, resource-lavish and resource-lean devices, streaming real-time and regular non-realtime traffic. It allows the use of standard real-time scheduling paradigms to control network traffic, allows dynamic scheduling and is flexible in stream handling. The design is presented, together with measurement results of an experiment with an implementation on top of Ethernet

关键词： Protocols Broadcasting Ethernet networks Communication system traffic control Dynamic scheduling Hardware Bandwidth Telecommunication traffic embedded system Mathematics

来源：评论

学校读者我要写书评

暂无评论

A categorization of collaborative business process modeling techniques

A categorization of collaborative business process modeling ...

引用

IEEE International Conference on E-Commerce Technology Workshops

作者： S. Roser B. Bauer Programming Distributed Systems Lab Institute of Computer Science University of Augsburg Germany

Business process modeling (BPM) is one of the key factors in defining service-oriented solutions for business collaborations. Like in traditional software engineering there is a need for adaptable methodologies to develop information and communication technology (ICT) systems supporting collaborative business processes. In this work we introduce a categorization for the classification of modeling languages and approaches used to model collaborative business processes. Considering an example, we show how the classification of modeling languages and approaches facilitates the development of methodologies for collaborative business processes.

关键词： Collaboration Standardization Collaborative work Application software Software engineering Collaborative software Service oriented architecture Standards organizations Standards development computer science

来源：评论

学校读者我要写书评

暂无评论

Analytic method for coverage prediction in UMTS radio network planning process

Analytic method for coverage prediction in UMTS radio networ...

引用

IEEE Conference on Vehicular Technology (VTC)

作者： D. Staehle Department of Distributed Systems Institute of Computer Science University of Würzburg Germany

One substantial element in the UMTS radio network planning process is the topology planning that identifies the node B sites and evaluates if the coverage and capacity requirements are met. The selection of the optimal sites is an iterative process of subsequently changing the network configuration and evaluating its quality. The latter task is commonly performed by quite time-consuming Monte Carlo simulations. In this paper we present an analytic method to determine the coverage area of a WCDMA network. This method yields slightly less accurate results in a considerably shorter time compared to a Monte Carlo simulation. Consequently, it should be used at the beginning of the planning process for a fast selection of cell sites. When a suitable solution is found, Monte Carlo or dynamic simulations should be used to validate the fine tuning of the site configuration. Although a lot of research focuses on the analytic modelling of WCDMA, few studies consider general WCDMA networks with arbitrary cell layout, spatial traffic distribution, service mix, and propagation losses. That however, is the prerequisite that makes an analytic model actually applicable in the planning process. We demonstrate the general applicability of our method by studying the impact of the network load and the shadow fading constant on the coverage area of an example network with irregular node B layout, heterogeneous spatial traffic distribution, and multiple services.

关键词： 3G mobile communication Radio network Process planning Multiaccess communication Telecommunication traffic Traffic control Network topology Capacity planning Monte Carlo methods Propagation losses

来源：评论

学校读者我要写书评

暂无评论

On the stability of chord-based P2P systems

On the stability of chord-based P2P systems

引用

IEEE Conference and Exhibition on Global Telecommunications (GLOBECOM)

作者： A. Binzenhofer D. Staehle R. Henjes Department of Distributed Systems Institute of Computer Science University of Würzburg Wurzburg Germany

The current generation of P2P networks is intended to provide cost-effective alternatives to the traditional client-server architecture. The main goal is to store and retrieve data in a decentralized manner. The challenge in doing so consists in creating a stable overlay network that allows for fast and efficient searches. In this paper we consider the Chord P2P algorithm in this context and analyze its stability and efficiency with stochastic methods. We present realistic probabilities for a disconnection and investigate the corresponding scalability.

关键词： Information retrieval Stability analysis Probability Algorithm design and analysis Scalability Robust stability computer science AC generators computer architecture Stochastic processes

来源：评论

学校读者我要写书评

暂无评论

Network resilience through multi-topology routing

Network resilience through multi-topology routing

引用

International Workshop on Design of Reliable Communication Networks (DRCN)

作者： M. Menth R. Martin Department of Distributed Systems Institute of Computer Science University of Würzburg Wurzburg Germany

来源：评论

学校读者我要写书评

暂无评论

Advanced Reservation and Co-Allocation of Grid Resources: A Step towards an invisible Grid

Advanced Reservation and Co-Allocation of Grid Resources: A ...

引用

IEEE International Conference on Multi Topic

作者： Mumtaz Siddiqui Alex Villazon Radu Prodan Thomas Fahringer Distributed and Parallel Systems Group Institute of Computer Science University of Innsbruck Innsbruck Austria

The grid resource management mainly concerns with provision of the grid resources on-demand. Grid resources are heterogeneous in nature, distributed under multiple trust domains and controlled by their local management systems. In order to provide a grid level smart and robust resource management that shields the grid middleware complexities, we need a better control over grid resources. A mechanism for the provision of service level agreement (SLA) between resource requester and provider could leads us to achieve this goal. Advanced reservation is a promise by the system that a certain resource capability would be available some time in future. In this paper we propose a distributed system for advanced reservation and co-allocation of the grid resources in which clients can negotiate with resource provider for the better compromise between application requirements and resource capabilities

关键词： Resource management Grid computing Middleware Control systems distributed computing Disaster management Authorization computer science Robust control Pervasive computing

来源：评论

学校读者我要写书评

暂无评论

Simulating large-scale networks with analytical models

引用

International Journal of Simulation: systems, science and Technology 2005年第1-2期6卷 24-31页

作者： Scheidegger, Matthias Baumgartner, Florian Braun, Torsten Computer Networks and Distributed Systems Group Institute of Computer Science and Applied Mathematics University of Bern Neubrückstrasse 10 Bern Switzerland

Discrete-event simulation of computer networks has significant scalability issues, which makes simulating large-scale networks problematic. We propose a high-level abstraction modeling network domains, interdomain links and traffic with highly scalable analytical models, which is much more efficient but slightly less accurate than node-by-node models. Thus, simulation scenarios containing several ISP networks become feasible. We also propose a way to combine this modeling approach with traditional packet-based simulators and present some preliminary evaluation results of the concept. © 2005, UK Simulation Society. All right reserved.

关键词： Analytical models

来源：评论

学校读者我要写书评

暂无评论

Behavior assembly and composition of use cases - UML 2.0 Perspective

Behavior assembly and composition of use cases - UML 2.0 Per...

引用

IASTED International Conference on Software Engineering: part of the 23rd IASTED International Multi-Conference on Applied Informatics, SE 2005

作者： Mencl, Vladimir Plasil, Frantisek Adamek, Jiri Distributed Systems Research Group Faculty of Mathematics and Physics Charles University Malostranske namesti 25 118 00 Prague 1 Czech Republic Academy of Sciences of Czech Republic Institute of Computer Science Czech Republic

ISBN: (纸本)0889864640

Designing components and composing them into an architecture inherently involves describing their behavior. The classical software engineering approach to specifying requirements for large-scale components is to start with use cases. However, employing use cases to component architectures triggers the need of (i) assembling the behavior specified by several use cases, (ii) composing the behavior of communicating entities, and (iii) reasoning on consistency of the composed behavior. Applying a modeling language, such as UML, while dealing with these issues is desirable. Based on the composite structures framework, the emerging standard UML 2.0 defines a hierarchical component model;here, behavior of components may be specified with use cases. UML 2.0 provides four behavior specification mechanisms. The key goal of this paper is to evaluate whether and how these behavior specification mechanisms address the issues above. We show that only Interactions implicitly allow for addressing all of them.

关键词： Modeling languages

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：