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

2008 International Conference on software engineering Research and Practice, SERP 2008

作者： Kroeger, Trent Shu, Fengdi Qin, Shaowen Defence and Systems Institute University of South Australia Adelaide SA Australia Laboratory for Internet Software Technologies Institute of Software Chinese Academy of Sciences Beijing China School of Computer Science Engineering and Mathematics Flinders University Adelaide SA Australia

ISBN: (纸本)1601320884

Approaches to software process development that are based on the principles and practices of software engineering have been advocated by many researchers as a means to produce software processes that meet the needs of process users. Such approaches require methodical and repeatable verification and validation techniques that enable effective and efficient identification, analysis and correction of software process defects. Defect classification schemes have proven to be effective for characterizing and improving the quality of software products. It is reasonable, therefore, to suggest that a similar scheme for the classification of process defects may provide comparable support to those performing software process engineering activities. This paper proposes a defect typology that can be used to classify software process defects as definition, asset, context or documentation problems. The paper then discusses potential applications of the typology to software process verification and validation and concludes by suggesting areas for further research.

关键词： Defects

来源：评论

学校读者我要写书评

暂无评论

Covert channel mitigation method for secure real-time database using capacity metric

引用

Tongxin Xuebao/Journal on Communications 2008年第8期29卷 46-56页

作者： Zeng, Hai-Tao Wang, Yong-Ji Ruan, Li Zu, W. Cai, Jia-Yong Lab for Internet Software Technology Institute of Software Chinese Academy of Science Beijing 100190 China Key Laboratory for Computer Science Chinese Academy of Sciences Beijing 100190 China Graduate University Chinese Academy of Sciences Beijing 100049 China National Engineering Research Center for Fundamental Software Institute of Software Chinese Academy of Science Beijing 100190 China Integrate Information System Research Center Institute of Automation Chinese Academy of Science Beijing 100190 China

A capacity using covert channel mitigation method (CUCCMM) was proposed. This method uses capacity as metric for channel danger measure according to trusted computer system evaluation criteria (TCSEC) and multiple probabilities based protocol selection policy (MPBPSP) to guide die application of secure concurrency control protocol. The algorithms of channel's capacity measure and policy's parameter computing are also presented. Experimental results show that CUCCMM implements the restriction criterion on channel's capacity effectively and accurately, and the MPBPSP significantly decreases the influence of restriction operation on real-time performance.

关键词： Concurrency control

来源：评论

学校读者我要写书评

暂无评论

一种基于粒子的牛顿流体与粘弹性流体统一模拟方法

一种基于粒子的牛顿流体与粘弹性流体统一模拟方法

引用

第六届智能CAD与数字娱乐学术会议

作者： Chang Yuanzhang 常元章 Liu Youquan 柳有权 Bao Kai 鲍凯 Zhu Jian 朱鉴 Wu Enhua 吴恩华中国科学院软件研究所计算机科学国家重点实验室北京 100190 School of Information Engineering Chang'an University Xi'an 710064 China 澳门大学科技学院电脑与资讯科学系澳门 State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing 100190 China Department of Computer and Information Science University of Macau Macao China 长安大学信息工程学院西安710064

在越来越受到人们关注的基于物理流体的动画领域中，目前分别模拟牛顿流体或粘弹性流体的方法很多，但很少有统一模拟两者的方法。文中基于光滑粒子流体的动力学方法，通过对传统纳维-斯托克斯方程添加弹性应力项，提出了一种新的统一... 详细信息

在越来越受到人们关注的基于物理流体的动画领域中，目前分别模拟牛顿流体或粘弹性流体的方法很多，但很少有统一模拟两者的方法。文中基于光滑粒子流体的动力学方法，通过对传统纳维-斯托克斯方程添加弹性应力项，提出了一种新的统一模拟牛顿流体和粘弹性流体的方法。通过实验说明本方法不仅有效，易于实现，而且具有良好的可控性，仅仅通过调节参数就可以模拟不同粘弹性、不同类型的流体现象。

关键词：计算机图形学光滑粒子流体动力学牛顿流体粘弹性流体纳维-斯托克斯方程弹性应力

来源：评论

学校读者我要写书评

暂无评论

Approximate calculation of Si-OH SiO2 on Si surface by LDA and GGA method

引用

Shenzhen Daxue Xuebao (Ligong Ban)/Journal of Shenzhen University science and engineering 2008年第2期25卷 187-191页

作者： Yang, Chun Liao, Zi-Yi Yu, Yi Zhou, Ming-Xiu Yu, Wei-Fei Huang, Hui Key Laboratory of Computer Software Science Sichuan Normal University Chengdu 610068 China College of Chemistry and Material Science Chengdu 610068 China China Academy of Engineering Physics Mianyang 621000 China

Two models have been built on 2 × 1 Si (001) surfaces whose structures are Si-OH and Si-O-Si oxygenic bridge. The system energies and surface structures are comparatively calculated by generalized gradient approximation (GGA) and local density approximation (LDA), based on density functional theory (DFT) in k-point space with periodic boundary condition. After analysis of the calculation data in comparison with the experiment data, it is concluded that using GGA method is more suitable than LDA to calculate the surface structure of Si compound materials.

关键词： Porous silicon

来源：评论

学校读者我要写书评

暂无评论

Semantic Load Shedding over Real-Time Data Streams

Semantic Load Shedding over Real-Time Data Streams

引用

International Symposium on Computational Intelligence and Design, ISCID

作者： Li Ma Qiongsheng Zhang Kun Wang Xin Li Hongan Wang School of Computer Science and Communication Engineering China University of Petroleum China Institute of Software Chinese Academy and Sciences China

When streams rates exceed the system capacity, a data stream management system (DSMS) becomes overloaded and fails to satisfy all kinds of requirements, such as tuple latency and result precision. Especially, in a time-critical environment, queries should be completed not just timely but within certain deadlines. Semantic load shedding is an effective approach to alleviate workloads. In order to improve the efficiency of load shedding over real-time data streams, we present a semantic and flexible load shedding algorithm based on priority table (SLS-PT) which considers about execution costs and tuples' values together when deciding which tuples are dropped.

关键词： Query processing Costs Delay Computational intelligence computer science Data engineering Design engineering Petroleum Fires Feedback control

来源：评论

学校读者我要写书评

暂无评论

CoCoME in SOFA

CoCoME in SOFA

引用

作者： Bureš, Tomáš Decký, Martin Hnetynka, Petr Kofron, Jan Parízek, Pavel Plášil, František Poch, Tomáš Šerý, Ondrej Tuma, Petr Department of Software Engineering Faculty of Mathematics and Physics Charles University Malostranské námestí 25 Prague 1 11800 Czech Republic Institute of Computer Science Academy of Sciences of the Czech Republic Pod Vodárenskou vezí Prague 8 18000 Czech Republic

ISBN: (纸本)3540852883

This chapter presents our solution to the CoCoME assignment that is based on the SOFA 2.0 (software Appliances) hierarchical component model. The solution involves (i) modeling architecture in SOFA meta-model, (ii) speci fication of component behavior via extended behavior protocols, (iii) checking behavior compliance of components, (iv) verification of correspondence be tween selected component Java code and behavior specification, (v) deploy ment to SOFA run-time envi ronment (using connectors that support RMI and JMS), and (vi) modeling of performance and resource usage via layered queue ing networks. We faced sev eral issues during implementation of the CoCoME assignment in SOFA 2.0. Most notably, the architecture was modified in order to improve clarity of the design - in particular, the hierarchical bus was re placed by two separate buses and the Inventory component was restructured. Extended behavior protocols for all the components are based on the provided plain-English use cases, the UML sequence diagrams, and the reference Java implementation (the assignment does not include a complete UML behavior specification e.g. via activity dia grams and state charts). © 2008 Springer-Verlag Berlin Heidelberg.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Considering Data-Mining Techniques in User Preference Learning

Considering Data-Mining Techniques in User Preference Learni...

引用

IEEE WIC ACM International Conference on Web Intelligence (WI)

作者： Peter Vojtas Alan Eckhardt Univerzita Karlova Praha CZ Institute of Computer Science Academy of Sciences슠of the슠Czech Republic Czech Republic Czech Academy of Science Institute of Computer Science Department of Software Engineering Charles University in Prague Czech Republic

In this paper we deal with the problem of learning user preferences from userpsilas scoring of a small sample of objects with labels from a very small linearly ordered set. The main task of this process is to use these preferences for a top-k query, which delivers the user with an ordered list of k highest ranked objects. We deal with a problem of many ties in the highest score. Two algorithms for learning objective and utility functions are presented. We experiment and compare them to some classical data-mining methods. We use several measures (RMSE and rank correlations ...) to evaluate efficiency of these methods.

关键词： Intelligent agent software engineering computer science Testing Learning systems Data mining Abstracts Human computer interaction

来源：评论

学校读者我要写书评

暂无评论

CoCoTA - Common component task

CoCoTA - Common component task

引用

作者： Mirandola, Raffaela Plášil, František Politecnico di Milano Piazza Leonardo Da Vinci 32 20133 Milano Italy Charles University in Prague Faculty of Mathematics and Physics Department of Software Engineering Malostranske namesti 25 118 00 Prague 1 Czech Republic Academy of Sciences of the Czech Republic Institute of Computer Science

ISBN: (纸本)3540852883

This chapter overviews the scope, goals and timeline of the modeling contest CoCoME. It also describes the input the competing teams received and, furthermore, explains how the peer reviewing process went ahead, and how the evaluation criteria were set with the aim to balance the inherently heterogeneous modeling and expressive power of different component models. © 2008 Springer-Verlag Berlin Heidelberg.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

An Approach to Handle Overload in Real-Time Data Stream Management System

An Approach to Handle Overload in Real-Time Data Stream Mana...

引用

International Conference on Fuzzy Systems and Knowledge Discovery (FSKD)

作者： Li Ma Xin Li Yongyan Wang Hong-an Wang School of Computer Science and Communication Engineering China University of Petroleum Dongying China Institute of Software Chinese Academy and Sciences Beijing China Chinese Academy of Sciences Beijing China Department of Computer Science and Technology Shandong University Jinan China

Load shedding is a challengeable issue in data stream management systems (DSMSs). When data stream rates exceed system capacity, the overloaded DSMS fails to process all of its input data and keep up with the rate of data arrival. Especially, in a time-critical environment, queries should be completed not just timely but within certain deadlines. Existing strategies are poor at handling huge fluctuant overload with deadline. In this paper, an Effective Deadline-Aware Random Load Shedding algorithm (named RLS-EDA) is proposed to handle real-time system overload effectively. The RLS-EDA algorithm can make full use of the system idle time by buffering dropped tuples which would have opportunities to be executed when the workload is fade. Experiment results show that our algorithm can reduce average deadline miss ratio and increase system throughput during the period of huge workload fluctuations.

关键词： Real time systems Throughput Conference management Knowledge management Technology management engineering management computer science Data engineering Time factors Fluctuations

来源：评论

学校读者我要写书评

暂无评论

CoCoME in fractal

CoCoME in fractal

引用

作者： Bulej, Lubomír Bureš, Tomáš Coupaye, Thierry Decký, Martin Jezek, Pavel Parízek, Pavel Plášil, František Poch, Tomáš Rivierre, Nicolas Šerý, Ondrej Tuma, Petr Department of Software Engineering Faculty of Mathematics and Physics Charles University Malostranské námestí 25 Prague 1 11800 Czech Republic Institute of Computer Science Academy of Sciences of the Czech Republic Pod Vodárenskou vezí Prague 8 18000 Czech Republic France Telecom R and D Issy les Moulineaux France

ISBN: (纸本)3540852883

This chapter presents our solution to the CoCoME assignment that is based on the Fractal component model. The solution involves (i) modeling architecture in Fractal ADL, (ii) specification of component behavior via behavior protocols, (iii) checking compatibility of components, (iv) verification of correspondence between component code and behavior specification, and (v) run-time monitoring of non-functional properties. Among the issues we have faced was the need to modify the architecture - the component hierarchy was reorganized in order to improve clarity of the design and the hierarchical bus was split into two independent buses. These were modeled by primitive components, since Fractal does not support message bus as a first-class entity. Since the CoCoME assignment does not include a complete UML behavior specification (e.g. via activity diagrams and state charts), behavior protocols for all the components are based on the provided plain-English use cases, the UML sequence diagrams, and the reference Java implementation. © 2008 Springer-Verlag Berlin Heidelberg.

关键词： Fractals

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：