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

Panhellenic Conference on informatics (PCI)

作者： Anastasios Kihidis Konstantinos Chalkias George Stephanides Computational Systems and Software Engineering Laboratory Department of Applied Informatics University of Macedonia Thessaloniki Greece

Identity Based Encryption (IBE) constitutes an alternative cryptographic method to the conventional public key systems. The main feature of IBE is that public keys are not transmitted over the network, but they are efficiently computed from the receivers' unique identity information; thus, the system is certificateless. This paper presents a complete implementation of a practical IBE infrastructure for secure e-mail communication. As far as we know, this is the first open-source attempt to simultaneously provide a fully functional and user-friendly IBE system together with a trustworthy Private Key Generator.

关键词： Electronic mail Encryption Elliptic curve cryptography Protocols Libraries Elliptic curves

来源：评论

学校读者我要写书评

暂无评论

Compositional verification of business processes by model-checking

Compositional verification of business processes by model-ch...

引用

作者： Mendoza, Luis E. Capel, Manuel I. Pérez, María Processes and Systems Department Simón Bolívar University P.O. box 89000 Baruta Caracas 1080-A Venezuela Software Engineering Department University of Granada ETSI Informatics and Telecommunication 18071 Granada Spain

ISBN: (纸本)9789898425126

The work presented in this article is aimed at a contribution to the Enterprise Information systems (EIS) verification. We describe here a Formal Compositional Verification Approach (FCVA) - based on Model-Checking (MC) techniques - applied to the verification of Business Process (BP) models represented by Business Process Modelling Notation (BPMN) diagrams. FCVA is compositional and thus allows the verification of a complex BP model carried out from verification of its parts. FCVA and a proposal of temporal semantics for BPMN allows the expression of time-dependent constructs of BP Task Models (BPTM) supported by an EIS. The interpretation of the BPMN graphical modelling entities into a formal specification language (CSP+T) allows us to use state-of-the-art MC tools to verify the behavioural part of BP models. A real-life example in the field of the Customer Relationship Management (CRM) business is presented to demonstrate the FCVA application in a practical way.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Testing as a service over cloud

Testing as a service over cloud

引用

5th IEEE International Symposium on Service-Oriented System engineering, SOSE 2010

作者： Yu, Lian Tsai, Wei-Tek Chen, Xiangji Liu, Linqing Zhao, Yan Tang, Liangjie Zhao, Wei School of Software and Microelectronics Peking University China School of Computing Informatics Decision Systems Engineering Department of Computer Science and Engineering Arizona State University United States Deparment of Computer Science and Technology Tsinghua University Beijing China China Research Center IBM Beijing 100094 China

ISBN: (纸本)9780769540818

Testing-as-a-service (TaaS) is a new model to provide testing capabilities to end users. Users save the cost of complicated maintenance and upgrade effort, and service providers can upgrade their services without impact on the end-users. Due to uneven volumes of concurrent requests, it is important to address the elasticity of TaaS platform in a cloud environment. Scheduling and dispatching algorithms are developed to improve the utilization of computing resources. We develop a prototype of TaaS over cloud, and evaluate the scalability of the platform by increasing the test task load;analyze the distribution of computing time on test task scheduling and test task processing over the cloud;and examine the performance of proposed algorithms by comparing others. © 2010 IEEE.

关键词： Scheduling

来源：评论

学校读者我要写书评

暂无评论

Multi Level Clustering of Phylogenetic Profiles

Multi Level Clustering of Phylogenetic Profiles

引用

IEEE Symposium on Bioinformatics and Bioengineering (BIBE)

作者： Fotis E. Psomopoulos Pericles A. Mitkas Intelligent Systems and Software Engineering Laboratory Informatics and Telematics Institute Thessaloniki Greece Department of Electrical and Computer Engineering Aristotle University of Thessaloniki Thessaloniki Greece

The prediction of gene function from genome sequences is one of the main issues in Bioinformatics. Most computational approaches are based on the similarity between sequences to infer gene function. However, the availability of several fully sequenced genomes has enabled alternative approaches, such as phylogenetic profiles. Phylogenetic profiles are vectors which indicate the presence or absence of a gene in other genomes. The main concept of phylogenetic profiles is that proteins participating in a common structural complex or metabolic pathway are likely to evolve in a correlated fashion. In this paper, a multi level clustering algorithm of phylogenetic profiles is presented, which aims to detect inter- and intra-genome gene clusters.

关键词： Phylogeny Bioinformatics Genomics Clustering algorithms Databases Proteins Biomedical engineering Intelligent systems Computational intelligence software engineering

来源：评论

学校读者我要写书评

暂无评论

Filling the gap of Information Security Management inside ITIL®: Proposals for posgraduate students

Filling the gap of Information Security Management inside IT...

引用

IEEE Education engineering (EDUCON)

作者： Elena Ruiz Larrocha Jesús M. Minguet Gabriel Díaz Manuel Castro Alfonso Vara Software Engineering and Informatics Systems Department UNED - Spanish University for Distance Education Madrid Spain Electrical and Computer Department UNED - Spanish University for Distance Education Madrid Spain

This paper describes different proposals made at UNED, for post-graduated students, at the area of IT Services Management and specially trying to fill the gap, of paramount importance, of the treatment due in ITIL ® (Information Technology Infrastructure Library) to Information Security Management. We analyze the treatment given to Information Security Management in ITIL, both versions 2 and 3, and describe the different at distance post-graduated courses we offer that fill these methodologies and discuss the opinions and evaluations of our students.

关键词： Filling Information security Information management Information technology Business Technology management Libraries Proposals Distance learning ISO standards

来源：评论

学校读者我要写书评

暂无评论

Using launch-on-capture for testing BIST designs containing synchronous and asynchronous clock domains

Using launch-on-capture for testing BIST designs containing ...

引用

作者： Wang, Laung-Terng Wen, Xiaoqing Wu, Shianling Furukawa, Hiroshi Chao, Hao-Jan Sheu, Boryau Guo, Jianghao Jone, Wen-Ben SynTest Technologies Inc. Sunnyvale CA 94086 United States Department of Electrical Engineering Graduate Institute of Electronics Engineering National Taiwan University Taipei 106 Taiwan Department of Creative Informatics Kyushu Institute of Technology Iizuka Fukuoka 820-8502 Japan School of Software Tsinghua University Beijing 100084 China SynTest Technologies Inc. Princeton Junction NJ 08550 United States Department of Creation Informatics Graduate School of Computer Science and Systems Engineering Kyushu Institute of Technology Iizuka Fukuoka 820-8502 Japan With NEC Micro Systems Ltd. Kumamoto 861-2202 Japan SynTest Technologies Inc. Hsinchu 300 Taiwan Sigma Designs Milpitas CA 95035 United States Department of Electrical and Computer Engineering University of Cincinnati Cincinnati OH 45221 United States

This paper presents a new at-speed logic built-in self-test (BIST) architecture supporting two launch-on-capture schemes, namely aligned double-capture and staggered double-capture, for testing multi-frequency synchronous and asynchronous clock domains in a scan-based BIST design. The proposed architecture also includes BIST debug and diagnosis circuitry to help locate BIST failures. The aligned scheme detects and allows diagnosis of structural and delay faults among all synchronous clock domains, whereas the staggered scheme detects and allows diagnosis of structural and delay faults among all asynchronous clock domains. Both schemes solve the long-standing problem of using the conventional one-hot scheme, which requires testing each clock domain one at a time, or the simultaneous scheme, which requires adding isolation logic to normal functional paths across interacting clock domains. Physical implementation is easily achieved by the proposed solution due to the use of a slow-speed, global scan enable signal and reduced timing-critical design requirements. Application results for industrial designs demonstrate the effectiveness of the proposed architecture. © 2010 IEEE.

关键词： Built-in self test

来源：评论

学校读者我要写书评

暂无评论

Testing as a Service over Cloud

Testing as a Service over Cloud

引用

The Fifth IEEE International Symposium on Service-Oriented System engineering(第五届IEEE面向服务的系统工程国际研讨会 SOSE 2010)

作者： Lian Yu Xiangji Chen Yan Zhao Liangjie Tang Linqing Liu Wei-Tek Tsai Wei Zhao School of Software and Microelectronics Peking University P.R. China School of Computing Informatics and Decision Systems Engineering Department of Computer Science an China Research Center IBM Beijing 100094 PRC

关键词： TaaS (Testing as a Service) SaaS (software as a Service) cloud computing ontology scheduling and dispatching

来源：评论

学校读者我要写书评

暂无评论

Reports on the AAAI 2009 fall symposia

Reports on the AAAI 2009 fall symposia

引用

作者： Azevedo, Roger Bench-Capon, Trevor Biswas, Gautam Carmichael, Ted Green, Nancy Hadzikadic, Mirsad Koyejo, Oluwasanmi Kurup, Unmesh Parsons, Simon Pirrone, Roberto Prakken, Henry Samsonovich, Alexei Scott, Donia Souvenir, Richard Department of Psychology Institute for Intelligent Systems University of Memphis United States Department of Computer Science University of Liverpool United Kingdom Center for Intelligent Systems Vanderbilt University United States Department of Computer Science University of North Carolina Charlotte United States Department of Computer Science University of North Carolina Greensboro United States Department of Software and Information Systems University of North Carolina Charlotte United States Complex Systems Institute United States Department of Electrical and Computer Engineering University of Texas Austin United States Department of Cognitive Science Rensselaer Polytechnic Institute Troy NY United States Department of Computer and Information Science Brooklyn College City University New York United States University of Palermo Italy Computer Science Department Utrecht University Netherlands Department of Law and IT Law Faculty University of Groningen Netherlands Krasnow Institute for Advanced Study George Mason University United States Computational Linguistics Department Informatics at the University of Sussex United Kingdom

The Association for the Advancement of Artificial Intelligence was pleased to present the 2009 Fall Symposium Series, held Thursday through Saturday, November 5-7, at the Westin Arlington Gateway in Arlington, Virginia. The Symposium Series was preceded on Wednesday, November 4, by a one-day AI funding seminar. The titles of the seven symposia were as follows: (1) Biologically Inspired Cognitive Architectures, (2) Cognitive andMetacognitive Educational systems, (3) Complex Adaptive systems and the Threshold Effect: Views from the Natural and Social Sciences, (4) Manifold Learning and Its Applications, (5) Multirepresentational Architectures for Human-Level Intelligence, (6) The Uses of Computational Argumentation, and (7) Virtual Healthcare Interaction. Copyright © 2010, Association for the Advancement of Artificial Intelligence. All rights reserved.

关键词： Cognitive systems

来源：评论

学校读者我要写书评

暂无评论

Feature-Oriented Nonfunctional Requirement Analysis for software Product Line

引用

Journal of Computer Science & Technology 2009年第2期24卷 319-338页

作者：彭鑫 Seok-Won Lee 赵文耘 School of Computer Science Fudan University Knowledge-Intensive Software Engineering Research Group Department of Software and Information Systems College of Computing and Informatics University of North Carolina at Charlotte

Domain analysis in software product line （SPL） development provides a basis for core assets design and imple- mentation by a systematic and comprehensive commonality/variability analysis. In feature-oriented SPL methods, products of the domain analysis are domain feature models and corresponding feature decision models to facilitate application-oriented customization. As in requirement analysis for a single system, the domain analysis in the SPL development should con- sider both flmctional and nonfunctional domain requirements. However, the nonfunctional requirements （NFRs） are often neglected in the existing domain analysis methods. In this paper, we propose a context-based method of the NFR analysis for the SPL development. In the method, NFRs are materialized by connecting nonfunctional goals with real-world context, thus NFR elicitation and variability analysis can be performed by context analysis for the whole domain with the assistance of NFR templates and NFR graphs. After the variability analysis, our method integrates both functional and nonfunc- tional perspectives by incorporating the nonfunctional goals and operationalizations into an initial functional feature model. NFR-related constraints are also elicited and integrated. Finally, a decision model with both functional and nonfunctional perspectives is constructed to facilitate application-oriented feature model customization. A computer-aided grading system （CAGS） product line is employed to demonstrate the method throughout the paper.

关键词： software product line nonfunctional requirement domain analysis feature-oriented method variability analysis

来源：评论

学校读者我要写书评

暂无评论

A rule-based approach for semantic consistency management in web information systems development

A rule-based approach for semantic consistency management in...

引用

5th International Workshop on Automated Specification and Verification of Web systems, WWV 2009

作者： Lucas, Francisco J. Molina, Fernando Toval, Ambrosio Software Engineering Research Group Department of Informatics and Systems University of Murcia Spain

Consistency problems are mainly due to the existence of multiple views (models) for the same system, which may contain a contradictory joint description. A scope in which these consistency problems can also appear is that of Web engineering, which focuses on the application of sound practices for the development of web-based information systems (WIS). The aim of this paper is to show how a rigorous approach based on the concepts of models transformations and rewriting logic can offer a suitable framework to manage (analysis and handling) the semantic model consistency in this scope. To illustrate this approach, an application example is shown, which analyzes different consistency problems that can appear between WIS navigational models and usability models.

关键词： Semantic Web

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：