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

Conference on Human Factors in Computing systems - Proceedings 2007年 303-306页

作者： Tian, Feng Ao, Xiang Wang, Hongan Setlur, Vidya Dai, Guozhong Intelligence Engineering Lab. Institute of Software Chinese Academy of Sciences P.O.Box 8718 Beijing China State Key Lab. of Computer Science P.O.Box 8718 Beijing China Nokia Research Palo Alto 975 Page Mill Road Palo Alto CA United States

ISBN: (纸本)1595935932;9781595935939

In order to improve stimulus-response compatibility of touchpad in pen-based user interface, we present the tilt cursor, i.e. a cursor dynamically reshapes itself to providing the 3D orientation cue of pen. We also present two experiments that evaluate the tilt cursor?s performance in circular menu selection and specific marking menu selection tasks. Results show that in a specific marking menu selection task, the tilt cursor significantly outperforms the shape-fixed arrow cursor and the live cursor [4]. In addition, results show that by using the tilt cursor, the response latencies for adjusting drawing directions are smaller than that by using the other two kinds of cursors. © Copyright 2007 ACM.

关键词： Human computer interaction Sensory perception Three dimensional computer graphics Ubiquitous computing Menu selection task Stimulus response compatibility

来源：评论

学校读者我要写书评

暂无评论

An access control model in lager-scale P2P file sharing systems

An access control model in lager-scale P2P file sharing syst...

引用

7th International Conference on Computational science (ICCS 2007)

作者： Yue Guang-xue Yu Fei Chen Li-ping Chen Yi-jun College of Information Engineering Jiaxing University 314000 China Department of Computer Science and Technology Huaihua University 418000 China State Key Lab. for Novel Software Technology Nanjing University 210093 China Jiangsu Provincial Key Laboratory of Computer Information Processing Technology Suzhou University 2150063 China

ISBN: (纸本)9783540725893

In lager-scale P2P file sharing systems, peers often must interact with unknown or unfamiliar peers without the benefit of trusted third parties or authorities to mediate the interactions. The decentralized and anonymous characteristics of P2P environments make the task of controlling access to sharing information more difficult. In this paper, we identify access control requirements and propose a trust based access control framework for P2P file-sharing systems. The model integrates aspects of trust and recommendation, fairness based participation schemes and access control schemes.

关键词： Distributed computer systems

来源：评论

学校读者我要写书评

暂无评论

Approximation to the minimum rooted star cover problem

Approximation to the minimum rooted star cover problem

引用

4th International Conference on Theory and Applications of Models of Computation, TAMC 2007

作者： Wenbo, Zhao Peng, Zhang State Key Lab. of Computer Science Institute of Software Chinese Academy of Sciences P.O.Box 8718 Beijing 100080 China Graduate University Chinese Academy of Sciences Beijing China

ISBN: (纸本)3540725032

In this paper, we study the following minimum rooted star cover problem: given a complete graph G = (V, E) with a length function l : E &rarr + that satisfies the triangle inequality, a designated root vertex r ∈ V, and a length bound D, the objective is to find a minimum cardinality set of rooted stars, that covers all vertices in V such that the length of each rooted star is at most D, where a rooted star is a subset of E having a common center s S V and containing the edge (r, s). This problem is NP-complete and we present a constant ratio approximation algorithm for this problem. Springer-Verlag Berlin Heidelberg 2007.

关键词： Computational geometry

来源：评论

学校读者我要写书评

暂无评论

A new group rekeying scheme based on t-packing designs for ad hoc networks 2

A new group rekeying scheme based on t-packing designs for a...

引用

2nd International Conference on Scalab.e Information systems, InfoScale 2007

作者： Chen, Jianwei Xu, Li Mu, Yi Key Lab. of Network Security and Cryptology Fujian Normal University Fuzhou350007 China School of Computer Science and Software Engineering University of Wollongong WollongongNSW2522 Australia

ISBN: (纸本)9781595937575

Secure group key distribution and efficient rekeying is one of the most challenging security issues in ad hoc networks at present. In this paper, Latin squares are used to construct orthogonal arrays in order to quickly obtain t-packing designs. Based on cover-free family properties, t-packing designs are adopted in key predistribution phase. Then the pre-deployed keys are used for implementing secure channels between members for group key distribution. The new scheme improves the collusion-resilience of the networks using the cover-free family properties, and enhances the key-sharing connectivity of nodes which makes key management more efficient. This paper also presents in depth theory and data analysis of the new scheme in terms of network security and connectivity.1 Copyright 2007 ACM.

关键词： Ad hoc networks

来源：评论

学校读者我要写书评

暂无评论

An energy-aware protocol for data gathering applications in wireless sensor networks

An energy-aware protocol for data gathering applications in ...

引用

IEEE International Conference on Communications (ICC 2007)

作者： Liu, Ming Zheng, Yuan Cao, Jiannong Chen, Guihai Chen, Lijun Gong, Haigang School of Computer Science and Engineering University of Electronic and Technology of China China Internet and Mobile Computing Lab. Department of Computing Hong Kong Polytechnic University Hong Kong State Key Laboratory for Novel Software Technology Nanjing University China

ISBN: (纸本)9781424403523

Data gathering is a major function of many applications in wireless sensor networks (WSNs). The most important issue in designing a data gathering algorithm is how to save energy of sensor nodes while meeting the requirement of applications/users such as sensing area coverage. In this paper, we propose a novel hierarchical clustering protocol for long-lived sensor network. EAP achieves a good performance in terms of lifetime by minimizing energy consumption for in-network communications and balancing the energy load among all nodes. EAP introduces a new clustering parameter for cluster head election, which can better handle the heterogeneous energy capacities. Furthermore, it also introduces a simple but efficient approach, namely intra-cluster coverage to cope with the area coverage problem. We evaluate the performance of the proposed protocol using a simple temperature sensing application. Simulation results show that our protocol significantly outperforms LEACH and HEED in terms of network lifetime and the amount of data gathered.

关键词： Network protocols

来源：评论

学校读者我要写书评

暂无评论

Improved H.264 GOP-level bit allocation by incremental PID algorithm

Improved H.264 GOP-level bit allocation by incremental PID a...

引用

IET Conference on Wireless, Mobile and Sensor Networks 2007, CCWMSN'07

作者： Shen, Liquan Zhang, Zhaoyang Li, Ying Liu, Zhi Key Lab. of Advanced Display and System Application Ministry of Education Shanghai Univ. Shanghai 200072 China School of Computer Engineering and Science Shanghai University Shanghai 200072 China

ISBN: (纸本)9780863418365

Since the current rate control schemes in H.264 do not present the capability of efficient GOP-level bit allocation, the video quality varies greatly for sequences with the scene change or the scene complexity varying from one GOP to another. To overcome the limitation, we propose a novel rate control scheme based on incremental PID algorithm. The incremental PID algorithm is introduced to minimize video quality variations in GOP-level bit allocation. Extensive simulation results show that the proposed rate control scheme, without expensive computational complexity added, decreases the average video quality variations by 15.07%.

关键词： Quality control

来源：评论

学校读者我要写书评

暂无评论

The soundness and completeness proof of agent intention in AgentSpeak 07

The soundness and completeness proof of agent intention in A...

引用

IEEE/WIC/ACM International Conference on Web Intelligence, WI 2007

作者： Yang, Bo Qin, Zheng Yu, Fan Qin, Jun Dep. of Computer Science and Technology Xi'an Jiaotong University Dep. of Computer Science and Technology Xi'an Jiaotong University Tsinghua University Key Lab. for ISS Software School Tsinghua University Manchester Business School

ISBN: (纸本)0769530265

Autonomy is one of the characteristics that agent has which distinguish agent systems from the other conceptualisations within computer science. To prove the validity of intention execution in AgentSpeak, according to the agent's goal, we construct a model-theoretic semantics of AgentS-peak and an informal interpretation of agent program. Then we give an equivalence theorem of intention execution for AgentSpeak that the sequence of actions produced by an agent written in AgentSpeak is equivalent with the intention produced by the model that satisfies the belief set and plan set of agent. © 2007 IEEE.

关键词： Semantics

来源：评论

学校读者我要写书评

暂无评论

Real-time component composition using hierarchical timed automata

Real-time component composition using hierarchical timed aut...

引用

7th International Conference on Quality software, QSIC 2007

作者： Jin, Xianli Huadong, Ma. Gu, Zonghua Beijing Key Lab. of Intelligent Telecommunications Software and Multimedia Beijing University of Posts and Telecommunications Beijing 100876 China Department of Computer Science and Engineering Hong Kong University of Science and Technology HKG Hong Kong

ISBN: (纸本)0769530354

In component-based software development, it is important to use formal models to describe component composition. However, the existing component composition models generally ignore real-time issues. We present a formal integration model based on Hierarchical Timed Automata (HTA) for real-time software system. We present formal definition of components and different component composition techniques. We then introduce the notions of composable and compatible composition, and use Multiset lab.led Transition systems to represent the interface actions of HTA to perform compositional verification. This hierarchical and unified framework establishes the foundation for formal analysis of real-time properties of the system. © 2007 IEEE.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

ReCoDa: Reliable forwarding of correlated data in sensor networks with low latency 07

ReCoDa: Reliable forwarding of correlated data in sensor net...

引用

IWCMC 2007: 2007 International Wireless Communications and Mobile Computing Conference

作者： Luo, Hong Zhang, Zengjun Liu, Yonghe Beijing Key Lab. of Intelligent Telecom Software and Multimedia Beijing University of Posts and Telecommunications Beijing 100876 China Department of Computer Science and Engineering University of Texas at Arlington Arlington TX 76019

ISBN: (纸本)1595936955

The method of using in-network aggregation for energy efficient data collection often results in processing delay and additional time for gathering related data at an intermediate node. This unfortunately may make the scheme undesirable for networks deployed for emergent event monitoring. In this paper, we propose ReCoDa - Reliable forwarding of Correlated Data with low latency, an energy-efficient and reliable delivery scheme benefiting from data correlation among sensor nodes but without performing in-network aggregation. Our idea is to allow each node to determine the data transmission reliability it shall obtain based on the preceding transmissions from other nodes, subjecting to the overall information reliability requirement. This in turn is achieved through controllab.e multi-path forwarding. Simulation shows that ReCoDa can successfully reduce redundancy up to 2.9 times compared with schemes not exploiting data redundancy and achieves energy efficiency up to 4.79 times higher. Copyright 2007 ACM.

关键词： Wireless sensor networks

来源：评论

学校读者我要写书评

暂无评论

A new data protecting scheme based on TPM

A new data protecting scheme based on TPM

引用

SNPD 2007: 8th ACIS International Conference on software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing

作者： Mingdi, Xu Jian, He Bo, Zhang Huanguo, Zhang School of Computer State Key Lab. of Software Engineering Wuhan University Informationization Construction Teaching and Research Section Commanding Communications Academy Computer Faculty Working Office Electronic Information Department Hubei Water Resources Technical College

ISBN: (纸本)0769529097

Trusted platform model (TPM) is special-purpose integrated circuits built into a variety of platforms to enable strong user authentication and machine attestation-essential to prevent inappropriate access to confidential and sensitive information and to protect against compromised networks. As a necessary component for multifarious platforms, storage device keeps on a mass of data including confidential and secretive information. How to ensure data not to be accessed by unauthorized users effectively, and to guarantee information to be in safe and secure state? Aiming at these problems, we put forward a novel scheme for protecting data on personal computer platform. By combing trusted computing platform, we propose a secure and reliable model for user authentication and data encryption. The model uses storage protocol to establish a password system to encrypt data, and uses TPM to authenticate different users. We also implement this model by adding it into trusted computing platform. The enhanced platform can not only encrypt data per sector drastically, but also exclude those who can't be authenticated. Some external software attacks and physical theft also cut no ice. © 2007 IEEE.

关键词： Security of data

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：