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

23rd Seminar on Current Trends in Theory and Practice of Informatics, SOFSEM 1996

作者： Van Den Brand, Mark Klint, Paul Verhoef, Chris Programming Research Group University of Amsterdam Kruislaan 403 AmsterdamNL-1098 SJ Netherlands Department of Software Technology Centre for Mathematics and Computer Science P.O. Box 4079 AmsterdamNL-1009 AB Netherlands

ISBN: (纸本)3540619941

Renovation of business-critical software is becoming increasingly important. We identify fundamental notions and techniques to aid in system renovation and sketch some basic techniques: generic language technology to build analysis tools, a knowledge retrieval system to aid in program understanding, and a coordination architecture that is useful to restructure monolithic systems thus enabling their renovation. We argue that these techniques axe not only essential for the renovation of old software but that they can also play an important role during the development and maintenance of new software systems. © 1996, Springer-Verlag. All rights reserved.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

The ToolBus coordination architecture: A demonstration 5th

The ToolBus coordination architecture: A demonstration

引用

5th International Conference on Algebraic Methodology and Software Technology, AMAST 1996

作者： Klint, P. Olivier, P. Department of Software Technology Centre for Mathematics and Computer Science P.O. Box 4079 Amsterdam1009 AB Netherlands Programming Research Group University of Amsterdam P.O. Box 41882 Amsterdam1009 DB Netherlands

The ToolBus is a generic software architecture for building heterogeneous, distributed, systems. We demonstrate several applications that have been implemented using the ToolBus technology. © Springer-Verlag Berl... 详细信息

ISBN: (纸本)9783540614630

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

The toolbus coordination architecture 1st

The toolbus coordination architecture

引用

1st International Conference on Coordination Models and Languages, COORDINATION 1996

作者： Bergstra, J.A. Klint, P. Programming Research Group University of Amsterdam AmsterdamDBP.O. Box 41882 Netherlands Department of Philosophy Utrecht University Heidelberglaan 8 UtrechtCS3584 Netherlands Department of Software Technology Centre for Mathematics and Computer Science AmsterdamABP.O. Box 4079 Netherlands

ISBN: (纸本)3540610529

Building large, heterogeneous, distributed software systems poses serious problems for the software engineer;achieving interoperability of software systems is still a major challenge. We describe an experiment in designing a generic software architecture for solving these problems. To get control over the possible interactions between software components ("tools") we forbid direct inter-tool communication. Instead, all interactions are controlled by a "script" that formalizes all the desired interactions among tools. This leads to a component interconnection architecture resembling a hardware communication bus, and therefore we will call it a "TooLBus'. We describe the coordination of tools in process-oriented "T scripts" featuring, amongst others, (1) sequential composition, choice and iteration of processes;(2) handshaking (synchronous) communication of messages;(3) esynchronous communication of notes to an arbitrary number of processes;(4) note subscription;(5) dynamic process creation. Most notably lacking are built-in datatypes: operations on data can only be performed by tools, giving opportunities for efficient implementation, In three large case studies, the TooLBus architecture has been used to build editor-interfaces with user-defined extensions, to study feature interaction in intelligent networks, and to build a simulator for traffic light control. We give an overview of these case studies and briefly sketch the evolution of the TooLBUS design that incorporates the lessons we have learned from them. © Springer-Verlag Berlin Heidelberg 1996.

关键词： Interoperability

来源：评论

学校读者我要写书评

暂无评论

The discrete time toolbus 5th

The discrete time toolbus

引用

5th International Conference on Algebraic Methodology and Software Technology, AMAST 1996

作者： Bergstra, J.A. Klint, P. Programming Research Group University of Amsterdam P.O. Box 41882 Amsterdam1009 DB Netherlands Department of Philosophy Utrecht University Heidelberglaan 8 Utrecht3584 CS Netherlands Department of Software Technology Centre for Mathematics and Computer Science P.O. Box 4079 Amsterdam1009 AB Netherlands

ISBN: (纸本)9783540614630

The notion of "time" plays an important role when coordinating large, heterogeneous, distributed software systems. We present a generic coordination architecture that supports relative and absolute, discrete time. First, we briefly sketch the ToolBus coordination architecture. Next, we give a major example of its use: a distributed auction. Finally, we present the theory underlying our notion of discrete time. © Springer-Verlag Berlin Heidelberg 1996.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

concurrent LARGE-SIGNAL SIMULATION OF AN ACTIVE MICROSTRIP ANTENNA

引用

INTERNATIONAL JOURNAL OF NUMERICAL MODELLING-ELECTRONIC NETWORKS DEVICES AND FIELDS 1995年第1期8卷 3-12页

作者： MCDOWALL, DS FUSCO, VF High Frequency Electronics Laboratory. Department of Electrical and Electronic Engineering The Queen's University of Belfast Ashby Building Stranmillis Road Belfast BT9 5AH U.K. D. Stewart McDowall was born in Dublin Republic of Ireland in 1967. He received the M. Eng. degree in Electrical and Electronic Engineering from the Queen's University of Belfast in 1990. In the same year he was presented with a Distinction Award from the Departmnet of Education of Northern Ireland and he is currently pursuing his Ph.D. in the Microwave Research Group at Q.U.B. His principal research area is the electromagnetic field mapping of microwave systems using concurrent programming. He is an Associate Member of the Institute of Electrical Engineers. Vincent F. Fusco was educated at the Queens's University of Belfast where he obtained the degree of Ph.D. in 1982. He has worked as a research engineer on short-range radar and radio telemetry systems. Currently he is a reader in Microwave Communications in the School of Electrical engineering and Computer Science the Queen's University of Belfast. His current research interests include non-linear microwave circuit simulatino and concurrent programming techniques for electromagnetic field problems with particular emphasis on EMC applications. He has published numerous research papers in these areas. He is the author of the bookMicrowave Circuits Analysis and Computer Aided Design Prentice-Hall 1987. Dr Fusco is a Chartered Electrical Engineer and a Member of the Institute of Electrical Engineers.

This paper details the use of a circuit-based EM modelling technique combined with a harmonic balance simulator used to model the radiation from the microstrip bodies comprising an active antenna circuit. The modelling approach adopted for the planar bodies in the circuit will be shown to allow the use of concurrent algorithms in order to reduce overall computational time.

关键词： Microstrip antennas

来源：评论

学校读者我要写书评

暂无评论

A generalized carrier-null method for conservative parallel simulation 94

A generalized carrier-null method for conservative parallel ...

引用

8th Workshop on Parallel and Distributed Simulation, PADS 1994

作者： Wood, Kenneth R. Turner, Stephen J. Programming Research Group Oxford University Computing Laboratory United Kingdom Department of Computer Science University of Exeter United Kingdom

ISBN: (纸本)1565550277

The carrier-null message approach to conservative distributed discrete-event simulation can significantly reduce the number of synchronization messages required to avoid deadlock. In thts paper we show that the original approach does not apply to simulations with arbitrary communication graphs and we propose a modified carrier-null approach whtch does. We present and discuss some preliminary results obtained using our approach to simulate digital logic circuits.

关键词： Discrete event simulation

来源：评论

学校读者我要写书评

暂无评论

On sequential composition, action prefixes and process prefix

引用

Formal Aspects of Computing 1994年第3期6卷 250-268页

作者： Baeten, J.C.M. Bergstra, J.A. Department of Mathematics and Computer Science Eindhoven University of Technology MB Eindhoven 5600 PO Box 513 Netherlands Programming Research Group University of Amsterdam Amsterdam Netherlands Department of Philosophy Utrecht University Utrecht Netherlands

We illustrate the difference between sequential composition in process algebra axiomatisations like ACP and action prefixing in process calculi like CCS. We define both early and late input in a general framework extending ACP, and consider various subalgebras, some very close to value passing CCS, another one close to CSP. © 1994 BCS.

关键词： ACP Action prefix CCS Process algebra Process calculus Process prefix Sequential composition

来源：评论

学校读者我要写书评

暂无评论

Seven more myths of formal methods: Dispelling industrial prejudices 2nd

引用

2nd International Symposium of Formal Methods Europe, FME 1994

作者： Bowen, Jonathan P. Hinchey, Michael G. Oxford University Computing Laboratory Programming Research Group Wolfson Building Parks Road OxfordOX1 3QD United Kingdom University of Cambridge Computer Laboratory New Museums Site Pembroke Street CambridgeCB2 3QG United Kingdom Department of Computer and Information Science New Jersey Institute of Technology United States

ISBN: (纸本)9783540585558

For whatever reason, formal methods remain one of the more contentious techniques in industrial software engineering. Despite some improvement in the uptake of formal methods, it is still the case that the vast majority of potential users of formal methods fail to become actual users. A paper by Hall in 1990 [31] exaznined a number of ‘myths’ concerning formal methods, assumed by some to be valid. This paper considers a few more beliefs held by many and presents some counter examples. © 1994, Springer Verlag. All rights reserved.

关键词： Formal methods

来源：评论

学校读者我要写书评

暂无评论

Real-time refinement: Semantics and application 18th

引用

18th International Symposium on Mathematical Foundations of computer science, MFCS 1993

作者： Scholefield, David Zedan, Hussein Jifeng, He Formal Systems Research Group Department of Computer Science University of York Heslington York United Kingdom Programming Research Group Oxford University Keble Road Oxford United Kingdom

ISBN: (纸本)9783540571827

A formal framework for a calculus of real-time systems is presented. Specifications and program statements are combined into a single language called TAM (the Temporal Agent Model), that allows the user to express both functional and timing properties. A specification oriented semantics for TAM is given, along with the definition of a refinement relation and a calculus which is sound with respect to that relation. A simple real-time program is also developed using the calculus. © 1993, Springer Verlag. All rights reserved.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Real space process algebra

引用

Formal Aspects of Computing 1993年第6期5卷 481-529页

作者： Baeten, J.C.M. Bergstra, J.A. Department of Computer Science Eindhoven University of Technology MB Eindhoven 5600 P.O. Box 513 Netherlands Programming Research Group University of Amsterdam Amsterdam Netherlands Department of Philosophy Utrecht University Utrecht Netherlands

The real time process algebra of Baeten and Bergstra [Formal Aspects of Computing, 3, 142-188 (1991)] is extended to real space by requiring the presence of spatial coordinates for each atomic action, in addition to the required temporal attribute. It is found that asynchronous communication cannot easily be avoided. Based on the state operators of Baeten and Bergstra [Information and Computation, 78, 205-245 (1988)] and following Bergstra et al. [Proc. Seminar on Concurrency, LNCS 197, Springer, 1985, pp. 76-95], asychronous communication mechanisms are introduced as an additional feature of real space process algebra. The overall emphasis is on the introductory explanation of the features of real space process algebra, and characteristic examples are given for each of these. © 1993 BCS.

关键词： Asynchronous communication Broadcasting Priorities Process algebra Real space process algebra Real time process algebra State operator

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：