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

11TH ANNUAL INTERNATIONAL PHOENIX CONF ON computerS AND COMMUNICATIONS ( IPCCC-92 )

作者： PROBERT, RL YU, HL SALEH, K Protocol and Software Engineering Research Group Department of Computer Science University of Ottawa Ottawa K1N6N5 ON Canada Department of Electrical and Computer Engineering Concordia Urrrversity Montreal Canada

ISBN: (纸本)0780306058

A model employing totally ordered events of a distributed system based on a logical clock has been presented by L. Lamport (1978). The authors propose a new interpretation and extension of Lamport's notion of concurrency by introducing the concept of relative concurrency to capture the nature of concurrency of distributed systems by means of a relative (or logical) clock. They then derive a totally ordered global events model based on the relative clock. Based on this model, they represent and interpret timing (ordering) information from observable scenarios, including collision scenarios of the system, expressed in an extended trace assertion language (ETAL) specification. Finally, a new approach is illustrated with a realistic example for test result analysis including timing information based on the global events model. © 1992 IEEE.

关键词： DISTRIBUTED SYSTEMS FORMAL SPECIFICATIONS RELATIVE CONCURRENCY LOCAL GLOBAL EVENTS RELATIVE CLOCK TIME TOTAL ORDER OF EVENTS TEST RESULT ANALYSIS software TESTABILITY

来源：评论

学校读者我要写书评

暂无评论

Relative-clock-based specification and test result analysis of distributed systems

Relative-clock-based specification and test result analysis ...

引用

International Phoenix Conference on computers and Communications (IPCCC)

作者： R.L. Probert H. Yu K. Saleh Department of Computer Science Protocol and Software Engineering Research Group University of Ottawa Ottawa ONT Canada Department of Electrical and Computer Engineering Concordia University Montreal Canada

关键词： System testing Clocks software testing Concurrent computing Timing Information analysis Protocols software engineering computer science Formal specifications

来源：评论

学校读者我要写书评

暂无评论

A computer Based Stabilizer for Low Frequency Mechanical Vibrations in Satellite Sensors : The Theoretical Basis

A Computer Based Stabilizer for Low Frequency Mechanical Vib...

引用

IEEE Conference on Electromagnetic Field Computation

作者： T. Kirubarajan P.R.P. Hoole Department of Computer Sciences Faculty of Engineering University of Peradeniya Peradeniya Sri Lanka Syatems Senoing and Software Group Department of Electrical and Electronic Engineering Faculty of Engineering University of Peradeniya Peradeniya Sri Lanka

来源：评论

学校读者我要写书评

暂无评论

THE COMMAND SUPPORT AT-SEA EXPERIMENT

引用

NAVAL ENGINEERS JOURNAL 1990年第3期102卷 25-36页

作者： BUSCHER, DJ SUNDAY, DM David J. Buscher:is an electrical engineer on the Principal Professional Staff of the Fleet Systems Department of The Johns Hopkins University Applied Physics Laboratory. He earned his BS degree in electrical engineering from Villanova University in 1967 an MSEE degree from the University of Maryland in 1972 and an MS degree in technical management from The Johns Hopkins University in 1985. He was the lead engineer on the Command Support At-Sea Experiment Project. He started his career in 1967 with the U.S. Army Harry Diamond Laboratory working on computer and communications projects. During this time he worked in Vietnam with the United States Army Vietnam Science Advisor Office. Since joining JHU/APL in 1978 he has worked on a variety of projects associated with computer graphics hospital patient information systems computer networks autonomous underwater vehicles and satellite communications. He is currently assistant group supervisor of the Computer Systems Group. Daniel M. Sunday:is a mathematician on the Principal Professional Staff of the Fleet Systems Department of The Johns Hopkins University Applied Physics Laboratory. He earned his Ph.D. in mathematics from the University of Minnesota in 1971 and did postdoctoral research on neural networks at the University of California at Berkeley. Since joining JHU/APL in 1980 Dr. Sunday has worked as a designer and developer of software systems with emphasis on medical imaging interactive graphics natural language interfaces and software standards. He was the network designer for the Headquarters Integrated Office System (HIOS) Network for the Army at the Pentagon. He is currently the lead software engineer on the Command Support At-Sea Experiment Project.

The Command Support At-Sea Experiment (CS@SE) provides experimental advanced graphics display systems consisting of large screen color displays and operator console color displays in the combat information center (CIC) of an Aegis cruiser and in the tactical flag command center (TFCC) of an aircraft carrier. CS@SE systems are designed to prototype potential command support capabilities in an at-sea environment to validate and refine requirements for planned production system upgrades. These systems use sophisticated color graphics techniques to provide real-time tactical displays that improve the availability of information to an operator by reducing clutter through the use of color, area fill, transparen overlays and intensity coding of track symbols. Interfaces wen developed with the Aegis Display System (ADS), Shipboarc Gridlock System with Auto-correlation (SGS/AC), Flag Dats Display System (FDDS) and Tomahawk Engagement Planning and Exercise Evaluation System (TEPEE) that provided the data for the presentation of a tactical display. Display elements included both real-time and over-the-horizon (OTH) surface track data, velocity leaders, tags, uncertainty ellipses, and history trails. The display also included filled land masses, country boundaries, commercial airways, cities, graphics overlays (i.e., operational areas), weapon system missile performance contours, and engagement plans. This paper describes the experiment, its installation and integration into the shipboard environments of an Aegis cruiser (USS Leyte Gulf ) and an aircraft carrier (USS America , its usage by the ships companies and embarked staffs, and the experiment result! and findings. Key conclusions of the experiment are: 1 Advanced graphics color displays can significantly enhance the ability of the warfighter to assimilate a complex tactical display. 2 Both ships reported a requirement for a correlated OTH and real-time track display with the ability to clearly differentiate the two types

关键词： computer Graphics

来源：评论

学校读者我要写书评

暂无评论

Conceptual Structures: Standards and Practices 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： William M. Tepfenhart Walling Cyre

ISBN: (数字)9783540486596

ISBN: (纸本)9783540662235

With all of the news about the Internet and the Y2K problem, it is easy to forget that other areas of computer science still exist. Reading the newspaper or watching the television conveys a very warped view of what is happening in computer science. This conference illustrates how a maturing subdiscipline of computer science can continue to grow and integrate within it both old and new approaches despite (or perhaps due to) a lack of public awareness. The conceptual graph community has basically existed since the 1984 publication of John Sowa's book, "Conceptual Structures: Information Processing In Mind and Machine." In this book, John Sowa laid the foundations for a knowledge representation model called conceptual graphs based on semantic networks and the existential graphs of C.S. Peirce. Conceptual graphs constitutes a very powerful and expressive knowledge representation scheme, inheriting the benefits of logic and the mathematics of graphs. The expressiveness and formal underpinnings of conceptual graph theory have attracted a large international community of researchers and scholars. The International Conferences on Conceptual Structures, and this is the seventh in the series, is the primary forum for these researchers to report their progress and activities. As in the past, the doors were open to admit alternate representation models and approaches.

关键词： Artificial Intelligence Theory of Computation Discrete Mathematics in computer Science Mathematical Logic and Formal Languages Algorithm Analysis and Problem Complexity

来源：评论

学校读者我要写书评

暂无评论

Applications of Graph Transformations with Industrial Relevance 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Andy Schürr Manfred Nagl Albert Zündorf

ISBN: (数字)9783540890201

ISBN: (纸本)9783540890195

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Symposium on Applications of Graph Transformations, AGTIVE 2007, held in Kassel, Germany, in October 2007. The 30 revised full papers presented together with 2 invited papers were carefully selected from numerous submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on graph transformation applications, meta-modeling and domain-specific language, new graph transformation approaches, program transformation applications, dynamic system modeling, model driven software development applications, queries, views, and model transformations, as well as new pattern matching and rewriting concepts. The volume moreover contains 4 papers resulting from the adjacent graph transformation tool contest and concludes with 9 papers summarizing the state of the art of today's available graph transformation environments.

关键词： software engineering/Programming and Operating Systems software engineering Logics and Meanings of Programs Mathematical Logic and Formal Languages Data Structures Algorithm Analysis and Problem Complexity

来源：评论

学校读者我要写书评

暂无评论

Modelling Autonomic Communications Environments 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Sven Meer Mark Burgess Spyros Denazis

来源：评论

学校读者我要写书评

暂无评论

Agile Processes in software engineering and Extreme Programming 1

引用

丛书名： Lecture Notes in Business Information Processing

1000年

作者： Pekka Abrahamsson Michele Marchesi Frank Maurer

ISBN: (数字)9783642018534

ISBN: (纸本)9783642018527

The field of software engineering is characterized by speed and turbulence in many regards. While new ideas are proposed almost on a yearly basis, very few of them live for a decade or a longer. Lightweight software development methods were a new idea in the latter part of the 1990s. Now, ten years later, they are better known as agile software development methods, and an active community driven by practitioners has formed around the new way of thinking. Agile software development is currently being embraced by the research community as well. As a sign of increased research activity, most research-oriented conferences have an agile software development track included in the conference program. The XP conference series established in 2000 was the first conference dedicated to agile processes in software engineering. The idea of the conference is to offer a unique setting for advancing the state of the art in research and practice of agile processes. This year’s conference was the tenth consecutive edition of this international event. Due to the diverse nature of different activities during the conference, XP is claimed to be more of an experience rather then a regular conference. It offers several different ways to interact and strives to create a truly collaborative environment where new ideas and exciting findings can be presented and shared. This is clearly visible from this year’s program as well.

关键词： software engineering Management of Computing and Information Systems

来源：评论

学校读者我要写书评

暂无评论

quality of software Architectures and software quality 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Ralf Reussner Johannes Mayer Judith A. Stafford Sven Overhage Steffen Becker Patrick J. Schroeder

来源：评论

学校读者我要写书评

暂无评论

Hybrid Artificial Intelligence Systems 1

引用

丛书名： Lecture Notes in computer Science

1000年

作者： Emilio Corchado Ajith Abraham Witold Pedrycz

ISBN: (数字)9783540876564

ISBN: (纸本)9783540876557

The Third International Workshop on Hybrid Artificial Intelligence Systems (HAIS 2008) presented the most recent developments in the dynamically expanding realm of symbolic and sub-symbolic techniques aimed at the construction of highly robust and reliable problem-solving techniques. Hybrid intelligent systems have become incre- ingly popular given their capabilities to handle a broad spectrum of real-world c- plex problems which come with inherent imprecision, uncertainty and vagueness, high-dimensionality, and non stationarity. These systems provide us with the oppor- nity to exploit existing domain knowledge as well as raw data to come up with prom- ing solutions in an effective manner. Being truly multidisciplinary, the series of HAIS workshops offers a unique research forum to present and discuss the latest theoretical advances and real-world applications in this exciting research field. This volume of Lecture Notes on Artificial Intelligence (LNAI) includes accepted papers presented at HAIS 2008 held in University of Burgos, Burgos, Spain, Sept- ber 2008 The global purpose of HAIS conferences has been to form a broad and interdis- plinary forum for hybrid artificial intelligence systems and associated learning pa- digms, which are playing increasingly important roles in a large number of application areas. Since its first edition in Brazil in 2006, HAIS has become an important forum for researchers working on fundamental and theoretical aspects of hybrid artificial intel- gence systems based on the use of agents and multiagent systems, bioinformatics and bio-inspired models, fuzzy systems, artificial vision, artificial neural networks, opti- zation models and alike.

关键词： Programming Techniques Data Mining and Knowledge Discovery computer engineering Artificial Intelligence Information Systems Applications (incl. Internet) Algorithm Analysis and Problem Complexity

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：