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

10th IEEE International Symposium on High Assurance systems engineering

作者： Salamah, Salamah Gates, Ann Q. Kreinovich, Vladik Roach, Steve Dept. Comp and Software Engineering Embry-Riddle Aeronautical Univ. Computer Science Dept. University of Texas El Paso United States

ISBN: (纸本)9780769530437

The use of property classifications and patterns, i.e., high-level abstractions that describe common behavior have been shown to assist practitioners in generating formal specifications that can be used informal verification techniques. The Specification Pattern System (SPS) provides descriptions of a collection of patterns. The extent of program execution over which a pattern must hold is described by the notion of scope. SPS provides a manual technique for obtaining formal specifications from a pattern and a scope. The Property Specification Tool (Prospec) extends SPS by introducing Composite Propositions (CPs), a classification for defining sequential and concurrent behavior to represent pattern and scope parameters, and provides a tool to support users. This work provides general templates for generating formal specifications in Linear Temporal Logic (LTL) for all pattern, scope, and CP combinations. In addition, the work explains the methodology for the verification of the correctness of these templates.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

Rough set based document ranking system

Rough set based document ranking system

引用

2007 International Conference on Artificial Intelligence and Pattern Recognition, AIPR 2007

作者： Thammi Reddy, K. Shashi, M. Pratap Reddy, L. Dept of Computer Science and Engineering GITAM Visakhapatnam India Dept. of Computer Science and Systems Engineering Andhra University Visakhapatnam India Dept. of Electronics and Communications Engineering JNTU Hyderabad India

ISBN: (纸本)9781615677214

Information Retrieval systems used in digital libraries need to find the extent of similarity between a pair of text documents for providing access to topically relevant documents on one hand and for identifying document replication on the other hand. In this paper the details of a Rough Set based Document Ranking system (RSDRS) developed by the authors are presented. The terms associated with related concepts are grouped together to form equivalence classes by clustering the terms of the vocabulary. The query passage and the documents are represented as rough sets using these equivalence classes of terms and further partitioned into families of rough sets in higher level approximation spaces which impose partial ordering on the families of documents with reference to the query passage. Documents falling in the same family are ordered in accordance with their similarity to the query to form the relevance ranking of the documents. The performance of the RSDRS is analyzed using Average Precision metric by computing the precision at different positions in the ranking list.

关键词： Digital libraries

来源：评论

学校读者我要写书评

暂无评论

Multi-Scale Distributed Port-Hamiltonian Representation of Ionic Polymer-Metal Composite

引用

IFAC Proceedings Volumes 2008年第2期41卷 2300-2305页

作者： Gou Nishida Kentaro Takagi Bernhard Maschke Zhi-wei Luo RIKEN(The Institute of Physical and Chemical Research) Bio-Mimetic Control Research Center Environment Adaptive Robotic Systems Lab. 2271-130 Anagahora Shimoshidami Moriyama-ku Nagoya Aichi 463-0003 Japan Dept. of Mechanical Science and Engineering Graduate School of Engineering Nagoya University Furo-cho Chikusa-ku Nagoya 464-8603 JAPAN Université Claude Bernard Lyon-1 CPE Lyon - Bâtiment 308 G UCB Lyon 1 - UFR Génie Electrique et des Procédés - CNRS UMR 5007 Laboratoire d'Automatique et de Génie des Procédés 43 bd du 11 Novembre 1918 F-69622 Villeurbanne cedex France Department of Computer and Systems Engineering Kobe University 1-1 Rokkodai Nada-ku Kobe Hyogo 657-8501 JAPAN / RIKEN BMC

This paper shows that one of soft actuators, Ionic Polymer-Metal Composite (IPMC) can be modeled in terms of distributed port-Hamiltonian systems with multi-scale. The physical structure of IPMC consists of three parts. The first part is an electric double layer at the interface between the polymer and the metal electrodes. The frequency response of the polymer-metal interface shows a fractal degree of gain slope. Then we adopt a black-box circuit model to this part and give considerations for distributed impedance parameters. The second part is an electrostress diffusion coupling model with bending and relaxation dynamics. This part is represented by an electro-osmosis, which is a water transport by an electric field, and a streaming potential, which is an electric field created by a water transport. We discuss the relationship of stress and bending moment induced by swelling. The third part is a mechanical system modeled as a flexible beam with large deformations. The representation has the capability extracting the control structure based on passivity from distributed parameter systems possessing a complex behavior.

关键词： Modeling Design methodologies

来源：评论

学校读者我要写书评

暂无评论

Bowl championship series vulnerability analysis 07

Bowl championship series vulnerability analysis

引用

4th Richard Tapia Celebration of Diversity in Computing Conference 2007

作者： Soares, Caio Page, George MacDonald, Jonathan Baskiyar, Sanjeev Hamilton Jr., John Dozier, Gerry Dept. of Computer Science and Software Engineering Auburn University AL 36849 Dept. of Computer Science North Carolina A and T State University Greensboro NC 27411

ISBN: (纸本)9781595938664

The Bowl Championship Series (BCS) is the system used to select the top two college football teams to play in a championship game at the end of a season. During the nine seasons played under the BCS, few have not caused considerable debate and controversy. We believe that an analysis of the BCS and its components is therefore required. This work uses a GRNN to model the eight polls that compose the ranking system of the BCS. Then, a genetic algorithm (GA) is used to evolve season schedules that would perform poorly under the current BCS. These difficult seasons are then analyzed to highlight weaknesses in the current model. © 2007 ACM.

关键词： Interactive computer systems

来源：评论

学校读者我要写书评

暂无评论

A large-scale and decentralized infrastructure for content-based publish/subscribe services

A large-scale and decentralized infrastructure for content-b...

引用

36th International Conference on Parallel Processing in Xi'an, ICPP

作者： Yang, Xiaoyu Zhu, Yingwu Hu, Yiming Dept. of Electrical and Computer Engineering University of Cincinnati Cincinnati OH 45221 United States Dept. of Computer Science and Software Engineering Seattle University Seattle MA 98122 United States

ISBN: (纸本)076952933X

Publish/Subscribe model has become a prevalent paradigm for building distributed event delivering systems. Content-based publish/subscribe allows high expresses in subscriptions and thus is more appropriate for content dissemination. However, the scalability has remained a challenge in the design of distributed content-based publish/subscribe systems due to the expensive matching and delivering cost of content-based events. In this paper we propose HyperSub, an infrastructure built on top of distributed hash table (DHT) for efficient content-based data distribution. Based on efficient subscription installation, event publication and event delivery mechanisms, HyperSub can provide a scalable platform to simultaneously support any numbers of pub/sub schemes with different number of attributes. There are three key features in the design of HyperSub: (1) a locality-preserving hashing mechanism which partitions the content space into content zones. Subscriptions and events are mapped to the content zones for efficiently matching;(2) an efficient event delivery algorithm which exploits the embedded trees in the underlying DHT to deliver events to the corresponding subscribers;(3) light-weighted load balancing mechanisms to adjust the load among peers and ensure that no peer is unduly loaded. © 2007 IEEE.

关键词： Trees (mathematics)

来源：评论

学校读者我要写书评

暂无评论

AutoPaG: Towards automated software patch generation with source code root cause identification and repair 07

AutoPaG: Towards automated software patch generation with so...

引用

2nd ACM Symposium on Information, computer and Communications Security, ASIACCS '07

作者： Lin, Zhiqiang Jiang, Xuxian Xu, Dongyan Mao, Bing Xie, Li Dept. of Computer Science Nanjing University China Dept. of Information and Software Engineering George Mason University United States CERIAS Dept. of Computer Science Purdue University United States

ISBN: (纸本)1595935746

software patch generation is a critical phase in the life-cycle of a software vulnerability. The longer it takes to generate a patch, the higher the risk a vulnerable system needs to take to avoid from being compromised. However, in practice, it is a rather lengthy process to generate and release software patches. For example, the analysis on 10 recent Microsoft patches (MS06-045 to MS06-054) shows that, for an identified vulnerability, it took 75 days on average to generate and release the patch. In this paper, we present the design, implementation, and evaluation of AutoPaG, a system that aims at reducing the time needed for software patch generation. In our current work, we mainly focus on a common and serious type of software vulnerability: the out-of-bound vulnerability which includes buffer overflows and general boundary condition errors. Given a working out-of-bound exploit which may be previously unknown, AutoPaG is able to catch on the fly the out-of-bound violation, and then, based on data flow analysis, automatically analyzes the program source code and identifies the root cause - vulnerable source-level program statements. Furthermore, within seconds, AutoPaG generates a fine-grained source code patch to temporarily fix it without any human intervention. We have built a proof-of-concept system in Linux and the preliminary results are promising: AutoPaG is able to successfully identify the root cause and generate a source code patch within seconds for every vulnerability test in the Wilander's buffer overflow benchmark test-suite. In addition, the evaluation with a number of real-world out-of-bound exploits also demonstrates its effectiveness and practicality in automatically identifying (vulnerable) source code root causes and generating corresponding patches. Copyright 2007 ACM.

关键词： Data flow analysis

来源：评论

学校读者我要写书评

暂无评论

Fault-adaptive control for robust performance management of computing systems

Fault-adaptive control for robust performance management of ...

引用

4th International Conference on Autonomic Computing, ICAC'07

作者： Abdelwahed, Sherif Kandasamy, Nagarajan Institute for Software Integrated Systems Vanderbilt University Nashville TN United States Electrical and Computer Engineering Dept. Drexel University Philadelphia PA United States

This paper introduces a fault-adaptive control approach for the robust and reliable performance management of computing systems. Fault adaptation involves the detection and isolation of faults, and then taking appropr... 详细信息

ISBN: (纸本)0769527795

关键词： Fault tolerant computer systems

来源：评论

学校读者我要写书评

暂无评论

Digital speed control of multi-inertia resonant system using real time simulator

Digital speed control of multi-inertia resonant system using...

引用

International Conference on Electrical Machines and systems

作者： Ikeda, Hidehiro Hanamoto, Tsuyoshi Tsuji, Teruo Dept. of Electrical Electronics and Computer Engineering Nishi-Nippon Institute of Technology Japan Graduate School of Life Science and Systems Engineering Kyushu Institute of Technology Japan Dept. of Information and Systems Engineering Fukuoka Institute of Technology Japan

ISBN: (纸本)9788986510089

In this paper, a robust vibration suppression control method for a multi-inertia (a three-inertia and a four-inertia) system by a digital modified-IPD controller is proposed. The controller consists of integral, proportional, derivative and time lag of first order element. We apply the Taguchi Method for the determination of the controller gains for several noise factors (load side inertias and stiffness of the shafts). To confirm the effectiveness of the controller structure with several conditions and the tuning method, we use a real-time simulator based on a RTLinux.

关键词： 3-intertia system 4-inertia system digital modified-IPD (m-IPD) controller Taguchi Method real-time simulator

来源：评论

学校读者我要写书评

暂无评论

What can OSS mailing lists tell us? A preliminary psychometric text analysis of the Apache developer mailing list

What can OSS mailing lists tell us? A preliminary psychometr...

引用

ICSE 2007 Workshops: Fourth International Workshop on Mining software Repositories, MSR 2007

作者： Rigby, Peter C. Hassan, Ahmed E. Software Engineering Group University of Victoria BC Canada Dept. of Electrical and Computer Engineering University of Victoria BC Canada

ISBN: (纸本)076952950X

Developer mailing lists are a rich source of information about Open Source software (OSS) development. The unstructured nature of email makes extracting information difficult. We use a psychometrically-based linguistic analysis tool, the LIWC, to examine the Apache httpd server developer mailing list. We conduct three preliminary experiments to assess the appropriateness of this tool for information extraction from mailing lists. First, using LIWC dimensions that are correlated with the big five personality traits, we assess the personality of four top developers against a baseline for the entire mailing list. The two developers that were responsible for the major Apache releases had similar personalities. Their personalities were different from the baseline and the other developers. Second, the first and last 50 emails for two top developers who have left the project are examined. The analysis shows promise in understanding why developers join and leave a project. Third, we examine word usage on the mailing list for two major Apache releases. The differences may reflect the relative success of each release. © 2007 IEEE.

关键词： Open systems

来源：评论

学校读者我要写书评

暂无评论

Call server clusters for telecommunication switches

Call server clusters for telecommunication switches

引用

International Symposium on Performance Evaluation of computer and Telecommunication systems 2007, SPECTS 2007, Part of the 2007 Summer Simulation Multiconference, SummerSim 2007

作者： Sun, Bing Majumdar, Shikharesh Kopec, Gerald Dept. of Systems and Computer Engineering Carleton University Ottawa Canada Nortel Ottawa Canada

ISBN: (纸本)9781622763559

This paper proposes to use a cluster of call servers for switching calls on a telecommunication switch. Using a call server cluster has a number of advantages that includes enhanced reliability and performance. When a call is generated, it is necessary to determine which call server in the cluster is to switch the call. In this paper we have introduced three call server selection strategies that are based on call characteristics. Using a simulation model the performance of these strategies is analyzed. A number of insights that capture the impact of system and workload parameters on performance is discussed.

关键词： Call processing Call server clusters Call servers High performance call servers Telecommunication servers

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：