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

Lily: Ontology alignment results for OAEI 2009

Lily: Ontology alignment results for OAEI 2009

4th International Workshop on Ontology Matching, OM-2009 - Collocated with the 8th International Semantic Web Conference, ISWC-2009

作者： Wang, Peng Xu, Baowen College of Software Engineering Southeast University China State Key Laboratory for Novel Software Technology Nanjing University China Department of Computer Science and Technology Nanjing University China

This paper presents the alignment results of Lily for the ontology alignment contest OAEI 2009. Lily is an ontology mapping system, and it has four functions: generic ontology matching, large scale ontology matching, semantic ontology matching and mapping debugging. In OAEI 2009, Lily submited the results for four alignment tasks: benchmark, anatomy, directory and conference.

关键词： Mapping

来源：评论

学校读者我要写书评

暂无评论

Mining emerging patterns for recognizing activities of multiple users in pervasive computing

Mining emerging patterns for recognizing activities of multi...

引用

2009 6th Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services, MobiQuitous 2009

作者： Gu, Tao Wu, Zhanqing Wang, Liang Tao, Xianping Lu, Jian Department of Mathematics and Computer Science University of Southern Denmark State Key Laboratory for Novel Software Technology Nanjing University China

ISBN: (纸本)9789639799592

Understanding and recognizing human activities from sensor readings is an important task in pervasive computing. Existing work on activity recognition mainly focuses on recognizing activities for a single user in a smart home environment. However, in real life, there are often multiple inhabitants live in such an environment. Recognizing activities of not only a single user, but also multiple users is essential to the development of practical context-aware applications in pervasive computing. In this paper, we investigate the fundamental problem of recognizing activities for multiple users from sensor readings in a home environment, and propose a novel pattern mining approach to recognize both single-user and multi-user activities in a unified solution. We exploit Emerging Pattern - a type of knowledge pattern that describes significant changes between classes of data - for constructing our activity models, and propose an Emerging Pattern based Multi-user Activity Recognizer (epMAR) to recognize both single-user and multiuser activities. We conduct our empirical studies by collecting real-world activity traces done by two volunteers over a period of two weeks in a smart home environment, and analyze the performance in detail with respect to various activity cases in a multi-user scenario. Our experimental results demonstrate that our epMAR recognizer achieves an average accuracy of 89.72% for all the activity cases.

关键词： Ubiquitous computing

来源：评论

学校读者我要写书评

暂无评论

Modeling and integrating aspects with UML activity diagrams 09

Modeling and integrating aspects with UML activity diagrams

引用

24th Annual ACM Symposium on Applied Computing, SAC 2009

作者： Cui, Zhanqi Wang, Linzhang Li, Xuandong Xu, Dianxiang State Key Laboratory of Novel Software Technology Department of Computer Science and Technology Nanjing University Nanjing Jiangsu 210093 China Department of Computer Science North Dakota State University Fargo ND 58105 United States

ISBN: (纸本)9781605581668

Dealing with crosscutting concerns has been a critical problem in software development processes. Aspect-Oriented Programming (AOP) provides a viable programming-level solution by separating crosscutting concerns from primary concerns. To facilitate handling crosscutting concerns at earlier software development phases, this paper proposes an aspect-oriented modeling and integration approach at the design level. In our approach, primary concerns are depicted with UML activity diagrams as primary models, whereas crosscutting concerns are described with aspectual extended activity diagrams as aspect models. Each aspect model consists of pairs of pointcut and advice model. Aspect models can be integrated into primary models automatically. To this end, a prototype tool called Jasmine-AOI has been implemented as an Eclipse plug-in. With the tool support, we have conducted two case studies, including 15 primary models and 8 aspect models. The case studies demonstrate that our approach can greatly facilitate reasoning about crosscutting concerns when a system is modeled with activity diagrams. Copyright 2009 ACM.

关键词： Aspect oriented programming

来源：评论

学校读者我要写书评

暂无评论

Slicing Java Generic Programs Using Generic System Dependence Graph

引用

Wuhan University Journal of Natural sciences 2009年第4期14卷 304-308页

作者： CHEN Lin1,2,XU Baowen1,2 1.state key laboratory for Novel software technology,Nanjing University,Nanjing 210093,Jiangsu China 2.department of computer science and technology,Nanjing University,Nanjing 210093,Jiangsu China State Key Laboratory for Novel Software Technology Nanjing University Nanjing 210093 Jiangsu China Department of Computer Science and Technology Nanjing University Nanjing 210093 Jiangsu China

The existing slicing algorithms do not consider parameterized types in generic programs, so they are not suitable for generic programs. To solve this problem, this paper presents a generic system dependence graph for Java generic programs based on the traditional system dependence graph to express dependences for parameterized type information. A novel slicing criterion and slicing algorithm for generic programs is proposed. The slices computed by the algorithm can help to understand relations between concepts and types for generic programs and can express the features of generic programs better.

关键词： slicing system dependence graph generics program analysis

来源：评论

学校读者我要写书评

暂无评论

A Sensor Network-Based Data Stream Clustering Algorithm for Pervasive Computing

引用

电子学报(英文版) 2009年第2期18卷 255-258页

作者： YE Ning WANG Ruchuan Institute of Computer Science Nanjing University of Posts and Telecommunications Nanjing 210003 China Department of Information Science Nanjing College ]or Population Programme Management Nanjing 210042 China State Key Laboratory for Novel Software Technology Nanjing University Nanjing 210093 China

Pervasive computing is characterized by the integration with communication and digital media technology embedded to the people's living space. People can transparently access the digital service anywhere. Wireless sensor networks are a novel technology and have broad application prospects. With the maturity of the wireless sensor networks technology, pervasive computing is becoming a reality. It is become a new technology challenge to process the data streams of sensor networks for pervasive environment efficiently and to find useful knowledge in these data streams. A k-means data stream clustering algorithm based on sensor networks is presented. The main idea of this algorithm is to select the initial centroids according to the aggregation gain of the node, then to cluster the data stream using the average square error. The experimental results are showed that this algorithm is effective and efficient.

关键词：无线传感器网络聚类算法普适计算数据流数字媒体技术平均平方误差空间一体化网络技术

来源：评论

学校读者我要写书评

暂无评论

IntScope: Automatically Detecting Integer Overflow Vulnerability in X86 Binary Using Symbolic Execution 16

IntScope: Automatically Detecting Integer Overflow Vulnerabi...

引用

16th Symposium on Network and Distributed System Security, NDSS 2009

作者： Wang, Tielei Wei, Tao Lin, Zhiqiang Zou, Wei Key Laboratory of Network and Software Security Assurance Institute of Computer Science and Technology Peking University China Department of Computer Science Purdue University United States

The number of identified integer overflow vulnerabilities has been increasing rapidly in recent years. In this paper, we present a system, IntScope, which can automatically detect integer overflow vulnerabilities in x86 binaries before an attacker does, with the goal of finally eliminating the vulnerabilities. IntScope first translates the disassembled code into our own intermediate representation (IR), and then performs a path sensitive data flow analysis on the IR by leveraging symbolic execution and taint analysis to identify the vulnerable point of integer overflow. Compared with other approaches, IntScope does not run the binary directly, and is scalable to large software as it can just symbolically execute the interesting program paths. Experimental results show IntScope is quite encouraging: it has detected more than 20 zero-day integer overflows (e.g., CVE-2008-4201, FrSIRT/ADV-2008-2919) in widely-used software such as QEMU, Xen and Xine. © 2009 Proceedings of the Symposium on Network and Distributed System Security, NDSS 2009. All Rights Reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

CORE: A trust model for agent coalition formation

CORE: A trust model for agent coalition formation

引用

5th International Conference on Natural Computation, ICNC 2009

作者： Zhou, Qing-Hua Wang, Chong-Jun Xie, Jun-Yuan National Key Laboratory for Novel Software Technology Nanjing University Nanjing 210093 China Department of Computer Science and Technology Nanjing University Nanjing 210093 China

ISBN: (纸本)9780769537368

CORE, a trust model is proposed trying to solve agent coalition formation problem. The model characterizes an agent's trust from two aspects of competence and reputation. In the paper, the Euclidean distance formula of vector space on competence field is used to measure the extent which an agent fitting for a particular task, and the membership function is used to characterize an agent's reputation. At the begin of the task, appropriate agents are selected to form a coalition according to their trust value;in the process of the task, the agent's competence gains and reputation updates;after completing the task, the model can renovate every agent's trust according to their behavior during the coalition, which is viewed as an evidence for next task. Finally, the model is carried out by programming on the NetLogo platform. © 2009 IEEE.

关键词： Vector spaces

来源：评论

学校读者我要写书评

暂无评论

A frequency domain analysis based gait feature representation

A frequency domain analysis based gait feature representatio...

引用

2009 International Conference on Computational Intelligence and software Engineering, CiSE 2009

作者： Mu, Hong-Bo Yu, Xin-Cen Wang, Chong-Jun Department of Computer Science and Technology Nanjing University Nanjing China Software Institute Nanjing University Nanjing China National Key Laboratory for Novel Software Technology Nanjing University Nanjing China

ISBN: (纸本)9781424445073

A method for representing gait feature based on frequency domain analysis is proposed. For a gait represented by a sequence of binarized silhouettes, its frequency domain feature is extracted following period detection, contour extraction and unwrapping, distance normalization, 2D Fourier transform, feature frequencies computation and some other procedures. Nearest neighbor classifier is used to test its usefulness for gait recognition purpose, and experiment result, compared with previously conducted research, shows that the proposed gait feature representation is soundly effective. ©2009 IEEE.

关键词： Frequency domain analysis

来源：评论

学校读者我要写书评

暂无评论

Pollution attack: A new attack against localization in wireless sensor networks

Pollution attack: A new attack against localization in wirel...

引用

2009 IEEE Wireless Communications and Networking Conference, WCNC 2009

作者： Zeng, Yingpei Cao, Jiannong Zhang, Shigeng Guo, Shanqing Xie, Li State Key Laboratory for Novel Software Technology Nanjing University Nanjing China Department of Computing Hong Kong Polytechnic University Hong Kong School of Computer Science and Technology Shandong University Jinan China

ISBN: (纸本)9781424429486

Many secure localization algorithms have been proposed. In these algorithms, collusion attack is usually considered as the strongest attack when evaluating their performance. Also, for ensuring correct localization under the collusion attack, a necessary number of normal beacons are needed and a lower bound on this number has been established (assuming the errors of distance measurements are ignorable). In this paper, we introduce pollution attack, a more powerful attack which can succeed even when the number of normal beacons is more than the lower bound. In this attack, victim node is misled to a special chosen location, which results in a confusion of compromised beacon with normal beacon. We propose a new metric to measure the vulnerability of a normal location reference set to pollution attack, and develop two algorithms to efficiently compute the value of the proposed metric. We also present a method to judge whether the output of the localization algorithm is credible under pollution attack. Simulation results show that the pollution attack can succeed with high probability. © 2009 IEEE.

关键词： Wireless sensor networks

来源：评论

学校读者我要写书评

暂无评论

Analyzing feasibility of requirement driven service composition

Analyzing feasibility of requirement driven service composit...

引用

2nd International Workshop on computer science and Engineering, WCSE 2009

作者： Chen, Liqiong Fan, Guisheng Liu, Yunxiang Liu, Dongmei Department of Computer Science and Information Engineering Shanghai Institute of Technology Shanghai 200235 China Shanghai Key Laboratory of Computer Software Evaluating and Testing Shanghai 201112 China Department of Computer Science and Engineering East China University of Science and Technology Shanghai 200237 China

ISBN: (纸本)9780769538815

In a service-oriented architecture, how to analyze the feasibility of service composition according to the requirements of service consumers has become a problem that must be solved in service composition. A method for analyzing feasibility of requirement driven service composition is proposed. Based on the support function at different stages in the lifecycle of service composition, the composition process is divided into a number of independent function modules, colored Petri nets are used to model for them, meanwhile the QoS properties of services such as price and success probability are considered, the task failure and processing strategies are characterized. Based on this, combining with the requirements of service consumer, the definition of feasibility and a service schedulability strategy are advanced. ASK-CTL is introduced to describe and verify basic properties of model, and the corresponding analysis algorithm is also given. What's more, at the end of this paper, an example was given to simulate analysis process by using CPN Tools. © 2009 IEEE.

关键词： Quality of service

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：