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

6th Australian Conference on Computer-Human Interaction, OzCHI 1996

作者： Henschke, K. Howard, S. RMIT University Department of Business Computing MelbourneVIC Australia Computer Science and Software Engineering Swinbume University of Technology Australia

ISBN: (纸本)081867525X

Business and computing journals indicate a resurgence of interest in the competitive advantages offered by groupware products. However, problems and limitations in the development and implementation of such products suggest a lack of understanding of the interdisciplinary nature of computer-supported cooperative work (CSCW). A pilot study was conducted to formulate the core content of a universal CSCW curriculum, a curriculum that includes topics from a range of disciplines. Topics were extracted from existing CSCW syllabi and supplemented with material found in research papers covering CSCW issues. The proposed curriculum was then validated against a small sample of Australian business managers and consultants. The findings highlight the interdisciplinary nature of CSCW systems development and implementation. Implications of findings for CSCW education of business graduates in information systems are discussed together with directions for further research. © 1996 IEEE.

关键词： Curricula

来源：评论

学校读者我要写书评

暂无评论

ERTL: An extension to RTL for the specification, analysis and verification of hybrid systems

ERTL: An extension to RTL for the specification, analysis an...

引用

8th Euromicro Workshop on Real-Time Systems, ECRTS 1996

作者： Hall, J.G. De Lemos, R. High Integrity Systems Engineering Group Department of Computer Science University of York YO1 5DD United Kingdom Centre for Software Reliability Department of Computing Science University of Newcastle Upon Tyne NE1 7RU United Kingdom

ISBN: (纸本)0818674962

Real time logic (RTL) was introduced as a formalism for reasoning about the relative and absolute timing properties of computational tasks of discrete real-time systems. Extended real time logic (ERTL) is a formalism for the modelling and analysis of relative and absolute timing properties of hybrid systems (systems that combine continuous variables and discrete event dynamics). The extensions provided by ERTL enable the modelling of system behaviour ranging from activities of the physical entities that form part of the environment of a computing system, to the temporal ordering of the computational tasks of the computing system itself thus providing a formal notation that can be used in all stages of software development. © 1996 IEEE.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Extended RTL in the specification and verification of an industrial press 5th

Extended RTL in the specification and verification of an ind...

引用

5th DIMACS/SYCON Workshop on Verification and Control of Hybrid Systems, 1995

作者： de Lemos, Rogério Hall, Jon G. Centre for Software Reliability Department of Computing Science University of Newcastle upon Tyne NE1 7RU United Kingdom High Integrity Systems Engineering Group Department of Computer Science University of York YO1 5DD United Kingdom

ISBN: (纸本)354061155X

Extended Real Time Logic (ERTL) is proposed for the modelling and analysis of hybrid systems, taking as a basis Real Time Logic (RTL). RTL is a first order logic with uninterpreted predicates which relate events of a system to the time of their occurrence, thereby providing the means for reasoning about absolute timing properties of real-time systems. The extensions provided by ERTL allow reasoning about system behaviour in both value and time domains through predicates defined in terms of system variables. We illustrate the use of ERTL through the modelling and analysis of an industrial press. © Springer-Verlag Berlin Heidelberg 1996.

关键词： Presses (machine tools)

来源：评论

学校读者我要写书评

暂无评论

Subjecting CSCW to business: a model curriculum for CSCW validated against business needs

Subjecting CSCW to business: a model curriculum for CSCW val...

引用

Australasian Conference on Computer Human Interaction

作者： K. Henschke S. Howard Department of Business Computing RMIT University Australia Computer Science & Software Engineering Swinburne University of Technology Australia

关键词： Collaborative work Collaborative software Australia Computer science software engineering Conducting materials Computer science education Management information systems Turning software tools

来源：评论

学校读者我要写书评

暂无评论

ERTL: an extension to RTL for the specification, analysis and verification of hybrid systems

ERTL: an extension to RTL for the specification, analysis an...

引用

Euromicro Conference on Real-Time Systems

作者： J.G. Hall R. de Lemos High Integrity Systems Engineering Group Department of Computer Science University of York UK Centre for Software Reliability Department of Computing Science University of Newcastle UK

关键词： Real time systems Timing Logic Physics computing Systems engineering and theory Computer science software reliability Equations Hardware design languages Production systems

来源：评论

学校读者我要写书评

暂无评论

Extended real-time logic for hybrid systems controller design

Extended real-time logic for hybrid systems controller desig...

引用

IEE Colloquium on Hybrid Control for Real-Time Systems

Summary form only given. Hybrid systems are systems which combine both continuous variable and discrete event dynamics. Their complexity has risen to the extent that traditional approaches which dealt separately with the continuous and discrete aspects of such systems have become obsolete. Instead of proposing a novel formal notation for the specification of controllers for hybrid systems we have developed extended real time Logic (ERTL) as a formal notation for the modelling and analysis of relative and absolute timing properties of hybrid systems. ERTL embeds the discrete system model of the real time logic (RTL) of Jahanian and Mok (1986, 1988) into continuous time, and adds the ability to reason about piecewise continuous functions using predicates over real valued variables. While RTL is able to formally describe the behaviour of computational entities in the time domain, ERTL also permits the formal description of the behaviour of physical entities in both value and time domains.

关键词： Discrete time systems

来源：评论

学校读者我要写书评

暂无评论

Virtual memory versus file interfaces for large, memory-intensive scientific applications 96

Virtual memory versus file interfaces for large, memory-inte...

引用

Proceedings of the 1996 ACM/IEEE conference on Supercomputing

作者： Yoonho Park Ridgway Scott Stuart Sechrest High Performance Computing Center University of Houston Houston TX Software Systems Research Laboratory Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI

ISBN: (纸本)9780897918541

Scientific applications often require some strategy for temporary data storage to do the largest possible simulations. The use of virtual memory for temporary data storage has received criticism because of performance problems. However, modern virtual memory found in recent operating systems such as Cenju-3/DE give application writers control over virtual memory policies. We demonstrate that custom virtual memory policies can dramatically reduce virtual memory overhead and allow applications to run out-of-core efficiently. We also demonstrate that the main advantage of virtual memory, namely programming simplicity, is not lost.

关键词： custom policies

来源：评论

学校读者我要写书评

暂无评论

Virtual Memory versus File Interface for Large, Memory-Intensive Scientific Applications

Virtual Memory versus File Interface for Large, Memory-Inten...

引用

Supercomputing Conference

作者： Yoonho Park R. Scott S. Sechrest High performance computing center University of Houston Houston TX USA Software Systems Research Laboratory Department of Electrical Engineering and Computer Science University of Michigan Ann Arbor MI USA

关键词： Memory Operating systems Control systems

来源：评论

学校读者我要写书评

暂无评论

A method for understanding intentions of indirect speech acts in natural language interfaces

引用

SYSTEMS AND COMPUTERS IN JAPAN 1996年第1期27卷 77-91页

作者： Mima, H Aoe, J Fuketa, M Hayashi, Y Member Faculty of Engineering The University of Tokushima Tokushima Japan 770 Jun-ichi Aoe received his B.E. and M.E. degrees in Electronic Engineering from the University of Tokushima Tokushima Japan in 1974 and 1976 respectively and his Ph.D. degree in Communication Engineering from the University of Osaka Japan in 1980. Since 1976 he has been with the University of Tokushima. He is currently a Professor in the Department of Information Science and Intelligent Systems at the University of Tokushima. He is the author of about 50 scientific papers. His research interests include computer algorithms in software engineering and natural language processing. Dr. Aoe is editing Computer Algorithms Series of the IEEE Computer Society Press and author of two books: Computer Algorithms-Key Search Strategies in 1991 and String Pattern Matching Strategies in 1994. He received a Best Author Award from the Information Processing Society of Japan in 1993. He is a member of the Association for Computing Machinery the American Association for Artificial Intelligence the Association for Computational Linguistics and the Information Processing Society of Japan the Society for Software Science and Technology the Japanese Society for Artificial Intelligence and the Association for Natural Language Processing of Japan. Nonmember

In an attempt to propose a robust method for understanding natural language (NL) interface commands, a scheme is proposed that infers intentions from an indirect speech-act that does not express users' real intentions explicitly. This method classifies the real intentions of the indirect speech-act into: 1) refusal;2) reversal;3) restriction;4) benefit;and 5) disability. Further, concepts are abstracted for operations, e.g., displaying, moving, and deleting information systems;and constructing the operation knowledge base. This knowledge based comprises operational concepts and the relationships between them. These relationships are assigned the foregoing classifications for intentions. In addition, we construct the knowledge base of objects for the target of operations, e.g., files, figures, strings. This knowledge base contains the relationships: a) antonym;b) exclusive;c) part-of, between the objects;and uses these relations to infer the transitions between the objects. An algorithm is the proposed to infer concepts for operations and concepts for target objects of operations that may represent the user's actual intentions. This proposal scheme was tested with requests on UNIX and a commercially available Japanese Word Processor. The system successfully inferred the intentions for approximately 80 percent of the user's indirect speech-act.

关键词： natural language interface indirect speech act inference of intention

来源：评论

学校读者我要写书评

暂无评论

Representing architectural designs: a central issue in the development of complex systems

Representing architectural designs: a central issue in the d...

引用

IEEE International Conference on engineering of Complex Computer Systems

作者： V. Kirova W. Rossak Software Engineering Laboratory & Real-Time Computing Laboratory Department of Computer and Information Science New Jersey Institute of Technology Newark NJ USA

This paper discusses the need for and the use of a software architecture as an important means in the development of complex systems. We start out with a brief analysis of the term "complex" with regard to computerized systems. On this basis, we introduce software architectures as a means to cope with the software design aspect of system complexity. We then identify the architectural concepts that are necessary to capture a comprehensive, high level system design and discuss their characterizing properties. Finally, we propose a "construction-oriented" technique for architecture specification which is based on a generic set of architectural elements and is supported by a tool, d-ASPECT (domain Architecture Specification Tool), currently under development at NJIT.

关键词： Buildings Laboratories Control systems Computer architecture software engineering Real time systems Information science Paper technology software architecture Law

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：