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

Conference on Human Factors in Computing Systems, CHI EA 2000

作者： Wu, Yongmei Programming Languages and Compiler Department of Computer Science Darmstadt University of Technology Germany

The purpose of my HCI research is to use the Design Patterns approach to establish a framework to support designing WIMP User Interfaces. In this paper I will introduce the WIMP+ User Interfaces and the idea to use th... 详细信息

ISBN: (纸本)1581132484

关键词： ACEE Design pattern Framework WIMP+ user interfaces

来源：评论

学校读者我要写书评

暂无评论

Designing an Aspect-Oriented Framework in an Object-Oriented Environment

引用

ACM Computing Surveys 2000年第1ES期32卷 41-41页

作者： Constantinides, Constantinos A. Bader, Atef Elrad, Tzilla H. Netinant, P. Fayad, Mohamed E. Concurrent Programming Research Group Department of Computer Science Illinois Institute of Technology United States University of Nebraska Lincoln United States

Separation of concerns is at the heart of software development, and although its benefits have been well established, the core problem remains how to achieve it. For complex software systems the solution is still debatable and it is a major research area. Object Oriented programming (OOP) works well only if the problem at hand can be described with relatively simple interface among objects. Unfortunately, this is not the case when we move from sequential programming to concurrent and distributed programming. The September 1993 CACM issue was devoted to the problematic marriage between OOP and Concurrency [Cohen 93]. Since then, numerous workshops, articles and books have attempt to tackle the problem. The core complexity is that concurrent and distributed systems manifest over more than one dimension. Features such as scheduling, synchronization, fault tolerance, security, testing and verifications are all expressed in such a way that they tend to cut across different objects. Hence, simple object interfaces are violated and the traditional OOP benefits no longer hold. One of the current attempts to resolve this issue is the Aspect Oriented Software Architecture. To address this multi-dimensional structure of concurrent systems we distinguish between components and aspects. Aspects are defined as properties of a system that do not necessarily align with the system’s functional components but tend to cut across functional components, increasing their interdependencies, and thus affecting the quality of the software. Although not bound to OOP, Aspect-Oriented programming (AOP) is a paradigm proposal that retains the advantages of OOP and aims at achieving a better separation of concerns. In this paper we provide an assessment of AOP and we discuss the architecture of an aspect-oriented framework. The goals of our proposal is to achieve an improved separation of concerns in both design, and implementation, to provide adaptability, and to support the complex interaction

关键词：

来源：评论

学校读者我要写书评

暂无评论

Intelligent construction of thematic collections

Recent Advances in Applied and Theoretical Mathematics

引用

Recent Advances in Applied and Theoretical Mathematics 2000年 103-106页

作者： Kluev, V.V. Dobrynin, V.Yu. Garnaev, S.Yu. Core and Info. Technology Center University of Aizu Tsuruga Ikki-machi Fukushima 965-8580 Japan Department of Programming Technology Saint Petersburg State University Biblitechnaya d 2 S. Petersburg 198904 Russia S. Petersburg Inst. Fine Mech./Opt. Sablinskaya d 14 S. Petersburg 197101 Russia

ISBN: (纸本)9608052211

This paper describes the experimental semi - automatically technology for construction of thematic collections. The crawler (a program that retrieves WEB pages) is used as a basis of this technology. The main principles of the crawler were discussed. The usage of this program for gathering topic specific documents from the Internet is reported. This technology can be used for construction of collections of mathematical WEB material. Obtained results for some topics indicate that additional work is needed to improve this technology.

关键词： Search engines

来源：评论

学校读者我要写书评

暂无评论

Concurrent simulation of neutral flow in the GEC reference cell

引用

Concurrency and Computation: Practice and Experience 2000年第1期12卷

作者： Marc Rieffel Mikhail Ivanov Sadasivan Shankar Stephen Taylor Scalable Concurrent Programming Laboratory -120 CST Syracuse University Syracuse NY 13244 U.S.A. Institute for Theoretical and Applied Mechanics Russian Academy of Sciences Siberian Branch Russia Technology CAD Department Intel Corporation RN 2-40 2200 Mission College Blvd Santa Clara CA 95054 U.S.A.

This paper describes computational techniques for concurrent Direct Simulation Monte Carlo (DSMC) of neutral flow inside three-dimensional plasma reactors. These techniques are designed to reduce the overall time to obtain realistic three-dimensional results. A simulation problem is first defined by automatically generating a tetrahedral grid. This grid is statically partitioned in order to achieve scalable memory utilization. Parallel algorithms allow high-performance multicomputer architectures to be leveraged to reduce simulation time. Adaptive gridding techniques are employed to maintain the desired accuracy in the presence of dynamic flow variations. Load balancing algorithms, based on heat diffusion, are used to maximize efficiency. Finally, automatic granularity control is used to ensure appropriate granularity for load balancing and for maximum processor utilization. Simulation results are presented for a simulation of the GEC reference cell in a flow configuration of industrial relevance. Performance results are presented for large-scale multicomputers, symmetric multiprocessors and networks of PCs. Copyright © 2000 John Wiley & Sons, Ltd.

关键词： DSMC concurrent programming load balancing granularity control parallel processing plasma simulation

来源：评论

学校读者我要写书评

暂无评论

Location transparent routing in mobile agent systems merging name lookups with routing

Location transparent routing in mobile agent systems merging...

引用

IEEE Workshop on Future Trends of Distributed Computing Systems

作者： W. Van Belle K. Verelst T. D'Hondt Programming Technology Lab (PROG)Department Informatics (DINF) Vrije Universiteit Brussel Brussels Belgium Vrije Universiteit Brussel Faculteit Wetenschappen en Bio-ingenieurswetenschappen Brussel Brussel BE

Telecommunication systems these days are moving from static wide area component structures towards highly dynamic mobile infrastructures. This shift requires new algorithms to interconnect these mobile entities/components and route messages between them. In this paper we describe a naming and routing algorithm which can be used in fine-grained mobile component systems. As a case we use a homogenous environment of mobile multi-agent systems, which executes agents as they pass by.

关键词： Routing Mobile agents Merging Multiagent systems programming profession Dynamic programming Libraries Informatics Communication system software Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

Reuse contracts as component interface descriptions

Reuse contracts as component interface descriptions

引用

Workshops on Object-Oriented technology, ECOOP 1997

作者： Hondt, Koen De Lucas, Carine Steyaert, Patrick Programming Technology Lab Computer Science Department Vrije Universiteit Brussel Pleinlaan 2 BrusselB-1050 Belgium

ISBN: (纸本)3540640398

Current interface descriptions are poor in describing components, because they only provide an external view on a component and they do not lay down how components interact with each other. Suggestions to improve component interface descriptions at last year’s workshop are reconsidered and reuse contracts are put forward as a solution that goes one step further. © Springer-Verlag Berlin Heidelberg 1998.

关键词： Computers

来源：评论

学校读者我要写书评

暂无评论

Symposia lectures

引用

Journal of Biosciences 1999年第1期24卷 5-31页

作者： F. Parak A. Ostermann G. U. Nienhaus Nobuo Niimura William A. Eaton Stephen J. Hagen Eric R. Henry James Hofrichter Gouri Jas Lisa Lapidus Victor Muñoz Chih-chen Wang Abani Bhuyan Javant Udgaonkar Heinz Rüterians Derek N. Woolfson M. D. Finucane J. H. Lees M. J. Pandya G. Spooner M. Tuna Wilma K. Olson K. V. R. Chary E. Westhof I. G. Wool C. C. Correll V. I. Ivanov S. A. Bondarenko E. M. Zdobnov A. D. Beniaminov E. E. Minyat N. B. Ulyanov Dale B. Wigley Nobuo Shimamoto Takashi Kinebuchi Hiroyuki Kabata Osamu Kurosawa Masao Washizu Barbara Baird David Holowka H. Belrhali P. Nollert A. Royant J. P. Rosenbusch E. M. Landau E. Pebav-Peyroula Anil K. Lala Patrick R. D’Silva Daniela Pietrobon Paolo Pinton Paulo Magalhaes Anna Chiesa Marisa Brini Tullio Pozzan Rosario Rizzuto M. Montai Shu-Rong Wang José L. Carrascosa B. Bhattacharyya Ian A. Wilson Dinakar M. Salunke Kurt Drickamer Anne Imberty A. Surolia Louise N. Johnson Michal Neeman S. M. Prince K. McLuskey R. J. Cogdell K. McAuley N. W. Isaacs G. Venturoli F. Drepper J. C. Williams J. P. Allen X. Lin P. Mathis R. van Grondelle Wolfgang Junge T. Tsukihara K. Shinzawa-Itoh R. Nakashima E. Yamashita M. J. Fei N. Inoue T. Tomizaki C. Peters Libeu S. Yoshikawa Patrick Chaussepied Keiichi Namba Marie-France Carlier Fariza Ressacl Valerie Laurent Thomas Loisel Coumaran Egile Philippe Sansonetti Dominique Pantaloni Manju Bansal E. W. Knapp M. G. Ullmann A. Amadei B. L. de Groot M. A. Ceruso M. Paci H. J. C. Berendsen A. Di Nola V. Di Francesco P. J. Munson J. Garnier Sung-Hou Kim Jean-Michel Claverie Ian C. P. Smith P. T. Callaghan Bruce Cornell Ratna S. Phadke Kazuhiko Kinosita D. Goldfarb I. Qromov C. Shutter I. Pecht P. Manikandan R. Carmieli T. Shane David S. Moss Clare E. Sansom Jeremy K. Cockcroft Ian J. Tickle Huub C. P. Driessen J. Raul Grigera Ramen K. Poddar Charles R. Cantor Barry Robson Jean Garnier John Helliwell Sunney I. Chan Ronald Rock Physik-Department El7 Technische Universität München Garching Abteilung Biophysik Universität Ulm Ulm Advanced Science Research Center Japan Atomic Energy Research Institute Japan Laboratory of Chemical Physics NIDDK National Institutes of Health Bethesda USA National Lab of Biomacromolecules Institute of Biophysics Beijing China National Centre for Biological Sciences Bangalore Institute of Biophysical Chemistry University of Frankfurt Frankfurt/Main Germany Centre for Biomolecular Design and Drug Development University of Sussex UK Rutgers University Piscataway USA Department of Chemical Sciences Tata Institute of Fundamental Research Mumbai India IBMC-CNRS Strasbourg France Department of Biochemistry and Molecular Biology The University of Chicago Chicago USA Engelhardt Institute of Molecular Biology RAS Moscow Russia Sir William Dunn School of Pathology University of Oxford Oxford UK Structural Biology Center National Institute of Genetics Japan Faculty of Engineering Kyoto University Kyoto Advance Co. Tokyo Japan Department of Chemistry and Chemical Biology Cornell University Ithaca Institute de Biologie Structurale Joseph Fourier Grenoble Cedex 1 France Biomembrane Lab Department of Chemistry and Biotechnology CenterIndian Institute of Technology Bombay Powai Mumbai India Dept of Biomedical Sciences Univ. of Padova Italy Dept. Exp. Diagn. Med. Sect. Gen. Pathol Ferrara Italy Department of Biology University of California San Diego La Jolla USA Chinese Academy of Sciences Institute of Biophysics Beijing China Centra Nacional de Biotecnología CSIC. Campus de la Universidad Autónoma de Madrid Cantoblanco Spain Dept.of Biochemistry Bose Institute Calcutta-54 India The Scripps Research Institute La Jolla National Institute of Immunology New Delhi India Glycobiology Institute Department of Biochemistry University of Oxford Oxford UK Centre de Recherches sur les Macromolécules Végétales-CNRS Grenoble cedex 9 France Molecular Biophysics Uni

来源：评论

学校读者我要写书评

暂无评论

Deadlock behaviour in split and ST bisimulation semantics

Deadlock behaviour in split and ST bisimulation semantics

引用

EXPRESS '98, Fifth International Workshop on Expressiveness in Concurrency (Satellite Workshop of CONCUR '98)

作者： Baeten, J.C.M. Bergstra, J.A. Department of Mathematics and Computing Science Eindhoven University of Technology Eindhoven Netherlands Programming Research Group University of Amsterdam Amsterdam Netherlands Department of Philosophy Utrecht University Utrecht Netherlands

We investigate split and ST bisimulation semantics, in particular the deadlock behaviour of processes in these semantics. We define and axiomatise a variant of ACP, where atomic actions and durational actions coexist, and define split and ST bisimulation semantics on this theory. We exhibit a closed term that has a deadlock in split semantics, but not in ST bisimulation semantics, and vice versa: a closed term that has a deadlock in ST bisimulation semantics but not in split semantics. As an application, we investigate different versions of durational communication. ©1998 Published by Elsevier Science B.V.

关键词： Computational methods

来源：评论

学校读者我要写书评

暂无评论

Deadlock Behaviour in Split and ST Bisimulation Semantics

引用

Electronic Notes in Theoretical Computer Science 1998年第2期16卷 61-74页

作者： J.C.M. Baeten J.A. Bergstra Department of Mathematics and Computing Science Eindhoven University of Technology Eindhoven The Netherlands Programming Research Group University of Amsterdam Amsterdam The Netherlands

关键词：

来源：评论

学校读者我要写书评

暂无评论

Functional entropy and decision trees

Functional entropy and decision trees

引用

International Symposium on Multiple-Valued Logic

作者： V. Cheushev D.A. Simovici V. Shmerko S. Yanushkevich Department of Programming Technology State University Minsk Belarus Institute of Computer Science Technical University Szczecin Poland Department of Mathematics and ComputerScience University of Massachusetts Boston Boston MA USA

We introduce a technique to compute several information estimations for Boolean and multivalued functions. Special features of these estimations for completely and incompletely specified logic functions, including symmetric logic functions are investigated. Finally, we give an algorithm for determining various information measures for logical functions based on decision trees.

关键词： Entropy Decision trees Logic functions Boolean functions Computer science Logic design Minimization Mathematical programming Mathematics Estimation theory

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：