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

IEEE Annual Joint Conference: INFOCOM, IEEE computer and Communications Societies

作者： Haitao Zhang Shaojie Tang Xiang-Yang Li Huadong Ma Beijing Key Laboratory of Intelligent Telecommunication Software and Multimedia Beijing University슠of Posts and슠Telecommunications Beijing China Department of Computer Science Illinois Institute of Technology Chicago USA Tsinghua National Laboratory of Information Science and Technology Tsinghua University Beijing China

ISBN: (纸本)9781467307734;9781467307758

This work presents BurTrap, a networking system which integrates wireless modules (such as TelosB nodes) with networked surveillance cameras to automatically, accurately, timely track and identify burglar who stole the property. First, we design an energy-efficient wakeup scheduling protocol that guarantees a successful target tracking while reducing the communication energy consumption of the portable wireless module. Then, we identify burglar among all the objects appeared in the obtained video information by performing trajectory fitting between the estimated geometric trajectory and the estimated local visual trajectory. Through extensive experiments, we show that BurTrap can pinpoint the burglar with extremely high accuracy.

关键词： Trajectory Wireless communication Cameras Wireless sensor networks Visualization Surveillance Sensors

来源：评论

学校读者我要写书评

暂无评论

Research on survivability metrics based on survivable process of network system 11

Research on survivability metrics based on survivable proces...

引用

4th International Conference on security of information and Networks, SIN 2011

作者： Ming, Liang Huang, Minhuan Dongxia, Wang Kuang, Xiaohui Chunlei, Wang Xuewei, Feng National Key Laboratory of Science and Technology on Information System Security Beijing China Department of Computer Science Tsinghua University Beijing China

ISBN: (纸本)9781450310208

Survivability is a necessary property of network system in disturbed environment. A survivable network always experience five phases, i.e., normal phase, resistance phase, destroyed phase, recovery phase, and adaptation and evolution phase, in its survivable process. This paper concludes the network survivability into four basic attributes: availability, controllability, robustness, and adaptability. According to these four attributes and five phases of a survivable network, this paper provides four novel quantifiable survivability metrics, i.e., Process-Weighted Average Availability (PWAA), Process-Weighted Average Controllability (PWAC), Process-Weighted Average Robustness (PWAR), and Process-Weighted Average Adaptability (PWAD). Analysis and Experiment results show that, these four quantitative metrics describe the meaning of network survivability properly, and can be used to test and evaluate survivability of network during the survivable process. © 2011 ACM.

关键词： Statistical methods

来源：评论

学校读者我要写书评

暂无评论

Model checking cooperative multi-agent systems in BDI logic

引用

Journal of information and Computational science 2012年第5期9卷 1185-1194页

作者： Chen, Qingliang Su, Kaile Wu, Lijun Xu, Zhaocheng School of Electronics Engineering and Computer Science Peking University Beijing 100871 China Department of Computer Science Jinan University Guangzhou 510632 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China Institute for Integrated and Intelligent Systems Griffith University Brisbane Australia School of Computer Science and Engineering University of Electronic Science and Technology of China Chengdu China

Traditional temporal logics such as LTL (Linear Temporal Logic) and CTL (Computation Tree Logic) have shown tremendous success in specifying and verifying hardware and software systems. However, this kind of logic can only model the dynamic behaviors for a single system, and fall short in capturing the joint and concurrent aspects in the composition of systems, such as the interactions and coordinations of agents in Multi-agent systems. Although ATL (Alternating-time Temporal Logic) can solve the problem to a certain extent, by preceding the temporal operators with a selective path quantifier, to specify that the interactions between entities inside the system can make sure that there is a strategy to reach a certain state, it can not formalize the rational mental attitudes of the agents such as the Belief, Desire and Intention (BDI) which plays an essential role in decision making during cooperation with other agents. This paper will investigate this problem by proposing a logic of ATLBDI (Alternating-time Temporal Logic of Belief Desire and Intention) and discuss the algorithmic issues such as model checking algorithms and the computational complexity, along with examples to show its effectiveness. We conclude that model checking for ATLBDI is completely tractable and is in PTIME-Complete, which is quite an optimistic and promising result for further applications. © 2012 by Binary information Press.

关键词： Multi agent systems

来源：评论

学校读者我要写书评

暂无评论

Chosen Ciphertext Secure Identity-Based Broadcast Encryption in the Standard Model

引用

Journal of Shanghai Jiaotong university(science) 2011年第6期16卷 672-676页

作者：孙瑾胡予濮张乐友 Key Laboratory of Computer Network and Information Security Xidian University Department of Application Mathematics Xi'an University of Technology

To give concurrent consideration both the efficiency and the security(intensity of intractable problem) in the standard model,a chosen ciphertext secure identity-based broadcast encryption is *** the chosen ciphertext security model,by using identity(ID) sequence and adding additional information in ciphertext,the self-adaptive chosen identity security(the full security) and the chosen ciphertext security are gained *** reduction of scheme's security is the decisional bilinear Diffie-Hellman(BDH) intractable assumption,and the proof of security shows that the proposed scheme is indistinguishable against adaptive chosen ciphertext attacks in the standard model under the decisional BDH intractable *** the security level is improved,and it is suitable for higher security environment.

关键词： the standard model provably secure broadcast encryption the chosen ciphertext security the self-adaptive chosen identity security

来源：评论

学校读者我要写书评

暂无评论

Study on event correlation analysis in evidence chain structure

Study on event correlation analysis in evidence chain struct...

引用

IEEE International Symposium on information (IT) in Medicine and Education, ITME

作者： Dong Liu Yong-qing Wei School of Information Science and Engineering Shandong Provincial Key Laboratory for Distributed Computer Software Novel Technology Shandong Normal University Jinan China Basic Education Department Shandong Police College Jinan China

computer forensics has limitations in representation formalism of the electronic evidence and data missing. A method in construction of electronic evidence chain was proposed on the basis of the study and analysis of event correlation, and it makes use of Bayesian network inference algorithm, which analysis of causal relationship of the events to deal with the missing data. This method to consider the interaction between evidence events and sequence relationship, it realizes formalization of the electronic evidence and reduces data redundancy in evidence analysis, which strengthens the pertinence of data process and evidence analysis, forensics system becomes more perfect.

关键词： Correlation

来源：评论

学校读者我要写书评

暂无评论

Application research of WebSocket technology on Web tree component

Application research of WebSocket technology on Web tree com...

引用

IEEE International Symposium on information (IT) in Medicine and Education, ITME

作者： Feng-yan Jiang Hui-chuan Duan School of Information Science and Engineering Shandong Provincial Key Laboratory for Distributed Computer Software Novel Technology Shandong Normal University Jinan China Basic Education Department Shandong Normal University Jinan China

In the development of information systems, Web tree component is an important way to show information, provide a convenient and intuitive information queries, which has become one of the essential features in the information system. At present, Web tree component still has a series of problems in communication efficiency, displaying and updating rate, etc. This paper uses MyEclipse and MySql as development tools to design and implement web tree component based on WebSocket, the component can display and update tree structure dynamically, Theory analysis and experimental results show that the improved scheme provides a better user experience, comparing with the previous traditional long polling based on AJAX technology, it effectively reduces the amount of data transmission, communication overhead, etc.

关键词： Servers Educational institutions Delay World Wide Web

来源：评论

学校读者我要写书评

暂无评论

Aquarius: A tiny hypervisor to introspect commodity OSes in a non-bypassable way

Aquarius: A tiny hypervisor to introspect commodity OSes in ...

引用

2011 5th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, IMIS 2011

作者： Wen, Yan Zhao, Jinjing Huang, Minhuan Chen, Hua Beijing Institute of System Engineering Beijing China National Key Laboratory of Science and Technology on Information System Security Beijing China Department of Computer Science and Technology Tsinghua University Beijing China

ISBN: (纸本)9780769543727

In this paper, we propose a novel tiny hardware assisted hypervisor, called Aquarius, to introspect the commodity OSes in a non-bypassable way. Compared to previous hypervisor-based approaches, Aquarius offers three distinct advantages: preinstalled commodity OS compatibility, implicit introspection of OS resources (e.g., memory, I/O device accesses, processes, files, network connections) and non-bypassable information exposing interface. Unlike typical hypervisors, Aquarius can migrate a preinstalled OS onto it. By tracking the low-level interactions between the OS and the hardware, Aquarius is decoupled with the explicit OS implementation information which it is subvertable for the privileged malware. Our functionality evaluation shows Aquarius can accurately reconstruct the OS resources at hypervisor layer while the performance evaluation shows desktop-oriented workloads achieve 92.68% of native speed on average. © 2011 IEEE.

关键词： Aquarius Hardware Kernel Malware OS compatibility OS introspection OS resources Program processors Virtual machine monitors commodity OSes hardware assisted hypervisor hardware-assisted hypervisor invasive software malware nonbypassable information operating system kernels virtualisation

来源：评论

学校读者我要写书评

暂无评论

Pulse Coupled Neural Network Edge-Based Algorithm for Image Text Locating

引用

Tsinghua science and technology 2011年第1期16卷 22-30页

作者：张昕孙富春 State Key Lab of Intelligent Technology and Systems Tsinghua National Laboratory for Information Science and TechnologyDepartment of Computer Science and TechnologyTsinghua University

This paper presents a method for locating text based on a simplified pulse coupled neural network （PCNN）. The PCNN generates a firings map in a similar way to the human visual system with non-linear image processing. The PCNN is used to segment the original image into different planes and edges detected using both the PCNN firings map and a phase congruency detector. The different edges are integrated using an automatically adjusted weighting coefficient. Both the simplified PCNN and the phase congruency energy model in the frequency domain imitate the human visual system. This paper shows how to use PCNN by changing the compute space from the spatial domain to the frequency domain for solving the text location problem. The algorithm is a simplified PCNN edge-based （PCNNE） algorithm. Three comparison tests are used to evaluate the algorithm. Tests on large data sets show PCNNE efficiently detects texts with various colors, font sizes, positions, and uneven illumination. This method outperforms several traditional methods both in text detection rate and text detection accuracy.

关键词： simplified pulse coupled neural network phase congruency text location

来源：评论

学校读者我要写书评

暂无评论

Activity recognition based on semantic spatial relation

Activity recognition based on semantic spatial relation

引用

International Conference on Pattern Recognition

作者： Lingxun Meng Laiyun Qing Peng Yang Jun Miao Xilin Chen Dimitris N. Metaxas University of the Chinese Academy of Sciences Beijing Beijing CN Computer Science Department Rutgers University Piscataway NJ USA Key Laboratory of Intelligent Information Processing Institute of Computing Technology Chinese Academy of Sciences Beijing China

We propose an approach to recognize group activities which involve several persons based on modeling the interactions between human bodies. Benefitted from the recent progress in pose estimation [1], we model the activities as the interactions between the parts belong to the same person (intra-person) and those between the parts of different persons (inter-person). Then a unified, discriminative model which integrates both types of interactions is developed. The experiments on the UT-Interaction Dataset [2] show the promising results and demonstrate the power of the interacting models.

关键词： Joints Humans Semantics Testing Estimation Biological system modeling Image recognition

来源：评论

学校读者我要写书评

暂无评论

Efficiently querying business process models with BeehiveZ

Efficiently querying business process models with BeehiveZ

引用

19th Conference on Business Process Management 2011, BPM 2011

作者： Jin, Tao Wang, Jianmin Wen, Lijie Department of Computer Science and Technology Tsinghua University China School of Software Tsinghua University China Key Laboratory for Information System Security Ministry of Education China Tsinghua National Laboratory for Information Science and Technology China

The technology of business process management is being more widely used, and there are more and more business process models. In this demonstration, we show how to query a large number of models efficiently with BeehiveZ. Four types of queries are all supported in BeehiveZ, i.e. exact query based on structure, similarity query based on structure, exact query based on behavior, similarity query based on behavior. BeehiveZ provides different indexes to facilitate the efficient query processing of different types of queries. To make BeehiveZ more applicable, label similarity is considered.

关键词： Enterprise resource management

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：