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

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering

作者： Timothy J. Sliski Matthew P. Billmers Lori A. Clarke Leon J. Osterweil Laboratory for Advanced Software Engineering Research Department of Computer Science University of Massachusetts at Amherst Amherst MA

ISBN: (纸本)9781581133905

Complex toolsets can be difficult to use. User interfaces can help by guiding users through the alternative choices that might be possible at any given time, but this tends to lock users into the fixed interaction models dictated by the user-interface designers. Alternatively, we propose an approach where the tool utilization model is specified by a process, written in a process definition langauge. Our approach incorporates a user-interface specification that describes how the user-interface is to respond to, or reflect, progress through the execution of the process definition. By not tightly binding the user-guidance process, the associated user-interfaces, and the toolset, it is easy to develop alternative processes that provide widely varying levels and styles of guidance and to be responsive to evolution in the processes, user interfaces, or toolset. In this paper, we describe this approach for developing process-driven user-guidance environments, a lossely coupled architecture for supporting this separation of concerns, and a generator for automatically binding the process and the user interface. We report on a case study using this approach. Although this case study used a specific process definition language and a specific toolset, the approach is applicable to other process definition languages and toolsets, provided they meet some basic, sound software engineering requirements.

关键词： process guidance user interface design tool integration

来源：评论

学校读者我要写书评

暂无评论

The right algorithm at the right time: comparing data flow analysis algorithms for finite state verification 01

The right algorithm at the right time: comparing data flow a...

引用

Proceedings of the 23rd International Conference on software engineering

作者： Jamieson M. Cobleigh Lori A. Clarke Leon J. Osterweil Laboratory for Advanced Software Engineering Research Department of Computer Science University of Massachusetts Amherst Amherst MA

ISBN: (纸本)9780769510507

Finite state verification is emerging as an important technology for proving properties about software. In our experience, we have found that analysts have different expectations at different times. When an analyst is in an exploratory mode, initially formulating and verifying properties, analyses usually find inconsistencies because of flaws in the properties or in the software artifacts being analyzed. Once an inconsistency is found, the analyst begins to operate in a fault finding mode, during which meaningful counter example traces are needed to help determine the cause of the inconsistency. Eventually systems become relatively stable, but still require re-verification as evolution occurs. During such periods, the analyst is operating in a maintenance mode and would expect re-verification to usually report consistent results. Although it could be that one algorithm suits all three of these modes of use, the hypothesis explored here is that each would be best served by an algorithm optimized for the expectations of the analyst.

关键词：

来源：评论

学校读者我要写书评

暂无评论

The need for verification and validation techniques for adaptive control system

The need for verification and validation techniques for adap...

引用

International Symposium on Autonomous Decentralized Systems (ISADAS)

作者： B. Cukic NASANVU Software Research Laboratory Department of Computer Science and Electrical Engineering West Virginia University Morgantown USA

ISBN: (纸本)0769510655

Adaptive systems are systems whose function evolves over time, as they improve their performance through learning. The advantage of adaptive systems is that they can, through judicious learning, react to situations that were never individually identified and analyzed by the designer. If learning and adaptation are allowed to occur after the control system is deployed, the system is called an online adaptive system. Online adaptive systems are attracting increasing attention in application domains where autonomy is an important feature, or where it is virtually impossible to analyze ahead of time all the possible combinations of environmental conditions that may arise. An archetype of the former are long term space missions where communication delays to ground stations are prohibitively long, and we have to depend on the systems' local capabilities to deal with unforeseen circumstances. An archetype of the latter are flight control systems, which deal with a wide range of parameters, and a wide range of environmental factors. In recent years NASA conducted experiments evaluating adaptive computational paradigms (neural networks, AI planners) for providing fault tolerance capabilities in control systems following sensor and/or actuator faults. Experimental success suggests significant potential for future use. The critical factor limiting wider use of neural networks and other soft-computing paradigms in process control applications, is our (in)ability to provide a theoretically sound and practical approach to their verification and validation.

关键词： Adaptive systems Control systems Programmable control Adaptive control Neural networks Space missions Delay Satellite ground stations Aerospace control Environmental factors

来源：评论

学校读者我要写书评

暂无评论

Ethernet Wrapper: extension of the TCP Wrapper

Ethernet Wrapper: extension of the TCP Wrapper

引用

International Conference on Parallel and Distributed Systems (ICPADS)

作者： MoonSang Kwon Jiman Hong Yookun Cho System Software Research Laboratory Department of Computer Science and Engineering Seoul National University Seoul South Korea

ISBN: (纸本)0769511538

One of the popular network security programs supporting host access control is the 'TCP Wrapper' (Venema, 1992). TCP Wrapper is a software-only system and many computers connected to the Internet are using it. However, TCP Wrapper does 'IP address-based' access control. The IP address is not such a reliable source when authenticating a host. We point out two possible attacks against the TCP Wrapper, propose a new way to prevent them, and describe the prototype implementation, Ethernet Wrapper. By adding an Ethernet address check, we augmented the TCP Wrapper. The test results showed that Ethernet Wrapper can prevent such attacks effectively.

关键词： Ethernet networks TCPIP Authentication Access control computer security Prototypes System software computer science National security Internet

来源：评论

学校读者我要写书评

暂无评论

An active and adaptive reuse repository system

An active and adaptive reuse repository system

引用

Annual Hawaii International Conference on System sciences (HICSS)

作者： Y. Ye Department of Computer Science University of Colorado Boulder Boulder CO USA Software Engineering Laboratory Software Research Associates Inc. Shinjuku Tokyo Japan

ISBN: (纸本)0769509819

Although software reuse repository systems have been an active research area for more than a decade, one important aspect has not been given enough attention: if software developers make no attempt to reuse, repository systems offer no help and reuse will not happen. Active information delivery, which presents information without being given explicit queries can motivate software developers to reuse. Critical challenges for active delivery systems are the contextualization of delivered information to the development task, and the adaptation of the information to each developer. This paper discusses how to address these challenges and demonstrates the feasibility of implementation through a prototype system.

关键词： Adaptive systems software reusability Programming software prototyping Prototypes Productivity software tools Switches software engineering Laboratories

来源：评论

学校读者我要写书评

暂无评论

Regular dynamics of low-frequency fluctuations in external cavity semiconductor lasers

引用

Physical Review E 2001年第5期63卷 056206-056206页

作者： Ruslan L. Davidchack Ying-Cheng Lai Athanasios Gavrielides Vassilios Kovanis Department of Mathematics and Computer Science University of Leicester Leicester LE1 7RH United Kingdom Departments of Mathematics Electrical Engineering and Physics Center for Systems Science and Engineering Arizona State University Tempe Arizona 85287 Nonlinear Optics Group Air Force Research Laboratory DELO Kirtland AFB Albuquerque New Mexico 87117 Department of Electrical and Computer Engineering University of New Mexico Albuquerque New Mexico 87131

It is commonly believed that the dynamics responsible for low-frequency fluctuations (LFF’s) in external cavity semiconductor lasers is stochastic or chaotic. A common approach to address the origin of LFF’s is to investigate the dynamical behavior of, and the interaction among, various external cavity modes in the Lang-Kobayashi (LK) paradigm. In this paper, we propose a framework for understanding of the LFFs based on a different set of fundamental solutions of the LK equations, which are periodic or quasiperiodic, and which are characterized by a sequence of time-locked pulses with slowly varying magnitude. We present numerical evidence and heuristic arguments, indicating that the dynamics of LFF’s emerges as a result of quasiperiodic bifurcations from these solutions as the pumping current increases. Regular periodic solutions can actually be observed when (1) the feedback level is moderate, (2) pumping current is below solitary threshold, and (3) the linewidth enhancement factor is relatively large.

关键词： Semiconductor lasers

来源：评论

学校读者我要写书评

暂无评论

Speculative precomputation: long-range prefetching of delinquent loads

Speculative precomputation: long-range prefetching of delinq...

引用

Annual International Symposium on computer Architecture, ISCA

作者： J.D. Collins Hong Wang D.M. Tullsen C. Hughes Yong-Fong Lee D. Lavery J.P. Shen Department of Computer Science and Engineering University of California San Diego La Jolla CA Microprocessor Research Laboratory Intel Corporation Santa Clara CA USA Microprocessor Research Lab Department of Computer Science and Engineering University of California San Diego La Jolla CA USA Department of Computer Science University of Illinois Urbana-Champaign Urbana IL USA Microcomputer Software Lab Intel Corporation Santa Clara CA Microcomputer Software Laboratory Intel Corporation Santa Clara CA USA Department of Computer Science University of Illinois at Urbana-Champaign Urbana IL

ISBN: (纸本)0769511627

This paper explores Speculative Precomputation, a technique that uses idle thread contexts in a multithreaded architecture to improve performance of single-threaded applications. It attacks program stalls from data cache misses by pre-computing future memory accesses in available thread contexts, and prefetching these data. This technique is evaluated by simulating the performance of a research processor based on the Itanium/sup TM/ ISA supporting Simultaneous Multithreading. Two primary forms of Speculative Precomputation are evaluated. If only the non-speculative thread spawns speculative threads, performance gains of up to 30% are achieved when assuming ideal hardware. However, this speedup drops considerably with more realistic hardware assumptions. Permitting speculative threads to directly spawn additional speculative threads reduces the overhead associated with spawning threads and enables significantly more aggressive speculation, overcoming this limitation. Even with realistic costs for spawning threads, speedups as high as 169% are achieved, with an average speedup of 76%.

关键词： Prefetching Yarn Bandwidth Hardware Surface-mount technology computer science Multithreading Delay Microprocessors Microcomputers

来源：评论

学校读者我要写书评

暂无评论

Generic description of a software document environment

Generic description of a software document environment

引用

Annual Hawaii International Conference on System sciences (HICSS)

作者： M. Toleman D. Carrington P. Cook A. Coyle A. MacDonald J. Welsh T. Jones Department of Mathematics and Computing University of Southern Queensland Toowoomba Australia Software Verification Research Centre School of Computer Science and Electrical Engineering University of Queensland Australia Price WaterhouseCoopers Limited Zurich Switzerland

ISBN: (纸本)0769509819

UQ* is an evolving generic language-based environment for manipulation of structured documents. The environment is intended to capture both syntactic and relational structure within and between documents and to support user interaction via both textual and diagrammatic views. This paper illustrates the innovative features of the environment description language used to instantiate a UQ* environment.

关键词： computer languages mathematics computer science Application software software engineering Programming environments Program processors Costs Navigation Technological innovation

来源：评论

学校读者我要写书评

暂无评论

Compression of indoor video sequences using homography-based segmentation 8

Compression of indoor video sequences using homography-based...

引用

8th Pacific Conference on computer Graphics and Applications

作者： Park, TJ Fleishman, S Cohen-Or, D Lischinski, D Computer Software Technology Laboratory Electronics and Telecommunications Research Institute South Korea Computer Science Department Tel-Aviv University Israel School of Computer Science and Engineering Hebrew University of Jerusalem Israel

ISBN: (纸本)0769508685

We present a new compression algorithm for video sequences of indoor scenes, or more generally: sequences containing mostly planar and near-planar surfaces. Our approach utilizes edge and optical flow information in order to segment selected keyframes into regions of general shape, such that the motion of each region is predicted well by a planar homography. With this kind of motion prediction, the errors between the predicted intermediate frames and the actual ones are very small, and can be compactly encoded. Our results demonstrate significant improvements in the accuracy of the compressed video sequences, compared to standard general purpose video compression.

关键词： video compression planar homography edge detection image segmentation optical flow motion prediction image-based rendering

来源：评论

学校读者我要写书评

暂无评论

Little-JIL/Juliette: a process definition language and interpreter 00

Little-JIL/Juliette: a process definition language and inter...

引用

Proceedings of the 22nd international conference on software engineering

作者： Aaron G. Cass Barbara Staudt Lerner Stanley M. Sutton, Jr. Eric K. McCall Alexander Wise Leon J. Osterweil Laboratory for Advanced Software Engineering Research Department of Computer Science University of Massachusetts Amherst MA Department of Computer Science Williams College Williamstown MA and Laboratory for Advanced Software Engineering Research Department of Computer Science University of Massachusetts Amherst MA IBM TJ Watson Research Center Hawthorne NY and Laboratory for Advanced Software Engineering Research Department of Computer Science University of Massachusetts Amherst MA HP Laboratories Palo Alto CA and Laboratory for Advanced Software Engineering Research Department of Computer Science University of Massachusetts Amherst MA

ISBN: (纸本)9781581132069

Little-JIL, a language for programming coordination in processes is an executable, high-level language with a formal (yet graphical) syntax and rigorously defined operational semantics. The central abstraction in Little-JIL is the “step,” which is the focal point for coordination, providing a scoping mechanism for control, data, and exception flow and for agent and resource assignment. Steps are organized into a static hierarchy, but can have a highly dynamic execution structure including the possibility of recursion and ***-JIL is based on two main hypotheses. The first is that coordination structure is separable from other process language issues. Little-JIL provides rich control structures while relying on separate systems for resource, artifact, and agenda management. The second hypothesis is that processes are executed by agents that know how to perform their tasks but benefit from coordination support. Accordingly, each Little-JIL step has an execution agent (human or automated) that is responsible for performing the work of the *** approach has proven effective in supporting the clear and concise expression of agent coordination for a wide variety of software, workflow, and other processes.

关键词： Little-JIL

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：