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

Corrigendum: “Provably-secure electronic cash based on certicateless partially-blind signatures”

Electronic Commerce Research and Applications 2013年第1期12卷 60-60页

作者： Lei Zhang Futai Zhang Bo Qin Shubo Liu East China Normal University Software Engineering Institute Shanghai Key Laboratory of Trustworthy Computing Shanghai China Universitat Rovira i Virgili Department of Computer Engineering and Mathematics UNESCO Chair in Data Privacy Tarragona Catalonia Spain Nanjing Normal University School of Computer Science and Technology China Xi’an University of Technology School of Science Department of Maths China Wuhan University School of Computer Science Wuhan China

来源：评论

学校读者我要写书评

暂无评论

Enhancing the system development process performance: A value-based approach

Enhancing the system development process performance: A valu...

引用

22nd Annual International Symposium of the International Council on systems engineering, INCOSE 2012 and the 8th Biennial European systems engineering Conference 2012, EuSEC 2012

作者： Mastrofmi, Manuel Cantone, Giovanni Seaman, Carolyn Shull, Forrest Diep, Madeline Falessi, Davide University of Rome Tor Vergata Department of Computer Science and Systems and Production Via del Politecnico 1 00133 Rome Italy Fraunhofer Center for Experimental Software Engineering University of Maryland Baltimore County Department of Information Systems ITE. Building. 1000 Hilltop Circle Baltimore MD 21250 United States Fraunhofer Center for Experimental Software Engineering 5825 University Research Court Suite 1300 College Park MD 20740-3823 United States Simula Research Laboratory Oslo Norway University of Rome Tor Vergata Department of Computer Science Systems and Production Via del Politecnico 1 00133 Rome Italy

ISBN: (纸本)9781622769162

When planning or controlling the system development process, a project leader needs to make decisions which take into account a number of aspects, including: availability of assets and competences, previously enacted processes in the organization, certifications the system is required to obtain, standards to comply with, interactions among process activities, contextual factors and constraints, and allocated budget and schedule. In this paper we propose a value-based approach for supporting decision making. The aim is to provide supportive information for decisions related to the system verification process. This would in turn enhance the performance of system development process by supporting the decision making process for complex systems. We report both academic and industrial empirical evaluations, which demonstrate the feasibility and effectiveness of our proposal, and thus prompt us to refine and extend our approach to sub-processes other than verification. ©2012 by the authors.

关键词： Decision making

来源：评论

学校读者我要写书评

暂无评论

Enhancing Service Discovery via Multi-Ontology Management and Annotation

Enhancing Service Discovery via Multi-Ontology Management an...

引用

2012 International Conference on Smart Technologies for Materials and Communication(ICSTMC 2012)

作者： Guang-hui HAN Cheng ZENG Information Engineering Department Wuhan Commercial Service College State Key Laboratory of Software Engineering Wuhan University School of Mathematics & Computer Science Hubei University

Ontology, which adds semantic information to services, is an effective tool to automatize service discovery and composition. Though service discovery systems have been developed extensively, most possible scenario would still be that all the services adhere to a single ontology. However, even in a same domain, different domain experts or users can conceptualize the same real world entities in different views which will lead to multiple domain ontologies. Therefore how to manage multi-ontology and then how to use them to annotate service are the key technologies in service discovery system. In this paper based on ISO SC32 19763-3: MFI-3(Metamodel Framework for Interoperability: Metamodel for Ontology Registration) we discuss in detail the mechanism of multi-ontology management and annotation to enhance the service discovery. Finally a prototype of Ontology Management Platform(OMP) is realized to serves annotation.

关键词： Multi-Ontology Annotation Service Discovery MFI-3 Evolution Rule

来源：评论

学校读者我要写书评

暂无评论

Dynamics of coexistence of asexual and sexual reproduction in adaptive landscape

Dynamics of coexistence of asexual and sexual reproduction i...

引用

2012 IEEE 6th International Conference on systems Biology, ISB 2012

作者： Jiao, Shuyun Wang, Yanbo Ao, Ping Shanghai Center for Systems Biomedicine Key Laboratory of Systems Biomedicine of Ministry of Education Shanghai Jiao Tong University 200240 Shanghai China Department of Mathematics Xinyang Normal University 464000 Xinyang Henan China Department of Computer Science and Engineering Shanghai Jiao Tong University 200240 Shanghai China Department of Physics Shanghai Jiao Tong University 200240 Shanghai China

ISBN: (纸本)9781467343985

Background: The dynamics for species, especially rare species, with mixed type reproduction is instructive and meaningful for predicting the extinction of them. Though the extinction time is still a difficult problem for sexual or asexual populations. Adaptive landscape introduced by Wright, a powerful concept in systems biology can describe the evolution of organisms. To our knowledge, the dynamical of inhomogenous reproductive organisms have not investigated by a simple model globally. Methods: We describe how a Wright-Fisher process maps to the dynamics of a population with mixed type. We analytically construct adaptive landscape from the general diffusion equation. It shows that the construction is dynamical and the adaptive landscape is independent of the existence and normalization of the stationary distribution. Results: We first give a global model describing the evolution of an inhomogenous reproductive population by adaptive landscape. We visualize the dynamical behavior by adaptive landscape. Finite and infinite potential occur in the process. These results suggest a possible way to investigate the complex reproductive process in an inhomogeneous reproductive population. © 2012 IEEE.

关键词： Dynamics

来源：评论

学校读者我要写书评

暂无评论

Kernel methods based approaches to image classification and retrieval

Kernel methods based approaches to image classification and ...

引用

International Conference on Advanced Computing, ICAC

作者： C. Chandra Sekhar Sasi Kumar Madhan Subhas Raj Kumar Buyya Department of Computer Science and Engineering Indian Institute of Technology Madras CDAC Pune Chronus Corporation Computer Science and Software Engineering and Director of the Cloud Computing and Distributed Systems (CLOUDS) Laboratory at the University of Melbourne Australia

Support vector machine (SVM) is a pattern classification model suitable for classification and annotation of images using non-vectorial type representations of images. Varying length patterns extracted from image data correspond to sets of local feature vectors. Kernels designed for varying length patterns are called as dynamic kernels. The talk presents the issues in designing the dynamic kernel based SVMS for classification and annotation of images. Different methods for designing the dynamic kernels are presented. An intermediate matching kernel (IMK) for a pair of varying length patterns is constructed by matching the pairs of local feature vectors selected using a set of virtual feature vectors. For patterns corresponding to sets of feature vectors, a Gaussian mixture model (GMM) is used as the set of virtual feature vectors. The GMM-based IMK is considered for image processing tasks such as image classification, matching and annotation in content-based image retrieval. The talk presents results of experimental studies on image classification, annotation and retrieval of images using the kernel methods.

关键词： Cloud computing Kernel Technological innovation Support vector machine classification Learning systems Hidden Markov models Computational modeling

来源：评论

学校读者我要写书评

暂无评论

A fixed-point blind source extraction algorithm and its application to ECG data analysis

A fixed-point blind source extraction algorithm and its appl...

引用

2012 IEEE 6th International Conference on systems Biology, ISB 2012

作者： Zhang, Hongjuan Wu, Zikai Ding, Shuxue Chen, Luonan Department of Mathematics Shanghai University Shanghai 200444 China Business School University of Shanghai for Science and Technology Shanghai 200093 China Department of Computer Software University of Aizu Tsuruga Ikki-Machi Aizu-Wakamatsu City Fukushima 965-8580 Japan Key Laboratory of Systems Biology Shanghai Institutes for Biological Sciences Chinese Academy of Sciences Shanghai 200031 China

ISBN: (纸本)9781467343985

Generalized autocorrelations and complexity pursuit are two recently developed methods for extracting interesting component from time series. They are the extensions of projection pursuit to time series data. In this paper, a fixed-point blind source extraction (BSE) algorithm for generalized autocorrelations and complexity pursuit of the desired signals is presented. The fixed-point algorithm inherits the advantages of the well-known FastICA algorithm of ICA, which is very simple, converges fast, and does not need to choose any learning step sizes. Numerical experiments on electrocardiogram (ECG) data indicate its better performance. © 2012 IEEE.

关键词： Electrocardiograms

来源：评论

学校读者我要写书评

暂无评论

Faculty development in the EU ERAMIS project

Faculty development in the EU ERAMIS project

引用

2012 IEEE Global engineering Education Conference, EDUCON 2012

作者： Merceron, Agathe Adam, Jean-Michel Lujan-Mora, Sergio Milosz, Marek Toppinen, Arto Media Informatics Department Beuth University of Applied Sciences Berlin Germany Laboratory of Informatics of Grenoble Pierre Mendes France University Grenoble France Department of Software and Computing Systems University of Alicante Alicante Spain Institute of Computer Science Lublin University of Technology Lublin Poland School of Engineering and Technology Savonia University of Applied Sciences Savonia Finland

The aim of the ERAMIS project is to create a Master degree computer as a Second Competence in 9 beneficiary universities of Kazakhstan, Kyrgyzstan and Russia. This contribution presents how faculty development is orga... 详细信息

关键词： Teaching

来源：评论

学校读者我要写书评

暂无评论

High Availability through Output Continuity

High Availability through Output Continuity

引用

IEEE International Conference on Cluster Computing Workshops and Posters (CLUSTER WORKSHOPS)

作者： Wei Ye Yaozu Dong Ruhui Ma Alei Liang Haibing Guan Shanghai Key Laboratory of Scalable Computing and Systems Department of Computer Science and Engineering Shanghai Jiaotong University Shanghai China Intel China Software Center Shanghai China

Virtual machine (VM) based state machine approaches, i.e. VM replication, provide high availability without source code modifications, unfortunately, existing VM replication approaches suffer from excessive replication overheads. On the other hand, machine state replication is an overly strong (and therefore less efficient) requirement for high availability in the networked client-server system. In this paper, we propose a generic and highly efficient high availability solution through output continuity. Output continuity considers a backup server as a valid replica as long as the responses generated so far are the same between the backup and primary servers, the server state is propagated from the primary server to the backup server if and only if the previous outputs from the backup and primary servers are different.

关键词： Servers Availability Mathematical model Semantics Equations Hardware

来源：评论

学校读者我要写书评

暂无评论

Escape from infinite adaptive peak

Escape from infinite adaptive peak

引用

2012 IEEE 6th International Conference on systems Biology, ISB 2012

作者： Xu, Song Jiao, Shuyun Jiang, Pengyao Yuan, Bo Ao, Ping Department of Computer Science and Engineering Shanghai Jiao Tong University 200240 Shanghai China Shanghai Center for Systems Biomedicine Key Laboratory of Systems Biomedicine of Ministry of Education Shanghai Jiao Tong University 200240 Shanghai China Department of Mathematics Xinyang Normal University 464000 Xinyang Henan China Department of Ecology and Evolution University of Chicago 1101 E 57th Street Chicago IL 60637 United States

ISBN: (纸本)9781467343985

We study the transition time between different meta-stable states in the continuous Wright-Fisher (diffusion) model. We construct an adaptive landscape for describing the system both qualitatively and quantitatively. When strong genetic drift and weak mutation generate infinite adaptive peaks, we calculate the expected time to escape from such peak states. We find a new way to analytically approximate the escape time, which extends the application of Kramer's classical formulae to the cases of non-Gaussian equilibrium distribution and bridges previous results in two limits. Our adaptive landscape, compared to the classical fitness landscape or other scalar functions, is directly related to system's middle-and-long-term dynamics and is self-consistent in the whole parameter space. Our work provides a complete description for the bi-stabilities in the present model. © 2012 IEEE.

关键词： Escape TRANSIT TIME parameter space methods Self tuning Genetic Drift DIFFUSION MODELS Infinite

来源：评论

学校读者我要写书评

暂无评论

Distributed Output Regulation for Multi-agent systems with Unknown Communication Delays

Distributed Output Regulation for Multi-agent Systems with U...

引用

The 24th Chinese Control and Decision Conference (第24届中国控制与决策学术年会 2012 CCDC)

作者： Lu Yu Jinzhi Wang Zhong-Ping Jiang Yiguang Hong State Key Laboratory for Turbulence and Complex Systems Department of Mechanics and Aerospace Engin Department of Electrical and Computer Engineering Polytechnic Institute of New York University Bro Key Laboratory of Systems and Control Academy of Mathematics and Systems Science Chinese Academy o

In this paper, the distributed output regulation problem of multi-agent linear systems with communication time delays is studied, by means of both dynamic state and output feedback control laws. Given bounded communication delays, distributed control laws are designed via linear matrix inequalities (LMI). Both delay-independent and delaydependent conditions are discussed.

关键词： Multi-agent systems Output Regulation Time Delay

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：