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

IEEE International Conference on Performance, Computing and Communications (IPCCC)

作者： Peng Ge P.K. McKinley Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI USA

ISBN: (纸本)0780373715

This paper explores three different methods, employed separately and in combination, to improve the quality of video delivery on wireless local area networks. The approaches are: leader-driven multicast (LDM), monitoring MAC layer unicast (re)transmissions by other receivers; application-level forward error correction (FEC) using block erasure codes; negative feedback from selected receivers in the form of extra parity requests (EPR). The performance of these three methods is evaluated using both experiments on a mobile computing testbed and simulation. The results indicate that, while LDM is helpful in improving the raw packet reception rate, the combination of FEC and EPR is most effective in improving the frame delivery rate.

关键词： Error correction Forward error correction Paramagnetic resonance Wireless LAN Monitoring Unicast Negative feedback Mobile computing Testing Computational modeling

来源：评论

学校读者我要写书评

暂无评论

Requirements patterns for embedded systems

Requirements patterns for embedded systems

引用

IEEE International Conference on Requirements engineering

作者： S. Konrad B.H.C. Cheng Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI USA

In software engineering, design patterns propose solution skeletons for common design problems. The solution skeleton is described in such a way that the design can be used for other projects, where each application tailors the design to specific project constraints. This paper describes research into investigating how a similar approach to reuse can be applied to requirements specifications, which we term requirements patterns. Specifically, the paper explores how object-oriented modeling notations, such as the Unified Modeling Language (UML), can be used to represent common requirements patterns. Structural and behavioral information are captured as part of a requirements pattern. In order to maximise reuse, we focus on requirements patterns for embedded systems. This paper also describes case studies that illustrate how we have applied these general patterns to multiple embedded systems applications from the automotive industry.

关键词： Embedded system software engineering Object oriented modeling Unified modeling language Application software Skeleton Automotive engineering Pattern analysis Collaborative work Laboratories

来源：评论

学校读者我要写书评

暂无评论

Programming language support for adaptable wearable computing

Programming language support for adaptable wearable computin...

引用

International Symposium on Wearable computers

作者： P.K. McKinley S.M. Sadjadi E.P. Kasten R. Kalaskar Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI USA

software on wearable computers must adapt to dynamic environmental conditions, such as changes in packet loss behavior on wireless communication channels. This paper investigates the use of programming language constructs to realize adaptive behavior. A prototype language, Adaptive Java, was used to construct MetaSocket components, whose composition and behavior can be adapted to changing conditions during execution. MetaSockets were then integrated into Pavilion, a web-based collaboration framework, and experiments were conducted on a mobile computing testbed containing Xybernaut MA-V wearable computer systems. Performance results demonstrate the utility of MetaSockets in reducing file transfer time and enhancing the quality of interactive audio streams.

关键词： computer languages Wearable computers Wireless communication software prototyping Prototypes Java Collaboration Mobile computing System testing Streaming media

来源：评论

学校读者我要写书评

暂无评论

Separating introspection and intercession to support metamorphic distributed systems

Separating introspection and intercession to support metamor...

引用

International Conference on Distributed Computing systems Workshop

作者： E.P. Kasten P.K. McKinley S.M. Sadjadi R.E.K. Stirewalt Software Engineering and Network Systems Laboratory Department of Computer Science and Engineering Michigan State University East Lansing MI USA

Many middleware platforms use computational reflection to support adaptive functionality. Most approaches intertwine the activity of observing behavior (introspection) with the activity of changing behavior (intercession). This paper explores the use of language constructs to separate these parts of reflective functionality. This separation and "packaging" of reflective primitives is intended to facilitate the design of correct and consistent adaptive middleware. A prototype language, called Adaptive Java, is described in which this functionality is realized through extensions to the Java programming language. A case study is described in which "metamorphic" socket components are created from regular socket classes and used to realize adaptive behavior on wireless network connections.

关键词： Middleware Reflection computer networks Distributed computing Wireless networks Prototypes Java Sockets Mobile computing Quality of service

来源：评论

学校读者我要写书评

暂无评论

Information Leakage from Optical Emanations

引用

ACM Transactions on Information and System Security 2002年第3期5卷 262-289页

作者： Loughry, Joe Umphress, David A. Lockheed Martin Space Systems Denver Dept. 3740 Mail Stop X3741 P.O. Box 179 CO 80201 United States Auburn University Department of Computer Science and Software Engineering AL 215 Dunstan Hall 36849 United States

A previously unknown form of compromising emanations has been discovered. LED status indicators on data communication equipment, under certain conditions, are shown to carry a modulated optical signal that is significantly correlated with information being processed by the device. Physical access is not required;the attacker gains access to all data going through the device, including plaintext in the case of data encryption systems. Experiments show that it is possible to intercept data under realistic conditions at a considerable distance. Many different sorts of devices, including modems and Internet Protocol routers, were found to be vulnerable. A taxonomy of compromising optical emanations is developed, and design changes are described that will successfully block this kind of “Optical TEMPEST” attack. © 2002, ACM. All rights reserved.

关键词： Comint Communication Compromising emanations COMSEC Covert channel EMSEC Encryption Experimentation Fiber optics Information displays Light emitting diode (LED) Security SIGINT TEMPEST

来源：评论

学校读者我要写书评

暂无评论

The flow-service-quality framework: Unified engineering for large-scale, adaptive systems 35

The flow-service-quality framework: Unified engineering for ...

引用

35th Annual Hawaii International Conference on System Sciences, HICSS 2002

作者： Hevner, A. Linger, R. Sobel, A. Walton, G. Information Systems and Decision Sciences Dept. University of South Florida TampaFL United States Computer Science and Systems Analysis Dept. Miami University OxfordOH United States CERT Coordination Center Software Engineering Institute Carnegie Mellon University PittsburghPA United States School of Electrical Engr. and Computer Science University of Central Florida OrlandoFL United States

ISBN: (纸本)0769514359

Modern enterprises are irreversibly dependent on large-scale, adaptive, component-based information systems whose complexity frequently exceeds current engineering capabilities for intellectual control, resulting in persistent difficulties in system development, management, and evolution. We propose an innovative framework of engineering representation and reasoning methods for developing these complex systems: the flow-service-quality (FSQ) framework. In dynamic network information systems with constantly varying function and usage, workflows and their corresponding traces of system services act as stable foundations for functional and non functional (quality attribute) specification, design, and operational control. Our objective is to provide theoretical foundations, language representations, and rigorous yet practical unified engineering methods to represent and reason about system flows as essential artifacts of system specification, design, and operation. © 2002 IEEE.

关键词： Large scale systems

来源：评论

学校读者我要写书评

暂无评论

Hierarchical partitioning techniques for structured adaptive mesh refinement (SAMR) applications

Hierarchical partitioning techniques for structured adaptive...

引用

International Conference on Parallel Processing Workshops (ICPPW)

作者： Xiaolin Li S. Ramanathan M. Parashar The Applied Software Systems Laboratory Department of Electrical and Computer Engineering Rutgers State University of New Jersey Piscataway NJ USA

Presents the design and preliminary evaluation of hierarchical partitioning and load-balancing techniques for distributed structured adaptive mesh refinement (SAMR) applications. The overall goal of these techniques is to enable the load distribution to reflect the state of the adaptive grid hierarchy and exploit it to reduce synchronization requirements, improve load-balance, and enable concurrent communications and incremental redistribution. The hierarchical partitioning algorithm (HPA) partitions the computational domain into subdomains and assigns them to hierarchical processor groups. Two variants of HPA are presented. The static hierarchical partitioning algorithm (SHRA) assigns portions of overall load to processor groups. In SHRA, the group size and the number of processors in each group is setup during initialization and remains unchanged during application execution. It is experimentally shown that SHRA reduces communication costs as compared to the Non-HPA scheme, and reduces overall application execution time by up to 41%. The adaptive hierarchical partitioning algorithm (AHRA) dynamically partitions the processor pool into hierarchical groups that match the structure of the adaptive grid hierarchy.

关键词： Adaptive mesh refinement Partitioning algorithms Distributed computing Concurrent computing Application software Cost accounting Load management High performance computing Cost function Parallel processing

来源：评论

学校读者我要写书评

暂无评论

How much information is needed for usage-based reading? A series of experiments

How much information is needed for usage-based reading? A se...

引用

International Symposium on Empirical software engineering (ISESE)

作者： T. Thelin P. Runeson C. Wohlin T. Olsson C. Andersson Department of Communication Systems Lund University Lund Sweden Department of Software Engineering and Computer Science Blekinge Institute of Technology Ronneby Sweden

software inspections are regarded as an important technique to detect faults throughout the software development process. The individual preparation phase of software inspections has enlarged its focus from only comprehension to also include fault searching. Hence, reading techniques to support the reviewers on fault detection are needed. Usage-based reading (UBR) is a reading technique, which focuses on the important parts of a software document by using prioritized use cases. This paper presents a series of three UBR experiments on design specifications, with focus on the third. The first experiment evaluates the prioritization of UBR and the second compares UBR against checklist-based reading. The third experiment investigates the amount of information needed in the use cases and whether a more active approach helps the reviewers to detect more faults. The third study was conducted at two different places with a total of 82 subjects. The general result from the experiments is that UBR works as intended and is efficient as well as effective in guiding reviewers during the preparation phase of software inspections. Furthermore, the results indicate that use cases developed in advance are preferable compared to developing them as part of the preparation phase of the inspection.

关键词： Inspection software engineering Bioreactors Communication system software computer science Technology planning Fault detection Testing engineering management

来源：评论

学校读者我要写书评

暂无评论

Adaptive QoS management for collaboration in heterogeneous environments

Adaptive QoS management for collaboration in heterogeneous e...

引用

International Symposium on Parallel and Distributed Processing (IPDPS)

作者： R. Chowdhury P. Bhandarkar M. Parashar The Applied Software Systems Laboratory Department of Electrical and Computer Engineering & CAIP Center Rutgers State University of New Jersey Piscataway NJ USA

Adaptive Quality-of-Service management is critical for enabling effective collaboration between distributed clients in a heterogeneous (wired and wireless) environment. This is because both client profiles (capabilities, interests and resources) and system resources can be significantly different and highly dynamic. This paper presents the design and prototype implementation of an adaptive QoS management framework for collaborative multimedia applications in distributed, heterogeneous environments. The overall goal of the framework is to locally adapt the shared information to meet the capabilities, interests and current state of each collaborating client while preserving the semantic content of the information to maintain effective sharing. Transformations investigated in this paper include gradual gradations and modality transformations. The framework builds on a publisher-subscriber messaging substrate that uses semantic profiles and provides each client with direct and immediate access to all information defined by its needs and capabilities, without having to maintain and update global rosters. It interfaces with the Simple Network Management Protocol (SNMP) to determine the state of the network by directly querying network elements. An experimental evaluation of the framework for wired and wireless clients is also presented.

关键词： Environmental management Collaboration Collaborative work computer networks software systems Quality of service Quality management engineering management Collaborative software Prototypes

来源：评论

学校读者我要写书评

暂无评论

Advances in software specification and verification introduction to minitrack

Advances in software specification and verification introduc...

引用

Annual Hawaii International Conference on System Sciences (HICSS)

作者： Ann E.K. Sobel R.C. Linger Computer Science & Systems Analysis Department Miami University Oxford OH USA Software Engineering Institute Carnegie Mellon University Pittsburgh PA USA

Provides an overview of the technical articles and features presented in this minitrack.

ISBN: (纸本)0769514359

Provides an overview of the technical articles and features presented in this minitrack.

关键词： Large-scale systems Unified modeling language computerized monitoring State-space methods software engineering Application software Programming Real time systems Intelligent networks computer science

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：