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

IEEE International Conference on Web Services (ICWS)

作者： S. Yoshihama T. Ebringer M. Nakamura S. Munetoh H. Maruyama Tokyo Research Laboratory IBM Yamato Kanagawa Japan Department of Computer Science and Software Engineering University of Melbourne Australia

This paper proposes WS-attestation, attestation architecture on Web services framework. We aim at providing software oriented, dynamic and fine-grained attestation mechanism that leverages TCG technologies to increase trust and confidence in integrity reporting. In addition, the architecture allows efficient binding of attestation with application context, privacy protection, as well as infrastructural support for attestation validation.

关键词： Web services computer architecture Protection Service oriented architecture Application software Information security software measurement Operating systems Laboratories computer science

来源：评论

学校读者我要写书评

暂无评论

Generating unit test sequences for aspect-oriented programs: towards a formal approach using UML state diagrams

Generating unit test sequences for aspect-oriented programs:...

引用

ITI International Conference on Information and Communications Technology (ICICT)

作者： M. Badri L. Badri M. Bourque-Fortin Software Engineering Research Laboratory Department of Miathematics and Computer Science University of Quebec Trois-Rivières Trois-Rivieres QUE Canada

Aspect-oriented programming is an emerging software engineering paradigm that improves separation of crosscutting concerns in a program. Existing object-oriented programming languages suffer from a serious limitation in modularizing adequately crosscutting concerns. Many concerns crosscut several classes in an object-oriented system. However, in spite of the many claimed benefits that the aspect paradigm seems to be offering, it remains clear that it is not yet mature. Aspect technology introduces, in fact, new dimensions in terms of control and complexity. Moreover, aspects have great latitude to interact with basic classes of a system. Those interactions constitute a new source for faults in a program. Existing object-oriented testing techniques are not adequate for testing aspect-oriented programs. Thus, new testing techniques must be developed for aspect-oriented programs. We present, in this paper, a new technique for aspect-oriented unit testing based on dynamic behavior. We also introduce several testing criteria. We focus on the integration of one or more aspects to a class. The proposed technique is based on UML statecharts. The primary objective is to verify that this integration is done correctly, without modifying the original behavior of the basic class

关键词： Unified modeling language software testing software engineering Object oriented programming Scattering Laboratories computer science Java Collaborative work

来源：评论

学校读者我要写书评

暂无评论

Analog complex wavelet filters

Analog complex wavelet filters

引用

IEEE International Symposium on Circuits and Systems (ISCAS)

作者： S.A.P. Haddad J.M.H. Karel R.L.M. Peeters R.L. Westra W.A. Serdijn Electronics Research Laboratory Faculty of Electrical Engineering Mathematics and Computer Science Delft University of Technnology Delft Netherlands Department of Mathematics University of Maastricht Maastricht Netherlands

This paper presents an analog implementation of the complex wavelet transform using both the complex first order system (CFOS) and the Pade approximation. The complex wavelet filter design is based on the combination of the real and the imaginary state-space descriptions that implement the respective transfer functions. In other words, a complex filter is implemented by an ordinary state-space structure for the real part and an extra C matrix for the imaginary part. Several complex wavelets, such as Gabor, Gaussian and Morlet complex wavelets, are obtained and simulations demonstrate excellent approximations to the ideal wavelets.

关键词： Wavelet transforms Filters mathematics Transfer functions Signal analysis Laboratories computer science Signal detection Wavelet analysis Information analysis

来源：评论

学校读者我要写书评

暂无评论

Transient growth: Experiments, DNS and theory

Transient growth: Experiments, DNS and theory

引用

4th International Symposium on Turbulence and Shear Flow Phenomena, TSFP 4

作者： Ergin, F. Gökhan Choudhari, Meelan Fischer, Paul Tumin, Anatoli Mechanical and Aerospace Engineering Department Case Western Reserve University Cleveland OH 44106 United States Computational Modelling and Simulation Branch NASA Langley Research Center Hampton VA 23681 United States Mathematics and Computer Science Division Argonne National Laboratory Argonne IL 60439 United States Department of Aerospace and Mechanical Engineering University of Arizona Tucson AZ 85721 United States

Transient growth of linearly stable disturbances is believed to play an important role in the subcritical transition of laminar boundary layers and the self-sustained nature of boundary layer fluctuations in a fully turbulent flow. Prior work on transient growth has focused on identifying the optimum initial disturbances that result in maximum transient growth. This paper addresses the companion issue of receptivity of those disturbances, the mechanism that determines the actual magnitudes of transient growth that are realized in a given physical situation. A synergistic combination of experimental, computational, and theoretical approaches is used to quantify the flow receptivity to surface roughness in a Blasius boundary layer. Results reveal the non-optimality of the transient growth factors involved as well as the sensitive dependence of flow perturbations to the geometric characteristics of the roughness distribution. Direct numerical simulations (DNS) are compared in detail with experimental results, results obtained from linear receptivity theory and optimal disturbance calculations. DNS shows good agreement with the experimental results. Differences between the linear theory and DNS are attributed to nonlinear receptivity mechanisms. Results also support the proposal by Fransson et al. (2004) that disagreement between optimal disturbances and experiments/DNS may be attributed to differences involving the wall normal location of the streamwise vortex initiating the transient growth.

关键词： Laminar boundary layer

来源：评论

学校读者我要写书评

暂无评论

Automated detection of performance regressions: the mono experience

Automated detection of performance regressions: the mono exp...

引用

International Symposium on Modeling, Analysis and Simulation of computer and Telecommunication Systems (MASCOTS)

作者： T. Kalibera L. Bulej P. Tuma Distributed Systems Research Group Department of Software Engineering Faculty of Mathematics and Physics Charles University Prague Czech Republic Institute of Computer Science Academy of Sciences of Czech Republic Czech Republic

engineering a large software project involves tracking the impact of development and maintenance changes on the software performance. An approach for tracking the impact is regression benchmarking, which involves automated benchmarking and evaluation of performance at regular intervals. Regression benchmarking must tackle the nondeterminism inherent to contemporary computer systems and execution environments and the impact of the nondeterminism on the results. On the example of a fully automated regression benchmarking environment for the mono open-source project, we show how the problems associated with nondeterminism can be tackled using statistical methods.

关键词： MONOS devices Benchmark testing software performance software testing software quality Quality assurance Automatic testing Robustness Performance analysis software engineering

来源：评论

学校读者我要写书评

暂无评论

Reliability of the beamsplitter based Bell-state measurement

Reliability of the beamsplitter based Bell-state measurement

引用

Quantum Electronics and Laser science Conference (QELS)

作者： Yoon-Ho Kim W.P. Grice Department of Physics Pohang University of Science and Technology Pohang South Korea Computer Science and Mathematics Division Oak Ridge National Laboratory Center for Engineering Science Advanced Research Oak Ridge TN USA

ISBN: (纸本)1557527962

A linear 50/50 beamsplitter, together with a coincidence measurement, has been widely used in quantum optical experiments, such as teleportation, dense coding, etc., for interferometrically distinguishing, measuring, or projecting onto one of the four two-photon polarization Bell-states |/spl Psi//sup (-)/>. In this paper, we demonstrate that the coincidence measurement at the output of a beamsplitter cannot be used as an absolute identifier of the input state |/spl Psi//sup (-)/> nor as an indication that the input photons have projected to the |/spl Psi//sup (-)/> state.

关键词： Optical interferometry Nonlinear optics Quantum entanglement Optical scattering Teleportation Optical polarization Photonics Society Quantum mechanics Nonlinear optical devices Optical pumping

来源：评论

学校读者我要写书评

暂无评论

Measurement of the spectral properties of the two-photon state generated via type-II spontaneous parametric down-conversion

Measurement of the spectral properties of the two-photon sta...

引用

Quantum Electronics and Laser science Conference (QELS)

ISBN: (纸本)0819458988

We report the complete measurement of the spectral properties of photon pairs generated via spontaneous parametric down-conversion. The measurements, which include not only single-photon spectra, but also two-photon joint spectra, were performed for both cw and ultrafast pumping configurations. In agreement with theoretical predictions, the spectra for the ultrafast pumped case reveal asymmetries not present with cw pumping.

关键词： Quantum mechanics Quantum entanglement Bandwidth Polarization Frequency Nonlinear optics Optical pumping Ultrafast optics Photonics Society Photonic crystals

来源：评论

学校读者我要写书评

暂无评论

Observation of correlated-photon statistics using a single detector

Observation of correlated-photon statistics using a single d...

引用

Quantum Electronics and Laser science Conference (QELS)

ISBN: (纸本)1557527962

We report an experimental observation of correlated-photon statistics using a single detector. The usual coincidence dip in a two-photon polarization interferometer is accompanied by a dip in single-photon detection rates. Surprisingly, a dip in the singles rate is also observed when the interferometer is aligned for a coincidence peak, or anti-dip. This effect is explained by taking into account all possible photon number states that reach the detector, rather than considering just the state post-selected by the coincidence measurement.

关键词： Statistics Detectors Optical interferometry Photonics Society Nonlinear optics Optical pumping Interference Photonic crystals Physics computer science

来源：评论

学校读者我要写书评

暂无评论

Study of Multi media Streams Dynamic Rate Control Based on Fuzzy Adaptive PID

引用

The Journal of China Universities of Posts and Telecommunications 2005年第4期12卷 75-79页

作者： SUN Yan-fei ZHANG Shun-yi SHI Jin WANG Jiang-tao Jiangsu Province Engineering Research Center of Telecommunication dr Network Technology Nanjing University of Posts and TelecommunicationsNanjing 210003 P.y. China State Key Laboratory of Novel Software Technology Nanjing University Nanjing 210093 P. R. China Department of Computer Science and Technology Nanjing University of Posts and Telecommunications Nanjing 210003 P. R. China

A Multimedia streams dynamic rate control algorithm based on Fuzzy adaptive PID （MFPID） has been proposed to implement multimedia streams＇ end sending rate on-line self-regulating and smoothing, and to track system resources in time, so that it can avoid system＇s regulating oscillation and guarantee system＇s stability. And, some work has been done to analyze adaptive session model of multimedia streams, to implement future available bandwidth estimation of IP network, to achieve PID parameters＇ on-line self-tuning by fuzzy controlling. Simulation validated the theoretical results of MFPID.

关键词： multimedia transmission dynamic end sending rate PID adaptive regulating fuzzy parameter self-tuning

来源：评论

学校读者我要写书评

暂无评论

Testing and Certification of Trustworthy Systems Introduction to Minitrack

Testing and Certification of Trustworthy Systems Introductio...

引用

Annual Hawaii International Conference on System sciences (HICSS)

作者： A.R. Hevner R.C. Linger G.H. Walton Information Systems & Decision Sciences Department University of South Florida Tampa FL USA Software Engineering Institute CERT Research Center Carnegie Mellon University Pittsburgh PA USA Department of Mathematics & Computer Science Florida Southern College Lakeland FL USA

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：