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

Applying the UML performance profile: Graph grammar-based derivation of LQN models from UML specifications 1

12th International conference on computer Performance Evaluation: Modelling Techniques and Tools, TOOLS 2002

作者： Petriu, Dorina C. Shen, Hui Carleton University Systems and Computer Engineering Ottawa ON K1S 5B6 Canada

ISBN: (数字)9783540460299

ISBN: (纸本)3540435395

the Object Management Group (OMG) is in the process of defining a UML Profile for Schedulability, Performance and Time that will enable the construction of models for making quantitative predictions regarding these characteristics. the paper proposes a graph-grammar based method for transforming automatically a UML model annotated with performance information into a Layered Queueing Network (LQN) performance model. the input to our transformation algorithm is an XML file that contains the UML model in XML format according to the standard XMI interface. the output is the corresponding LQN model description file, which can be read directly by existing LQN solvers. the LQN model structure is generated from the high-level software architecture and from deployment diagrams indicating the allocation of software components to hardware devices. the LQN model parameters are obtained from detailed models of key performance scenarios, represented as UML interaction or activity diagrams. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Network layers

来源：评论

学校读者我要写书评

暂无评论

A data model and architecture for hypermedia database visualization 02

A data model and architecture for hypermedia database visual...

引用

7th International conference on 3D Web Technology, Web3D '02

作者： Owor, Robert Steven Department of Computer Science and Software Engineering 307 Dunstan Hall Aurburn University Auburn AL 36849 United States

ISBN: (纸本)1581134681

In this paper, a proposal is made for a data model and architecture which facilitates the use of a 3D graphical user interface to navigate and query hypermedia and database systems. Currently there exist no integrated virtual environments that combine the visual strength of 3D, with the powerful query features of databases and the navigation flexibility of hypermedia systems.A model and architecture in which hyperlinks are treated as data relationships (which can be normalized) embedded with data manipulation and programmable 3D interfaces is presented. the model is based on a combination of object oriented databases and VRML as the 3D interface. Copyright 2002 ACM.

关键词： Visualization

来源：评论

学校读者我要写书评

暂无评论

Advanced visual modelling: beyond UML

Advanced visual modelling: beyond UML

引用

International conference on software engineering (ICSE)

作者： J. Gil J. Howse S. Kent Software and Systems Development Laboratory Department of Computer Science Technion-Israel Institute of Technology Haifa Israel School of Computing and Mathematical Sciences University of Brighton Brighton UK The Computing Laboratory University of Canterbury UK

With the adoption of UML by the OMG and industry as the lingua-franca of visual systems modelling, one begins to ponder what will come next in this field? this tutorial brings a vision for visual modelling beyond UML. We present and consolidate radical new notations, proposed in a series of research papers and with quickly increasing adoption by industry, for the specification of complex systems in an intuitive visual, yet precise manner. the recurring theme of these notations is the upgrading of familiar diagrams into a powerful visual language. Spider diagrams considerably extend Venn diagrams to the specification of object-oriented (OO) systems. Most familiar OO concepts are translated into set-theoretical terms: classes into sets of objects, inheritance corresponding to subsets, and even statecharts are interpreted as the set of objects in that state. Constraint diagrams enhance the arrow notation to describe static system invariants which cannot be described by UML class-object diagrams. Reasoning rules are developed for the notation and strong completeness results are given. Finally, 3D diagrams show how the third dimension and VRML modelling can be used for a conceptual modelling of dynamic system behaviour. Much of the tutorial is based on a case study developed in industry, illustrating how the new notations are combined with those of UML, including OCL.

关键词： Unified modeling language Gas insulated transmission lines Laboratories Permission software systems computer science Cities and towns computer industry Visual system computer crashes

来源：评论

学校读者我要写书评

暂无评论

A video-based approach for stationary platform supervision

A video-based approach for stationary platform supervision

引用

International conference on Intelligent Transportation

作者： W. Oertel T. Dimter D. Szoska State Key Lab. of lntelligent Technology and Systems TNLIST Beijing China Department of Electrical and Electronic Engineering Shijiazhuang Tiedao University Shijiazhuang China Department of Computer Science and Technology Tsinghua University Beijing China

the paper presents a stationary system developed for automatic supervision of railway station platforms, especially under conditions of automated train operation. It uses cameras mounted at the platform and supervision computers analyzing the camera data to detect persons or obstacles in different platform areas. the paper starts with a review of the state of the art and derives the system task and approach. then, an overview of the system is given with its hardware and software technology, image processing, and operational surroundings. Practical test results and an evaluation conclude the paper.

关键词： Rail transportation Cameras Radar tracking Sensor systems Railway safety System testing Art Hardware Area measurement Loudspeakers

来源：评论

学校读者我要写书评

暂无评论

Sensor networks – promise and challenges 8th

引用

8th International Euro-Par conference on Parallel Processing, Euro-Par 2002

作者： Khosla, Pradeep K. Electrical and Computer Engineering Carnegie Mellon PittsburghPA15213 United States

ISBN: (纸本)3540440496

Imagine a world in which there exist hundreds of thousands sensors. these sensors monitor a range of parameters – from the mundane such as temperature to more complexsuc h as video imagery. these sensors may be either static or could be mounted on mobile bases. And further, these sensors could be deployed inside or outside and in small or very large numbers. It is anticipated that some of these sensors will not work either due to hardware or software failures. However, it is expected that the system that comprises of these sensors will work all the time – it will be perpetually available. When some of the sensors or their components have to be replaced, this would have to be done in the "hot" mode. And in the ideal situation, once deployed a system such as the one described above will never have to be rebooted. the world that you have imagined above is entirely within the realm of possibility. However, it is not without significant challenges – both technical and societal – that we will be able to build, deploy, and utilize such a system of sensor networks. A system like the above will be a consequence of the convergence of many technologies and many areas. For the above system to be realized, the areas of networking (wired and wireless), distributed computing, distributed sensing and decision making, distributed robotics, software systems, and signal processing, for example, will have to converge. In this talk we will describe a vision for a system of sensor networks, we will identify the challenges, and we will show some simple examples of working systems such as the Millibot project at Carnegie Mellon – examples that give hope but are very far from the above described system. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

Multimedia Document engineering in MCF

Multimedia Document Engineering in MCF

引用

Proceedings of the 2002 ACM Symposium on Document engineering in Conjunction with 11th ACM International conference on Information and Knowledge Management (CIKM 2002)

作者： King, Peter Nanard, Jocelyne Nanard, Marc University of Manitoba Department of Computer Science Winnipeg Man. R3T 2N2 Canada LIRMM 161 rue Ada 34392 Montpellier Cedex 5 France

ISBN: (纸本)1581135947

this article demonstrates how several of the general-purpose principles which have proved successful in the area of large-scale software development and maintenance are relevant to multimedia design. We present the Media Construction Formalism, MCF, whose high level concepts encompass the principles of abstraction, modularity, encapsulation, and reuse, which facilitate formal specification during the initial steps of multimedia document engineering. MCF has been implemented as a user-friendly design environment, which includes a special-purpose structured editor providing a visual representation of partial designs. the MCF system promotes the capture of constructs which may emerge during a design, and which can be manipulated by the multimedia designer and executed by the machine at different levels of granularity and detail. MCF uses the metaphor of roles, players and actors to provide generic design descriptions of multimedia scenarios, and encompasses a powerful temporal and reactive model.

关键词： Multimedia systems

来源：评论

学校读者我要写书评

暂无评论

Generating adapters for concurrent component protocol synchronisation

引用

IFIP Advances in Information and Communication Technology 2002年 81卷 213-219页

作者： Schmidt, Heinz W. Reussner, Ralf H. School of Computer Science and Software Engineering Monash University Melbourne Australia Distributed Systems Technology Center Melbourne Australia

ISBN: (纸本)9781475752687

In general few components are reused as they are. Often, available components are incompatible with what is required. this necessitates component adaptations or the use of adapters between components. In this paper we develop algorithms for the synthesis of adapters, coercing incompatible components into meeting requirements. We concentrate on adapters for concurrent systems, where adapters are able to resolve synchronisation problems of concurrent components. A new interface model for components, which includes protocol information, allows us to generate these adapters semi-automatically.

关键词： Interoperability

来源：评论

学校读者我要写书评

暂无评论

Improving the modified global smoothing method for spatial distributed and large data-sets to use it in the real-time visualisation of simulation and measurement information 6

Improving the modified global smoothing method for spatial d...

引用

6th International conference on Information Visualisation

作者： Opriessnig, G Beer, G Graz Univ Technol Inst Struct Anal SiTu Res Grp A-8010 Graz Austria

ISBN: (纸本)0769516564

With the high-speed development of computer systems having performance values of calculation machines, which needed one or more rooms of place and a special air conditioning a few years ago, the usage of methods dealing with a high amount of data at one side, and the need of doing a enormous number of calculation work at the other side became used snore and snore frequently. Tunnelling is one major field, where this advance is very important. that field of science is regarded as one of the more difficult engineering tasks. this is due to the fact that tunnels are excavated in a material whose mechanical and hydraulic properties are highly variable and whose behaviour is difficult to describe to a numerical simulation model. Numerical simulation of tunnel advance cart serve as a powerful tool in the design and decision making on site. But this has to be done almost in real-time, that means that the calculation and the necessary post-processing must be finished, before the engineer on site is forced to make his decisions. this circumstance places a very specific challenge to the used hard and software. In the beginning of 1997 the Austrian Science Fund established a Joint Research Initiative (JRI) Numerical Simulation in Tunnelling (SITU) [1, 2] with a budget of about 3 Million 6 for 5,years. Currently about 24 professionals from 3 universities are working on the this research initiative. the aim of the JRI is to develop a framework for the application of computer based numerical simulation tools. these tools can then be used for the estimation of the required tunnel support and the required construction measures at the planning stage and during construction with the view of improving the economy and safety of tunnels. A very important task in this field is the visualisation of the available usually very, large amount of data. An excellent quality, technical and physical correctness, combined with real-time and user friendliness in this area is absolutely necessary to

关键词： Air conditioning Computational modeling High performance computing Mechanical factors Numerical models Numerical simulation Power engineering and energy Smoothing methods Tunneling Visualization

来源：评论

学校读者我要写书评

暂无评论

Refinement and verification applied to an in-flight data acquisition unit

引用

13th International conference on Concurrency theory, CONCUR 2002

作者： Fokkink, Wan Ioustinova, Natalia Kesseler, Ernst Van De Pol, Jaco Usenko, Yaroslav S. Yushtein, Yuri A. Department of Software Engineering PO Box 94079 1090 GB Amsterdam Netherlands Department of Embedded Systems PO Box 90502 1006 MB Amsterdam Netherlands

ISBN: (纸本)3540440437

In order to optimise maintenance and increase safety, the Royal Netherlands Navy initiated the development of a multi-channel on-board data acquisition system for its Lynx helicopters. this AIDA (Automatic In-flight Data Acquisition) system records usage and loads data on main rotor, engines and airframe. We used refinement in combination with model checking to arrive at a formally verified prototype implementation of the AIDA system, starting from the functional requirements. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

engineering and algorithm design for an image processing API: A technical report on ITK - the Insight Toolkit

Engineering and algorithm design for an image processing API...

引用

10th Annual Medicine Meets Virtual Reality conference, MMVR 2002

作者： Yoo, Terry S. Ackerman, Michael J. Lorensen, William E. Schroeder, Will Chalana, Vikram Aylward, Stephen Metaxas, Dimitris Whitaker, Ross National Library of Medicine National Institutes of Health Bethesda MD 20894 United States General Electric Corporate Research and Development Niskayuna NY 12309 United States Kitware Inc. Clifton Park NY 12065 United States Insightful Inc Seattle WA 98109 United States Dept. of Radiology Univ. of North Carolina at Chapel Hill Chapel Hill NC 27599 United States Computer and Information Science Dept Univ. of Pennsylvania Philadelphia PA 19104 United States School of Computing Univ. of Utah Salt Lake City UT 84112 United States

ISBN: (纸本)1586032038

We present the detailed planning and execution of the Insight Toolkit (ITK), an application programmers interface (API) for the segmentation and registration of medical image data. this public resource has been developed through the NLM Visible Human Project, and is in beta test as an open-source software offering under cost-free licensing. the toolkit concentrates on 3D medical data -segmentation and registration algorithms, multimodal and multiresolution capabilities, and portable platform independent support for Windows, Linux/Unix systems. this toolkit was built using current practices in software engineering. Specifically, we embraced the concept of generic programming during the development of these tools, working extensively with C++ templates and the freedom and flexibility they allow. software development tools for distributed consortium-based code development have been created and are also publicly available. We discuss our assumptions, design decisions, and some lessons learned. © 2002, the authors.

关键词： Open source software

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：