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

IEEE Annual International computer software and Applications Conference (COMPSAC)

作者： R.J. Walters Declarative Systems and Software Engineering Group Department of Electronics and Computer Science University of Southampton Southampton UK

With computer systems becoming ever larger and more complex, the cost and effort associated with their construction is increasing and the systems are now sufficiently complex that developers need help to analyse and understand them. However, at design time, when this understanding is crucial, the system is unavailable because it has yet to be built. Formal, executable models can help with this problem by providing developers with a platform on which to establish the feasibility of a proposed design. However, commercial developers seem reluctant to employ this type of modelling in their design activity. This paper describes a modelling tool in which the traditional model generation technique of writing "programming language like" code is replaced with a model generation tool which uses a graphical representation of models whilst retaining sufficient formality to permit the models to be executed, or converted into code for analysis by a traditional model checking tool.

关键词： software systems Application software software engineering computer science Costs Writing Hardware Assembly Programming software development management

来源：评论

学校读者我要写书评

暂无评论

Managing QoS for multimedia applications in a differentiated services environment

Managing QoS for multimedia applications in a differentiated...

引用

International Workshop on Active Middleware Services

作者： M. Mahajan M. Parashar The Applied Software Systems Laboratory Department of Electrical and Computer Engineering Rutgers University Piscataway NJ USA

The overall quality of network connections has a significant impact on the performance of networked applications. Consequently, QoS management for networked multimedia applications over IP is a significant and immediate challenge. While differentiated services (diffserv) provide a sense of resource allocation and QoS, they do not guarantee QoS. This paper presents design, implementation and evaluation of a content-aware bandwidth broker (CABB) that manages QoS of multimedia applications for the diffserv environment. CABB allocates network resources to multimedia flows based on client requirement and the tolerance and adaptability of the application. CABB has been implemented and evaluated using the NS-2 simulator toolkit. Evaluations show that CABB improves network resource allocations and increases overall throughput. The results also show that multimedia flows are better managed and controlled, thereby improving perceived QoS and avoiding possible congestion in core routers.

关键词： Environmental management Quality of service Diffserv networks Resource management Bandwidth Application software IP networks Content management Communication system traffic control Multiprotocol label switching

来源：评论

学校读者我要写书评

暂无评论

A case study using the round-trip strategy for state-based class testing

A case study using the round-trip strategy for state-based c...

引用

International Symposium on software Reliability engineering (ISSRE)

作者： G. Antoniol L.C. Briand M. Di Penta Y. Labiche Research Centre On Software Technology Department of Engineering University of Sannio Benevento Italy Software Quality Engineering Laboratory Systems and Computer Engineering Carleton University Ottawa ONT Canada

A number of strategies have been proposed for state-based class testing. An important proposal made by Chow (1978), that was subsequently adapted by Binder (1999), consists in deriving test sequences covering all round-trip paths in a finite state machine (FSMs). Based on a number of (rather strong) assumptions, and for traditional FSMs, it can be demonstrated that all operation and transfer errors in the implementation can be uncovered. Through experimentation, this paper investigates this strategy when used in the context of UML statecharts. Based on a set of mutation operators proposed for object-oriented code we seed a significant number of faults in an implementation of a specific container class. We then investigate the effectiveness of four test teams at uncovering faults, based on the round-trip path strategy, and analyze the faults that seem to be difficult to detect. Our main conclusion is that the round-trip path strategy is reasonably effective at detecting faults (87% average as opposed to 69% for size-equivalent, random test cases) but that a significant number of faults can only exhibit a high detection probability by augmenting the round-trip strategy with a traditional black-box strategy such as category-partition testing. This increases the number of test cases to run -and therefore the cost of testing- and a cost-benefit analysis weighting the increase of testing effort and the likely gain in fault detection is necessary.

关键词： computer aided software engineering Fault detection software testing Unified modeling language Proposals Containers Costs software quality Automata Genetic mutations

来源：评论

学校读者我要写书评

暂无评论

Comparisons of error control techniques for wireless video multicasting

Comparisons of error control techniques for wireless video m...

引用

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：