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

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

来源：评论

学校读者我要写书评

暂无评论

IWIM semantics via fibred automata

IWIM semantics via fibred automata

引用

Formal Methods and Component Interaction (ICALP 2002 Satllite Workshop)

作者： Banach, R. Arbab, F. Papadopoulos, G.A. Glauert, J.R.W. Computer Science Department Manchester University Manchester M13 9PL United Kingdom Software Engineering Department CWI Kruislaan 413 1098 SJ Amsterdam Netherlands Computer Science Department University of Cyprus 75 Kallipoleos St. Nicosia Cyprus School of Information Systems University of East Anglia Norwich NR4 7TJ United Kingdom

Coordination programming helps to separate concerns in the programming of the coordination activities in complex applications software. It separates the development, verification, maintenance, and reuse of the coordination and communication protocols, from the development of the rest of the application;coincidentally making these entities into standalone products. The IWIM coordination model is briefly reviewed, and a formal automata theoretic version of the model is developed, capturing the essentials of the framework in a fibration based approach. Specifically, families of worker automata have their communication governed by a state of a manager automaton, whose transitions correspond to reconfigurations. © 2002 Published by Elsevier science B. V.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

A Working Model for Real-time Interactive Distance Education Support systems

引用

International Journal of computer Processing of languages 2002年第1期15卷 19-31页

作者： AIGUO HE ZIXUE CHENG AKIO KOYAMA TONG JUN HUANG JEROLD A. DEHART YUE ZHAO Core and Information Technology Center The University of Aizu Japan Department of Computer Software The University of Aizu Japan Information Systems and Technology Center The University of Aizu Japan Center for Language Research The University of Aizu Japan Department of Computer Science Hiroshima Kokusai Gakuin University Japan

In Japan, most of the real time distance learning systems constructed over JGN (Japan Gigabit Network) are simple applications of video conference system equipped with high-quality audio/video transmission equipment. Such systems are not modeled to add distance educational support such as real time floor control, and are insufficient and inefficient to perform real time distance lecture or seminar when the number of sites get larger. This paper proposes a Working Model for distributed computer systems supporting real-time interactive distance lectures or seminars over JGN. As an application of the working model, functions for floor control and tele-presentation were discussed. The utility of the proposed working model was confirmed with an experimental system.

关键词： JGN Distance Education System Real time and Interactive

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Reducing pronunciation lexicon confusion and using more data without phonetic transcription for pronunciation modeling 7

Reducing pronunciation lexicon confusion and using more data...

引用

7th International Conference on Spoken language Processing, ICSLP 2002

作者： Zheng, Fang Song, Zhanjiang Fung, Pascale Byrne, William Center of Speech Technology State Key Lab of Intelligent Technology and Systems Department of Computer Science and Technology Tsinghua Univ. Beijing100084 China Department of Electrical and Electronic Engineering Hong Kong Univ. of Science and Technology Hong Kong Center for Language and Speech Processing Johns Hopkins Univ. United States Beijing D-Ear Technologies Co. Ltd. China

The multiple-pronunciation lexicon (MPL) is very important to model the pronunciation variations for spontaneous speech recognition. But the introduction of MPL brings out two problems. First, the MPL will increase the among-lexicon confusion and degrade the recognizer's performance. Second, the MPL needs more data with phonetic transcription so as to cover as many surface forms as possible. Accordingly, two solutions are proposed, they are the context-dependent weighting method and the iterative forced-alignment based transcription method. The use of them can compensate what the MPL causes and improve the overall performance. Experiments across a naturally spontaneous speech database show that the proposed methods are effective and better than other methods.

关键词： Iterative methods

来源：评论

学校读者我要写书评

暂无评论

Elective participation in ad hoc networks based on energy consumption

Elective participation in ad hoc networks based on energy co...

引用

IEEE Conference and Exhibition on Global Telecommunications (GLOBECOM)

作者： M.R. Pearlman Jing Deng B. Liang Z.J. Haas New York State Center for Advanced Technology in Computer Applications and Software Engineering (CASE) and the Center for Systems Assume Department of Electrical Engineering and Computer Science (EECS) Syracuse University Syracuse NY USA School of Electrical and Computer Engineering Cornell University Ithaca NY USA Department of Electrical and Computer Engineering University of Toronto Toronto ONT Canada

In ad hoc networks, each node utilizes its limited resources to carry out the collective operation of the network. It is not always in the best interests of the network's nodes to demand the continuous participation of all nodes in the network operations. We propose an energy dependent participation (EDP) scheme, where a node periodically re-evaluates its participation in the network based on the residual energy in its battery. More importantly, a node gives special consideration to supporting the communication needs of its active network applications and preventing further network partitioning. EDP's localized partition checking algorithm is particularly well suited for the zone routing protocol, where the link-state information is proactively maintained within each node's local zone and routes to faraway nodes are reactively obtained via global queries. Through simulations, we evaluate the impact of our proposed scheme on battery life and network connectivity. Our results suggest that the EDP scheme can increase the usable lifetime of a battery-constraint ad hoc network by over 50%.

关键词： Intelligent networks Energy consumption Ad hoc networks Batteries Routing protocols Power engineering and energy Radio transceivers Mobile communication Broadcasting computer networks

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

Annual Hawaii International Conference on System sciences (HICSS)

作者： A. Hevner R. Linger A. Sobel G. Walton Information Systems & Decision Sciences Department University of South Florida Tampa FL USA CERT Coordination Center Software Engineering Institute Carnegie Mellon University Pittsburgh PA USA Computer Science & Systems Analysis Department Miami University Oxford OH USA School of Electrical Engineering & Computer Science University of Central Florida Orlando FL USA

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.

关键词： Large-scale systems Adaptive systems Control systems Programmable control Adaptive control Management information systems Power system reliability Information systems computer science Centralized control

来源：评论

学校读者我要写书评

暂无评论

Semantic anomaly detection in online data sources

Semantic anomaly detection in online data sources

引用

International Conference on software engineering (ICSE)

作者： O. Raz P. Koopman M. Shaw Institute for Software Engineering International School of Computer Science Carnegie Mellon University Pittsburgh PA USA Institute for Complex Engineered Systems ECE Department Carnegie Mellon University Pittsburgh PA USA

Much of the software we use for everyday purposes incorporates elements developed and maintained by someone other than the developer. These elements include not only code and databases but also dynamic data feeds from online data sources. Although everyday software is not mission critical, it must be dependable enough for practical use. This is limited by the dependability of the incorporated elements. It is particularly difficult to evaluate the dependability of dynamic data feeds, because they may be changed by their proprietors as they are used. Further, the specifications of these data feeds are often even sketchier than the specifications of software components. We demonstrate a method of inferring invariants about the normal behavior of dynamic data feeds. We use these invariants as proxies for specifications to perform on-going detection of anomalies in the data feed. We show the feasibility of our approach and demonstrate its usefulness for semantic anomaly detection: identifying occasions when a dynamic data feed is delivering unreasonable values, even though its behavior may be superficially acceptable (i.e., it is delivering parsable results in a timely fashion).

关键词： Feeds Weather forecasting systems engineering and theory computer science Databases Permission software engineering software maintenance Cardiac arrest Portfolios

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：