【精品】2004年软件所被istp收录的文章32

【精品】2004年软件所被istp收录的文章32 2004 1. 检索条件 地址=(((Inst Sofware) OR (Inst Software) OR (Software Inst)) SAME (Chin* and aca*) SAME Beijing) AND 出版年=(2004) 入库时间=所有年份. 数据库=CPCI-S. 2. 检索结果 显示 1 条，共 58 条 作者: Zheng, JP; Huang, K; Wu, YC; Wu, ZM 编者: Ke, G 标题: Mobility pattern based adaptive mobile multicast algorithm 来源出版物: 2004 JOINT CONFERENCE OF THE 10TH ASIA-PACIFIC CONFERENCE ON COMMUNICATIONS AND THE 5TH INTERNATIONAL SYMPOSIUM ON MULTI-DIMENSIONAL MOBILE COMMUNICATIONS, VOLS 1 AND 2, PROCEEDINGS: 888-892 2004 语言: English 文献类型: Proceedings Paper 会议标题: Joint Conference of the 10th Asia-Pacific Conference on Communications/5th International Symposium on Mult-Dimensional Mobile Communication 会议日期: AUG 29-SEP 01, 2004 会议地点: Beijing, PEOPLES R CHINA 会议赞助商: China Inst Communicat.; Inst Elect Informat, & Communicat Engineers.; Koreean Inst Communicat Syst.; IEEE Communicat Soc.; Nat Sci Fdn China. 会议主办方: Tsinghua Univ 摘要: Mobile IT proposes two approaches to support mobile multicast, which are bi-directional tunneling and remote subscription. The former hides host mobility from all other members of the group so that the multicast tree can remain unchanged, but it introduces the triangle routing problem; the latter provides the shortest routes for the delivery of multicast datagram but at the cost of tree reconstruction. After analyzing the user mobility pattern, an adaptive mobile multicast algorithm based on the mobility patter is proposed. The mobile host adaptively chooses bi-direction tunneling or remote subscription to perform the multicast handoff according to its mobility pattern. When the movement is low, the proposed algorithm optimizes the multicast data transmission with little cost of tree reconstruction, and while the movement is high, it avoids the frequent multicast handoff so as to reduce the tree reconstruction cost. 地址: Chinese Acad Sci, Inst Software, Beijing, Peoples R China 通讯作者地址: Zheng, JP, Chinese Acad Sci, Inst Software, Beijing, Peoples R China. 引用的参考文献数: 9 被引频次: 0 出版商: IEEE 出版商地址: 345 E 47TH ST, NEW YORK, NY 10017 USA ISBN: 0-7803-8601-9 来源文献页码计数: 5 学科类别: Telecommunications ISI 文献传递号: BBL82 -------------------------------------------------------------------------------- 显示 2 条，共 58 条 作者: Chen, Y; Yang, LH; Wang, YG 编者: Rastogi, R; Morik, K; Bramer, M; Wu, X 标题: Incremental mining of frequent XML query patterns 来源出版物: FOURTH IEEE INTERNATIONAL CONFERENCE ON DATA MINING, PROCEEDINGS: 343-346 2004 语言: English 文献类型: Proceedings Paper 会议标题: 4th IEEE International Conference on Data Mining 会议日期: NOV 01-04, 2004 会议地点: Brighton, ENGLAND 会议赞助商: IEEE Comp Soc, TCCI.; IEEE Comp Soc, TCPAMI.; IBM Res.; StatSoft Ltd.; Web Intelligence Consortium. 摘要: Recently, the discovering of frequent XML query patterns gains its focus due to its many applications in XML data management, and several algorithms have been proposed to discover frequent query patterns using the frequent structure mining techniques. In this paper we consider the problem of incremental mining of frequent XML query patterns. We propose a novel method to minimize the I/O and computation requirements for handling incremental updates. 地址: Chinese Acad Sci, Inst Software, Beijing 100864, Peoples R China 通讯作者地址: Chen, Y, Chinese Acad Sci, Inst Software, Beijing 100864, Peoples R China. 引用的参考文献数: 5 被引频次: 0 出版商: IEEE COMPUTER SOC 出版商地址: 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA ISBN: 0-7695-2142-8 来源文献页码计数: 4 学科类别: Computer Science, Artificial Intelligence; Computer Science, Information Systems ISI 文献传递号: BBI95 -------------------------------------------------------------------------------- 显示 3 条，共 58 条 作者: Hu, CY; Zhang, BY; Yan, SC; Yang, Q; Yan, J; Chen, Z; Ma, WY 编者: Rastogi, R; Morik, K; Bramer, M; Wu, X 标题: Mining ratio rules via principal sparse non-negative matrix factorization 来源出版物: FOURTH IEEE INTERNATIONAL CONFERENCE ON DATA MINING, PROCEEDINGS: 407-410 2004 语言: English 文献类型: Proceedings Paper 会议标题: 4th IEEE International Conference on Data Mining 会议日期: NOV 01-04, 2004 会议地点: Brighton, ENGLAND 会议赞助商: IEEE Comp Soc, TCCI.; IEEE Comp Soc, TCPAMI.; IBM Res.; StatSoft Ltd.; Web Intelligence Consortium. 摘要: Association rules are traditionally designed to capture statistical relationship among itemsets in a given database. To additionally capture the quantitative association knowledge, F. Korn et al recently proposed a paradigm named Ratio Rules [4] for quantifiable data mining. However, their approach is mainly based on Principle Component Analysis (PCA) and as a result, it cannot guarantee that the ratio coefficient is non-negative. This may lead to serious problems in the rules' application. In this paper, we propose a new method, called Principal Sparse Non-Negative Matrix Factorization (PSNMF), for learning the associations between itemsets in the form of Ratio Rules. In addition, we provide a support measurement to weigh the importance of each rule for the entire dataset. 地址: Chinese Acad Sci, Inst Software, Beijing, Peoples R China 通讯作者地址: Hu, CY, Chinese Acad Sci, Inst Software, Beijing, Peoples R China. 引用的参考文献数: 7 被引频次: 0 出版商: IEEE COMPUTER SOC 出版商地址: 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA ISBN: 0-7695-2142-8 来源文献页码计数: 4 学科类别: Computer Science, Artificial Intelligence; Computer Science, Information Systems ISI 文献传递号: BBI95 -------------------------------------------------------------------------------- 显示 4 条，共 58 条 作者: Shen, YD; Shen, ZY; Zhang, SM; Yang, Q 编者: Rastogi, R; Morik, K; Bramer, M; Wu, X 标题: Cluster cores-based clustering for high dimensional data 来源出版物: FOURTH IEEE INTERNATIONAL CONFERENCE ON DATA MINING, PROCEEDINGS: 519-522 2004 语言: English 文献类型: Proceedings Paper 会议标题: 4th IEEE International Conference on Data Mining 会议日期: NOV 01-04, 2004 会议地点: Brighton, ENGLAND 会议赞助商: IEEE Comp Soc, TCCI.; IEEE Comp Soc, TCPAMI.; IBM Res.; StatSoft Ltd.; Web Intelligence Consortium. KeyWords Plus: ALGORITHM 摘要: We propose a new approach to clustering high dimensional data based on a novel notion of cluster cores, instead of on nearest neighbors. A cluster core is a fairly dense group with a maximal number of pairwise similar objects. It represents the core of a cluster as all objects in a cluster are with a great degree attracted to it. As a result, building clusters from cluster cores achieves high accuracy. Other major characteristics of the approach include: (1) It uses a semantics-based similarity measure. (2) It does not incur the curse of dimensionality and is scalable linearly with the dimensionality of data. (3) It outperforms the well-known clustering algorithm, ROCK, with both lower time complexity and higher accuracy. 地址: Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China 通讯作者地址: Shen, YD, Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China. 引用的参考文献数: 4 被引频次: 0 出版商: IEEE COMPUTER SOC 出版商地址: 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA ISBN: 0-7695-2142-8 来源文献页码计数: 4 学科类别: Computer Science, Artificial Intelligence; Computer Science, Information Systems ISI 文献传递号: BBI95 -------------------------------------------------------------------------------- 显示 5 条，共 58 条 作者: Wang, JF; Li, L; Zhou, MT; Xu, FJ; Sun, FC 书籍团体作者: ieee 标题: An adaptive strategy for high-speed network flow compression 来源出版物: GLOBECOM '04: IEEE GLOBAL TELECOMMUNICATIONS CONFERENCE, VOLS 1-6: 1645-1649 2004 丛书标题: IEEE Global Telecommunications Conference (Globecom) 语言: English 文献类型: Proceedings Paper 会议标题: IEEE Global Telecommunications Conference (GLOBECOM 04) 会议日期: NOV 29-DEC 03, 2004 会议地点: Dallas, TX 会议赞助商: IEEE.; Strateg Alliance Metroplex Technol.; Freescale.; IDT.; Nokia.; Univ Texas Austin, ECE.; Wireless Valley Commun Inc.; ALCATEL.; ALTERA.; Raytheon.; SMU Eng.; UTA Eng.; Univ Texas Dallas, Erik Jonsson Sch Engn & Comp Sci.; Axes Technol. 摘要: Collecting network traffic is becoming a more challenging task in passive network measurement due to the rapid growth of link speed. Flow-based network traffic capture and storage is an efficient way for highspeed network measurement. Based on the statistical investigation of the correlations between flow size and the maximum packets interinterval time of consecutive packets within a flow, we obtain the empirical conditional distribution functions for some popular TCP protocol-based application flows, and then propose a Probability-Guaranteed Adaptive Timeout algorithm (PGAT) for flow termination decision. The assessment criteria for flow termination decision algorithm is systematically developed. Comparisons on flow generation ratio,flow intact ratio, and mean flow extra retaining time metrics indicate that the PGAT algorithm can obtain more attractive performance than other schemes. 地址: Chinese Acad Sci, Inst Software, Lab Gen Software, Beijing 100864, Peoples R China 通讯作者地址: Wang, JF, Chinese Acad Sci, Inst Software, Lab Gen Software, Beijing 100864, Peoples R China. 引用的参考文献数: 14 被引频次: 0 出版商: IEEE 出版商地址: 345 E 47TH ST, NEW YORK, NY 10017 USA ISBN: 0-7803-8794-5 29 字符的来源出版物名称缩写: GLOB TELECOMM CONF 来源文献页码计数: 5 学科类别: Computer Science, Information Systems; Telecommunications ISI 文献传递号: BBO43 -------------------------------------------------------------------------------- 显示 6 条，共 58 条 作者: Chen, HM; Dong, YM 编者: Fujita, H; Gruhn, V 标题: Facilitating formal specification acquisition by using recursive functions on context-free languages 来源出版物: NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 111: 213-227 2004 丛书标题: FRONTIERS IN ARTIFICIAL INTELLIGENCE AND APPLICATIONS 语言: English 文献类型: Proceedings Paper 会议标题: 3rd International Conference on Software Methodology Tools and Techniques (SoMeT-04) 会议日期: SEP 28-30, 2004 会议地点: Leipzig, GERMANY 摘要: Although formal specification techniques are very useful in software development, the acquisition of formal specification is a difficult task. This paper presents the formal software specification language LFC, which is designed to facilitate the acquisition and validation of formal specifications. LFC relies on a new kind of recursive functions, i.e. recursive functions on context-free languages, for semantic aspect and uses context-free languages for syntactic aspect of specifications. Specification in LFC and the validation are entirely machine aided. Specification is mainly facilitated through grammatical learning technique and machine-aided function construction. Validation is facilitated by sample recognition and generation techniques and rapid prototyping technique. A formal specification acquisition system SAQ has been implemented, several non-trivial examples have been developed using SAQ. 地址: Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China 通讯作者地址: Chen, HM, Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China. 引用的参考文献数: 22 被引频次: 0 出版商: I O S PRESS 出版商地址: NIEUWE HEMWEG 6B, 1013 BG AMSTERDAM, NETHERLANDS ISSN: 0922-6389 ISBN: 1-58603-455-3 29 字符的来源出版物名称缩写: FR ART INT 来源文献页码计数: 15 学科类别: Computer Science, Artificial Intelligence ISI 文献传递号: BBH03 -------------------------------------------------------------------------------- 显示 7 条，共 58 条 作者: She, CD; Li, L; Wang, HB; Gao, B; Deng, HQ 书籍团体作者: ieee 标题: An improved parallel algorithm for finding frequent item-sets 来源出版物: PROCEEDINGS OF THE 2004 INTERNATIONAL CONFERENCE ON INTELLIGENT MECHATRONICS AND AUTOMATION: 383-386 2004 语言: English 文献类型: Proceedings Paper 会议标题: International Conference on Intelligent Mechatronics and Automation 会议日期: AUG 26-31, 2004 会议地点: Chengdu, PEOPLES R CHINA 会议赞助商: Hong Kong Univ Sci & Technol.; Kagawa Univ.; Univ Electro Commun.; Natl Nat Sci Fdn China.; Shanghai Univ.; Harbin Engn Univ.; Japan Soc Precis Engn.; IEEE Robot & Automat Soc.; IEEE Syst, Man & Cybernet Soc.; IEEE Shikoku Sect.; Chinese Inst Elect.; Chinese Soc Mech Engn.; China Cleaning Engn Technol Cooperat Assoc.; Robot Soc Japan.; Int Mechatron Forum.; JSPE, Tech Comm Intell Mechatron.; Minist Educ, China. 会议主办方: Univ Elect Sci & Technol China 作者关键词: data mining; parallel processing; association rules; load balance; shared memory KeyWords Plus: ASSOCIATION RULES 摘要: Discovery of associations from large-sets becomes increasingly useful in data-mining field. Several sequential and parallel algorithms for discovery of association rules are analyzed in this paper. And based on the efficient FP-growth algorithm without candidacy, its implementation method of constructing the frequent pattern tree and mining frequent item sets is given for the shared memory parallel formulation. However, it becomes less effective due to the imbalance. Therefore, a dynamic mechanism is proposed in this paper to solve the problem successfully. 地址: Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China 通讯作者地址: She, CD, Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China. 引用的参考文献数: 17 被引频次: 0 出版商: IEEE 出版商地址: 345 E 47TH ST, NEW YORK, NY 10017 USA ISBN: 0-7803-8748-1 来源文献页码计数: 4 学科类别: Automation & Control Systems; Computer Science, Artificial Intelligence; Engineering, Mechanical; Robotics ISI 文献传递号: BBG56 -------------------------------------------------------------------------------- 显示 8 条，共 58 条 作者: Hou, X; Fan, ZH; Li, L; Xu, FJ; She, CD; Hu, G 书籍团体作者: ieee 标题: Algorithm of fault diagnosis for satellite network 来源出版物: PROCEEDINGS OF THE 2004 INTERNATIONAL CONFERENCE ON INTELLIGENT MECHATRONICS AND AUTOMATION: 594-598 2004 语言: English 文献类型: Proceedings Paper 会议标题: International Conference on Intelligent Mechatronics and Automation 会议日期: AUG 26-31, 2004 会议地点: Chengdu, PEOPLES R CHINA 会议赞助商: Hong Kong Univ Sci & Technol.; Kagawa Univ.; Univ Electro Commun.; Natl Nat Sci Fdn China.; Shanghai Univ.; Harbin Engn Univ.; Japan Soc Precis Engn.; IEEE Robot & Automat Soc.; IEEE Syst, Man & Cybernet Soc.; IEEE Shikoku Sect.; Chinese Inst Elect.; Chinese Soc Mech Engn.; China Cleaning Engn Technol Cooperat Assoc.; Robot Soc Japan.; Int Mechatron Forum.; JSPE, Tech Comm Intell Mechatron.; Minist Educ, China. 会议主办方: Univ Elect Sci & Technol China 作者关键词: system level diagnosis; fault diagnosis; satellite network KeyWords Plus: SYSTEMS 摘要: Automated fault diagnosis becomes increasingly important to satellite work. In an early paper, we introduced system level diagnosis theory into satellite network firstly and presented two-level-node graph, a novel modeling method. Based on these work, a new test invalidation model under certain fault pattern is presented and a diagnosis algorithm is proposed in this paper. Diagnosis can be divided into two steps, local diagnosis and centralized diagnosis. The former is distributed, which can reduce the diagnosis delay by collecting test results in satellites parallelly. The latter is centralized, which can make use of the regularity of satellite network. The procedure of local diagnosis is described by activity cycle diagram. During diagnosing, little professional knowledge about satellite needs to be involved. An example illustrates the diagnosis algorithm and its effect. 地址: Chinese Acad Sci, Inst Software, Gen Software Lab, Beijing, Peoples R China 通讯作者地址: Hou, X, Chinese Acad Sci, Inst Software, Gen Software Lab, 4 S 4th St, Beijing, Peoples R China. 引用的参考文献数: 6 被引频次: 0 出版商: IEEE 出版商地址: 345 E 47TH ST, NEW YORK, NY 10017 USA ISBN: 0-7803-8748-1 来源文献页码计数: 5 学科类别: Automation & Control Systems; Computer Science, Artificial Intelligence; Engineering, Mechanical; Robotics ISI 文献传递号: BBG56 -------------------------------------------------------------------------------- 显示 9 条，共 58 条 作者: Li, L; Xu, FJ; Wang, HB; She, CD; Fan, ZH 书籍团体作者: ieee 标题: IAM: An algorithm of indirect association mining 来源出版物: PROCEEDINGS OF THE 2004 INTERNATIONAL CONFERENCE ON INTELLIGENT MECHATRONICS AND AUTOMATION: 831-835 2004 语言: English 文献类型: Proceedings Paper 会议标题: International Conference on Intelligent Mechatronics and Automation 会议日期: AUG 26-31, 2004 会议地点: Chengdu, PEOPLES R CHINA 会议赞助商: Hong Kong Univ Sci & Technol.; Kagawa Univ.; Univ Electro Commun.; Natl Nat Sci Fdn China.; Shanghai Univ.; Harbin Engn Univ.; Japan Soc Precis Engn.; IEEE Robot & Automat Soc.; IEEE Syst, Man & Cybernet Soc.; IEEE Shikoku Sect.; Chinese Inst Elect.; Chinese Soc Mech Engn.; China Cleaning Engn Technol Cooperat Assoc.; Robot Soc Japan.; Int Mechatron Forum.; JSPE, Tech Comm Intell Mechatron.; Minist Educ, China. 会议主办方: Univ Elect Sci & Technol China 作者关键词: data mining; association rule; indirect association; the bridge itemset; IAM 摘要: There have been several algorithms for mining association rules, such as Apriori and some improved Aprioris, only to be interested in those itemsets, which have support above a user-defined threshold. However, there exists a kind of important rule, indirect association, hidden in these itemsets, which are filtered out. When a pair of items, (A, B), which seldom occur together in the same transaction, are highly dependent on the presence of another itemset, Z, the pair (A, B) are said to be indirectly associated via L In this paper, the definition of indirect association is firstly given. Then a measure of dependence to estimate the correlation between relative frequent items and a simple way to express the closeness between a pair of items indirectly associated by another itemset are provided. In addition, two kinds of classifying standard for indirect association rules are proposed for further research. In order to mine such indirect association rules, an algorithm of indirect association mining (IAM) is presented. And the complexity analysis about this algorithm is showed. An experiment in order to verify the utility of this algorithm is made. Finally, some issues about the JAM algorithm are put forward for future research. 地址: Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China 通讯作者地址: Li, L, Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China. 引用的参考文献数: 14 被引频次: 0 出版商: IEEE 出版商地址: 345 E 47TH ST, NEW YORK, NY 10017 USA ISBN: 0-7803-8748-1 来源文献页码计数: 5 学科类别: Automation & Control Systems; Computer Science, Artificial Intelligence; Engineering, Mechanical; Robotics ISI 文献传递号: BBG56 -------------------------------------------------------------------------------- 显示 10 条，共 58 条 作者: Zhou, J; Ma, YL; Li, W; Wu, ZL 编者: Arabnia, HR; Reza, H 标题: A formal framework of UML 来源出版物: SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2: 151-157 2004 语言: English 文献类型: Proceedings Paper 会议标题: International Conference on Software Engineering Research and Practice 会议日期: JUN 21-24, 2004 会议地点: Las Vegas, NV 会议赞助商: Comp Sci Res, Educa & Applicat Press.; Int Technol Inst.; Korean Soc Internet Informat.; World Acad Sci Informat Technol. 作者关键词: UML; algebraic representation; class diagram; sequence diagram 摘要: This paper describes a metrics oriented algebraic representation for UML Class and Sequence diagrams. The paper uses an example to illustrate how to transform between UML graphical and algebraic representations; the transformation serves as the basis of automated generation of algebraic UML during design. The algebraic representation of object-oriented design provides a foundation for design model checking. 地址: Chinese Acad Sci, Inst Software, Technol Ctr Software Engn, Beijing 100080, Peoples R China 通讯作者地址: Zhou, J, Chinese Acad Sci, Inst Software, Technol Ctr Software Engn, POB 8718, Beijing 100080, Peoples R China. 引用的参考文献数: 8 被引频次: 0 出版商: C S R E A PRESS 出版商地址: 115 AVALON DR, ATHENS, GA 30606 USA ISBN: 1-932415-30-0 来源文献页码计数: 7 学科类别: Computer Science, Software Engineering ISI 文献传递号: BBK74 -------------------------------------------------------------------------------- 显示 11 条，共 58 条 作者: Xiao, JF; Lin, DD 编者: Chen, J 标题: Survey of Security in Grid Services 来源出版物: SHAPING BUSINESS STRATEGY IN A NETWORKED WORLD, VOLS 1 AND 2, PROCEEDINGS: 1241-1245 2004 语言: English 文献类型: Proceedings Paper 会议标题: 4th International Conference on Electronic Business (ICEB 2004) 会议日期: DEC 05-09, 2004 会议地点: Beijing, PEOPLES R CHINA 作者关键词: Grid; security; GSI; Globus 摘要: This article provides a survey of Security in Grid Services coming from a study of many papers most of which were done by the Grid Forum OGSA-SEC (Open Grid Service Architecture Security) working group, GSI (Grid Security Infrastructure) working group, and Globus Alliance team and other people who contributed to Grid. It describes the best practice in terms of Grid Security Challenges, Grid Security Requirements, and the GT3 (Globus Toolkit version 3) Security Model for OGSA. Most of these were further refined in separate documents. 地址: Chinese Acad Sci, Grad Sch, State Key Lab Informat Secur, Inst Software, Beijing 100080, Peoples R China 通讯作者地址: Xiao, JF, Chinese Acad Sci, Grad Sch, State Key Lab Informat Secur, Inst Software, Beijing 100080, Peoples R China. 引用的参考文献数: 23 被引频次: 0 出版商: INTERNATIONAL ACADEMIC PUBLISHERS LTD 出版商地址: UNIT 1205, 12 FLOOR, SINO PLAZA, 255 GLOUCESTER ROAD, HONG KONG 00000, CAUSEWAY BAY, PEOPLES R CHINA ISBN: 7-5062-7342-X 来源文献页码计数: 5 学科类别: Computer Science, Artificial Intelligence; Engineering, Electrical & Electronic; Telecommunications ISI 文献传递号: BBO87 -------------------------------------------------------------------------------- 显示 12 条，共 58 条 作者: Wu, YC; Sun, LM; Ma, H 书籍团体作者: IEEE 标题: Adaptive robust header compression based on RTS/CTS handshake for real-time streams in 3G wireless network 来源出版物: VTC2004-SPRING: 2004 IEEE 59TH VEHICULAR TECHNOLOGY CONFERENCE, VOLS 1-5, PROCEEDINGS: 2281-2285 2004 语言: English 文献类型: Proceedings Paper 会议标题: 59th IEEE Vehicular Technology Conference 会议日期: MAY 17-19, 2004 会议地点: Milan, ITALY 会议赞助商: IEEE.; IEEE Vehicular Technol Soc. 作者关键词: adaptive; robust header compression; RTS/CTS KeyWords Plus: CHANNELS 摘要: In "all-IP" wireless networks, it is necessary to adopt header compression schemes to reduce the protocol header size in order to utilize the limited bandwidth efficiently and make real-time services economically feasible and physically realizable. In this paper, a new adaptive robust header compression algorithm based on RTS/CTS handshake for real-time streams in wireless networks such as 3G platforms is proposed and analyzed. Through adjusting the dimension of Variable Sliding Window (VSW) of Window-based Least Significant Bits (W-LSB) encoding in header compressor with the accurate estimation of wireless channel state, this adaptive algorithm can achieve the good balance of compression ratio and error-resistant robustness for its adaptive use in wireless links. We present simulation results that demonstrate the effectiveness of this adaptive algorithm over wireless links. 地址: Chinese Acad Sci, Inst Software, Beijing, Peoples R China 通讯作者地址: Wu, YC, Chinese Acad Sci, Inst Software, Beijing, Peoples R China. 引用的参考文献数: 17 被引频次: 0 出版商: IEEE 出版商地址: 345 E 47TH ST, NEW YORK, NY 10017 USA ISBN: 0-7803-8255-2 来源文献页码计数: 5 学科类别: Telecommunications ISI 文献传递号: BBN36 -------------------------------------------------------------------------------- 显示 13 条，共 58 条 作者: Sun, ZW; Feng, DG 书籍团体作者: PHEI 标题: A new detecting scheme for blind images watermarking 来源出版物: 2004 7TH INTERNATIONAL CONFERENCE ON SIGNAL PROCESSING PROCEEDINGS, VOLS 1-3: 2334-2337 2004 语言: English 文献类型: Proceedings Paper 会议标题: 7th International Conference on Signal Processing 会议日期: AUG 31-SEP 04, 2004 会议地点: Beijing, PEOPLES R CHINA 会议赞助商: Chinese Inst Elect.; IEEE Signal Proc Soc.; IEE.; Union Radio Sci Int.; IEEE Beijing Sect.; Natl Nat Sci Fdn China.; CIE Comm URSI.; IEEE Comp Soc Beijing Chapter.; IEEE SP Soc Beijing Chapter.; CIE Signal Proc Soc.; NO Jiaotong Univ. 作者关键词: digital watermarking; generalized Gaussian distribution; weak signal detection KeyWords Plus: OPTIMUM DETECTION; DOMAIN 摘要: Watermark detection plays a crucial role in digital watermarking. A robust DWT-domain watermark detection scheme is proposed in this paper. First, generalized gaussian distributions are applied to statistically model the wavelet coefficients of the detail sub-bands of the original image. Then, based on die theory of statistical inference mid weak signal detection in non-gaussian noise, a robust blind detection algorithm is derived. The performance of the new detector is analvzed. And the validity of die detector is also tested. 地址: Chinese Acad Sci, State Key Lab Informat Secur, Inst Software, Beijing 100080, Peoples R China 通讯作者地址: Sun, ZW, Chinese Acad Sci, State Key Lab Informat Secur, Inst Software, Beijing 100080, Peoples R China. 引用的参考文献数: 8 被引频次: 0 出版商: PUBLISHING HOUSE ELECTRONICS INDUSTRY 出版商地址: PO BOX 173 WANSHOU ROAD, BEIJING 100036, PEOPLES R CHINA ISBN: 7-121-00215-9 来源文献页码计数: 4 学科类别: Computer Science, Artificial Intelligence; Engineering, Electrical & Electronic; Imaging Science & Photographic Technology; Telecommunications ISI 文献传递号: BBR53 -------------------------------------------------------------------------------- 显示 14 条，共 58 条 作者: Jin, BH; Wang, JC 编者: Guo, QP 标题: Modeling distributed systems: Architecture and process 来源出版物: DCABES 2004, Proceedings, Vols, 1 and 2: 110-115 2004 语言: English 文献类型: Proceedings Paper 会议标题: International Symposium on Distributed Computing and Applications to Business, Engineering and Sciences 会议日期: SEP 13-16, 2004 会议地点: Wuhan, PEOPLES R CHINA 会议赞助商: Wuhan Univ Technol.; Minist Educ.; Natl Nat Sci Fdn China.; SUN Microsyst, Hong Kong Headquarters.; Int Sci & Technol Cooperat Assoc Hubei Prov.; Comp Acad Assoc Hubei Prov & Wuhan Metropolis. 作者关键词: modeling; distributed system; software process 摘要: With the rapid prevalence of distributed applications, more attentions have to be focused on modeling distributed system. This paper investigates the characteristics of constructing a distributed system, then gives a series of design considerations of distributed software architecture including component interaction, security, failure handling and QoS, and presents the suggestive modeling process which extends the regular software process. Case study shows our suggestions on modeling are valuable for constructing distributed systems. 地址: Chinese Acad Sci, Inst Software, Technol Ctr Software Engn, Beijing 100080, Peoples R China 通讯作者地址: Jin, BH, Chinese Acad Sci, Inst Software, Technol Ctr Software Engn, Beijing 100080, Peoples R China. 引用的参考文献数: 7 被引频次: 0 出版商: HUBEI SCI TECHNOL PRESS 出版商地址: 75 HUANGLI RD, WUHAN 430077, WUCHANG, PEOPLES R CHINA ISBN: 7-5352-3269-8 来源文献页码计数: 6 学科类别: Computer Science, Theory & Methods ISI 文献传递号: BBZ82 -------------------------------------------------------------------------------- 显示 15 条，共 58 条 作者: Feng, P; Cao, JW; Sun, JC 编者: Guo, QP 标题: Parallel reservoir integrated simulation platform for one million grid blocks case 来源出版物: DCABES 2004, Proceedings, Vols, 1 and 2: 681-684 2004 语言: English 文献类型: Proceedings Paper 会议标题: International Symposium on Distributed Computing and Applications to Business, Engineering and Sciences 会议日期: SEP 13-16, 2004 会议地点: Wuhan, PEOPLES R CHINA 会议赞助商: Wuhan Univ Technol.; Minist Educ.; Natl Nat Sci Fdn China.; SUN Microsyst, Hong Kong Headquarters.; Int Sci & Technol Cooperat Assoc Hubei Prov.; Comp Acad Assoc Hubei Prov & Wuhan Metropolis. 作者关键词: parallel numerical reservoir simulation; fine residual-oil distribution; one million grid blocks problem; integrated simulation platform; parallel computer; deadline; grid computing KeyWords Plus: BLACK-OIL MODEL 摘要: This article first provides a brief introduction to the numerical reservoir simulation and a parallel numerical reservoir integrated simulation platform from RDCPS (Research & Development Center for Parallel Software, Institute of Software, Chinese Academy of Sciences), including Pre-Processing, Simulator (for a Three-Dimensional & Three-Phase Black Oil models), Post Processing, seamlessly integrated with parallel computers. We then present key technologies of the simulator, such as the nonlinear and linear solvers, communications among processors, parallel I/O, etc., and corresponding resolvents. Finally, some results with the platform to solve one million grid blocks cases from Chinese oil fields will be given in the article, which can show that the simulator has a very robust portability, high-speed for deadline and good scalability for the tested cases. As application software, our object is always focusing on meeting deadlines from oil industry. Now, for one million grid blocks' case with 20 similar to 30 years production, its elapsed time with 16 processors is less than 12 hours on parallel computers based on Myrinet or QsNet namely "to submit a case just before off-duty and get its result just before on-duty". A decreasing line of elapsed time appears for a one million grid blocks case. The developing trace of the simulator along with parallel computers can be also inferred. 地址: Chinese Acad Sci, Inst Software, Res & Dev Ctr Parallel Software, Beijing, Peoples R China 通讯作者地址: Feng, P, Chinese Acad Sci, Inst Software, Res & Dev Ctr Parallel Software, POB 8718, Beijing, Peoples R China. 引用的参考文献数: 22 被引频次: 0 出版商: HUBEI SCI TECHNOL PRESS 出版商地址: 75 HUANGLI RD, WUHAN 430077, WUCHANG, PEOPLES R CHINA ISBN: 7-5352-3269-8 来源文献页码计数: 4 学科类别: Computer Science, Theory & Methods ISI 文献传递号: BBZ82 -------------------------------------------------------------------------------- 显示 16 条，共 58 条 作者: Cao, TJ; Lin, DD; Xue, R 编者: Zhong, Y 标题: Cryptanalysis of user efficient fair e-cash schemes 来源出版物: ICCC2004: Proceedings of the 16th International Conference on Computer Communication Vol 1and 2: 524-528 2004 语言: English 文献类型: Proceedings Paper 会议标题: 16th International Conference on Computer Communication (ICCC 2004) 会议日期: SEP 15-17, 2004 会议地点: Beijing, PEOPLES R CHINA 会议赞助商: Minist Informat Ind.; Int Council Comp Commun.; China Ctr Informat Ind Dev.; China Elect Chamber Commerce.; China Comp Soc.; China Inst Commun.; Chinese Assoc Artificial Intelligence.; Beijing Univ Posts &Telecommun.; China Fed Informat Promot.; Nat Sci Fdn China.; Chinese Assoc Sci & Technol.; States Adm Foreign Experts Affairs. 摘要: In e-cash system, a customer withdraws electronic coins from bank and pays the coins to a shop. Then the shop deposits the paid coins to the bank. To protect the privacy of customer, each payment should be anonymous and it can be achieved by blind signature. However unconditional anonymity may be misused for criminal activities such as blackmailing and money laundering. Fair electronic cash schemes are introduced for preventing these fraudulent activities. The main feature of fair e-cash is the existence of a trusted authority that can revoke the consumer's anonymity under certain circumstances. Recently, to guarantee the quality of mobile commerce, secure and efficient e-cash schemes are greatly desired. Based on Fan-Lei user efficient blind signature scheme, Yu et al. proposed three user efficient fair e-cash schemes. Unfortunately, their schemes do not meet fair property. In this paper, we show that a customer can withdraw e-cashes on behalf of other customers he chooses. Thus, the customer and the coins are fully intraceable. 地址: Chinese Acad Sci, State Key Lab Informat Secur, Inst Software, Beijing 100080, Peoples R China 通讯作者地址: Cao, TJ, Chinese Acad Sci, State Key Lab Informat Secur, Inst Software, 4 S 4th St, Beijing 100080, Peoples R China. 引用的参考文献数: 10 被引频次: 0 出版商: PUBLISHING HOUSE ELECTRONICS INDUSTRY 出版商地址: PO BOX 173 WANSHOU ROAD, BEIJING 100036, PEOPLES R CHINA ISBN: 7-121-00308-2 来源文献页码计数: 5 学科类别: Computer Science, Information Systems; Telecommunications ISI 文献传递号: BCC66 -------------------------------------------------------------------------------- 显示 17 条，共 58 条 作者: Wu, P; Zhang, DM 编者: Zhong, Y 标题: Compositional analysis of mobile IP with symbolic transition graphs 来源出版物: ICCC2004: Proceedings of the 16th International Conference on Computer Communication Vol 1and 2: 1481-1488 2004 语言: English 文献类型: Proceedings Paper 会议标题: 16th International Conference on Computer Communication (ICCC 2004) 会议日期: SEP 15-17, 2004 会议地点: Beijing, PEOPLES R CHINA 会议赞助商: Minist Informat Ind.; Int Council Comp Commun.; China Ctr Informat Ind Dev.; China Elect Chamber Commerce.; China Comp Soc.; China Inst Commun.; Chinese Assoc Artificial Intelligence.; Beijing Univ Posts &Telecommun.; China Fed Informat Promot.; Nat Sci Fdn China.; Chinese Assoc Sci & Technol.; States Adm Foreign Experts Affairs. 摘要: The paper presents a compositional framework for modeling network protocols with symbolic transition graphs. The main advantages of the framework are that it can address dynamic network topologies without requiring additional facilities; and it can work out system models that preserve deadlock freedom, namely the deadlock freedom of a system model depends only on the deadlock freedom of its each task component. A case study with Mobile IP illustrates the effectiveness of the modeling framework. Moreover, with, a model checking experiment, it can be shown that the framework can extend the capability of the model checker to deal with more complicated system models than can be dealt with by direct model checking. 地址: Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China 通讯作者地址: Wu, P, Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China. 引用的参考文献数: 7 被引频次: 0 出版商: PUBLISHING HOUSE ELECTRONICS INDUSTRY 出版商地址: PO BOX 173 WANSHOU ROAD, BEIJING 100036, PEOPLES R CHINA ISBN: 7-121-00308-2 来源文献页码计数: 8 学科类别: Computer Science, Information Systems; Telecommunications ISI 文献传递号: BCC66 -------------------------------------------------------------------------------- 显示 18 条，共 58 条 作者: Dai, GZ; Wang, H 编者: Shen, W; Lin, Z; Barthes, JPA; Li, T 标题: Physical object icons buttons gesture (PIBG): A new interaction paradigm with pen 来源出版物: COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN I, 3168: 11-20 2004 丛书标题: LECTURE NOTES IN COMPUTER SCIENCE 语言: English 文献类型: Proceedings Paper 会议标题: 8th International Conference on Computer Supported Cooperative Work in Design 会议日期: MAY 26-JUN 28, 2004 会议地点: Xiamen, PEOPLES R CHINA 会议赞助商: Xiamen Univ.; Xiamen Comp Federat.; IEEE.; CIMS.; China Comp Federat.; Zhongshan Univ.; Natl Nat Sci Fdn China.; Fuzhou Univ. 摘要: Pen-based User Interface (PUI) is becoming more and more popular. This paper presents (the) universal analysis and specification of characters and structure of PUI. PIBG, a new interaction paradigm, is proposed as the framework for PUI. PIBG Toolkit is also developed as a PUI Software Platform. With the goal of high usability, several applications are developed with PIBG Toolkit. PUI provides a method for natural and concordant interaction, which could facilitate the development and applications of collaborative systems. 地址: Chinese Acad Sci, Inst Software, Intelligence Engn Lab, Beijing 100080, Peoples R China 通讯作者地址: Dai, GZ, Chinese Acad Sci, Inst Software, Intelligence Engn Lab, Beijing 100080, Peoples R China. 电子邮箱地址: Dgz@iel.iscas.ac.cn; Wang@iel.iscas.ac.cn 引用的参考文献数: 18 被引频次: 1 出版商: SPRINGER-VERLAG BERLIN 出版商地址: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY ISSN: 0302-9743 ISBN: 3-540-29400-7 29 字符的来源出版物名称缩写: LECT NOTE COMPUT SCI 来源文献页码计数: 10 学科类别: Computer Science, Theory & Methods ISI 文献传递号: BDJ25 -------------------------------------------------------------------------------- 显示 19 条，共 58 条 作者: Chen, H; Feng, DG 编者: Park, C; Chee, S 标题: An evolutionary algorithm to improve the nonlinearity of self-inverse S-Boxes 来源出版物: INFORMATION SECURITY AND CRYPTOLOGY - ICISC 2004, 3506: 352-361 2004 丛书标题: LECTURE NOTES IN COMPUTER SCIENCE 语言: English 文献类型: Proceedings Paper 会议标题: 7th International Conference on Information Security and Cryptology (ICISC 2004) 会议日期: DEC 02-03, 2004 会议地点: Seoul, SOUTH KOREA 会议赞助商: Korea Inst Informat Secur Cryptol. 作者关键词: self-inverse; S-Box; Walsh Hadamard transform; nonlinearity 摘要: Self-inverse S-Boxes have been given much attention in the design of block ciphers recently. In this paper, based on Walsh Hadamard transform of Boolean functions, an evolutionary algorithm is investigated to increase the nonlinearity of self-inverse S-Boxes. The improved S-Boxes still remain self-inverse. Under this algorithm, randomly generated self-inverse S-Boxes can easily evolve into the ones with much higher nonlinearity. 地址: Chinese Acad Sci, Inst Software, State Key Lab Informat Secur, Beijing 100080, Peoples R China 通讯作者地址: Chen, H, Chinese Acad Sci, Inst Software, State Key Lab Informat Secur, Beijing 100080, Peoples R China. 电子邮箱地址: chenhua@is.iscas.ac.cn; feng@is.iscas.ac.cn 引用的参考文献数: 16 被引频次: 0 出版商: SPRINGER-VERLAG BERLIN 出版商地址: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY ISSN: 0302-9743 ISBN: 3-540-26226-1 29 字符的来源出版物名称缩写: LECT NOTE COMPUT SCI 来源文献页码计数: 10 学科类别: Computer Science, Theory & Methods ISI 文献传递号: BCO37 -------------------------------------------------------------------------------- 显示 20 条，共 58 条 作者: Lu, X; Feng, DG 编者: Zhang, J; He, JH; Fu, Y 标题: An arbitrated quantum message signature scheme 来源出版物: COMPUTATIONAL AND INFORMATION SCIENCE, PROCEEDINGS, 3314: 1054-1060 2004 丛书标题: LECTURE NOTES IN COMPUTER SCIENCE 语言: English 文献类型: Proceedings Paper 会议标题: 1st International Symposium on Computational and Information Science 会议日期: DEC 16-18, 2004 会议地点: Shanghai, PEOPLES R CHINA 会议赞助商: Donghua Univ.; Shanghai Jiaotong Univ.; Univ Kentucky, Lab High Performance Sci Comp & Comp Simulat. 摘要: Digital signature is an important task in modern cryptography, which concerns about authenticity, integrity and non-repudiation of data on communication channel. In this paper, an arbitrated quantum digital signature scheme is proposed, in which the receiver verifies the signature with the help of an arbitrator. The most important property of the proposed scheme is that it can sign unknown quantum states. The security of the protocol relies on the quantum one-time-pad and the Greenberger-Horne-Zeilinger (GHZ) triplet particles distributed among communication entities. Security analysis shows that the proposed quantum signature is a secure scheme. 地址: Chinese Acad Sci, Grad Sch, State Key Lab Informat Secur, Beijing 100039, Peoples R China; Chinese Acad Sci, Inst Software, State Key Lab Informat Secur, Beijing 100080, Peoples R China 通讯作者地址: Lu, X, Chinese Acad Sci, Grad Sch, State Key Lab Informat Secur, Beijing 100039, Peoples R China. 电子邮箱地址: lx@is.ac.cn 引用的参考文献数: 12 被引频次: 4 出版商: SPRINGER-VERLAG BERLIN 出版商地址: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY ISSN: 0302-9743 ISBN: 3-540-24127-2 29 字符的来源出版物名称缩写: LECT NOTE COMPUT SCI 来源文献页码计数: 7 学科类别: Computer Science, Theory & Methods ISI 文献传递号: BBO38 -------------------------------------------------------------------------------- 显示 21 条，共 58 条 作者: Li, J; Li, MS; Wu, ZC; Wang, Q 编者: Cao, J; Yang, LT; Guo, M; Lau, F 标题: A metamodel for the CMM software process 来源出版物: PARALLEL AND DISTRIBUTED PROCESSING AND APPLICATIONS, PROCEEDINGS, 3358: 446-450 2004 丛书标题: LECTURE NOTES IN COMPUTER SCIENCE 语言: English 文献类型: Proceedings Paper 会议标题: 2nd International Symposium on Parallel and Distributed Processing and Applications 会议日期: DEC 13-15, 2004 会议地点: Hong Kong, PEOPLES R CHINA 会议赞助商: IEEE HK Chapter.; Assoc Comp Machinery, HK Chapter.; Informat Proc Soc Japan.; Springer. 摘要: With the increasing complexity of software system, geographically distributed development has become mainstream. Managing a software process in which team members are physically distributed is challenging. How to use the Capability Maturity Model (CMM) in geographically distributed development is an area with a number of open research issues. We define a CMM Software Process (CSP) by a set of generic process elements in accordance with the requirements of the CMM. Using the Model Driven Architecture (MDA), the CSP model can be transformed into distributed CMM implementation process models. This paper presents a metamodel for the CSP model, named MM-CSP, and provides the abstract syntax and the semantic of the MM-CSP as well as a UML profile for the MM-CSP. Based on the MM-CSP, a prototype tool for CSP modeling is developed. 地址: Chinese Acad Sci, Inst Software, Beijing, Peoples R China; Chinese Acad Sci, Grad Sch, Beijing, Peoples R China 通讯作者地址: Li, J, Chinese Acad Sci, Inst Software, Beijing, Peoples R China. 电子邮箱地址: lijuan@itechs.iscas.ac.cn 引用的参考文献数: 9 被引频次: 0 出版商: SPRINGER-VERLAG BERLIN 出版商地址: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY ISSN: 0302-9743 ISBN: 3-540-24128-0 29 字符的来源出版物名称缩写: LECT NOTE COMPUT SCI 来源文献页码计数: 5 学科类别: Computer Science, Theory & Methods ISI 文献传递号: BBM37 -------------------------------------------------------------------------------- 显示 22 条，共 58 条 作者: Zhang, WB; Yang, B; Jin, BH; Chen, NJ; Huang, T 编者: Cao, J; Yang, LT; Guo, M; Lau, F 标题: Performance tuning for application server OnceAS 来源出版物: PARALLEL AND DISTRIBUTED PROCESSING AND APPLICATIONS, PROCEEDINGS, 3358: 451-462 2004 丛书标题: LECTURE NOTES IN COMPUTER SCIENCE 语言: English 文献类型: Proceedings Paper 会议标题: 2nd International Symposium on Parallel and Distributed Processing and Applications 会议日期: DEC 13-15, 2004 会议地点: Hong Kong, PEOPLES R CHINA 会议赞助商: IEEE HK Chapter.; Assoc Comp Machinery, HK Chapter.; Informat Proc Soc Japan.; Springer. 摘要: The J2EE application server provides a primary solution to develop enterprise-wide applications, which uses containers to hold application components. The container framework relieve developers' burden greatly because it encapsulates all the system level services and the developers are able to use these services directly without knowing underlying details. The processing capacity of application servers is becoming more and more important with the requirements of achieving higher performance and higher scalability. This paper uses ECperf, a performance benchmark tool for application servers. to studies the performance issues of the application server OnceAS. which is developed by the Institute of software, Chinese Academy of Sciences, and presents optimization approaches including bean instance pools and high speed naming service. These optimizations are implemented in OnceAS and proved to be effective through ECperf benchmark evaluation. 地址: Chinese Acad Sci, Inst Software, Beijing, Peoples R China; Chinese Acad Sci, Grad Sch, Beijing, Peoples R China 通讯作者地址: Zhang, WB, Chinese Acad Sci, Inst Software, Beijing, Peoples R China. 电子邮箱地址: wellday@otcaix.iscas.ac.cn; yangbo@otcaix.iscas.ac.cn; jbh@otcaix.iscas.ac.cn; river@otcaix.iscas.ac.cn; tao@otcaix.iscas.ac.cn 引用的参考文献数: 11 被引频次: 2 出版商: SPRINGER-VERLAG BERLIN 出版商地址: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY ISSN: 0302-9743 ISBN: 3-540-24128-0 29 字符的来源出版物名称缩写: LECT NOTE COMPUT SCI 来源文献页码计数: 12 学科类别: Computer Science, Theory & Methods ISI 文献传递号: BBM37 -------------------------------------------------------------------------------- 显示 23 条，共 58 条 作者: Cao, TJ; Lin, DD; Xue, R 编者: Chi, CH; Lam, KY 标题: Security analysis of user efficient blind signatures 来源出版物: CONTENT COMPUTING, PROCEEDINGS, 3309: 167-172 2004 丛书标题: LECTURE NOTES IN COMPUTER SCIENCE 语言: English 文献类型: Proceedings Paper 会议标题: Advanced Workshop on Content Computing 会议日期: NOV 15-17, 2004 会议地点: ZhenJiang, PEOPLES R CHINA 摘要: Blind signature schemes allow a person to get a message signed by another party without revealing any information about the message to the other party. To believe the message contains a certain form, cut and choose protocol and partially blind signature protocol are used to prevent cheating. In electronic cash system, unconditional anonymity may be misused for criminal activities such as blackmailing and money laundering. Fair electronic cash schemes are introduced for preventing these fraudulent activities. In this paper, we point out a weakness in Fan and Lei's user efficient blind signatures. Utilizing this weakness, a user can cheat the signer in cut and choose protocol, and the user can also break Fan and Lei's low-computation partially blind signature scheme and Yu et al.'s user efficient fair e-cash scheme. 地址: Chinese Acad Sci, State Key Lab Informat Secur, Inst Software, Beijing 100080, Peoples R China; China Univ Min & Technol, Sch Comp Sci & Technol, Xuzhou 221008, Peoples R China; Chinese Acad Sci, Grad Sch, Beijing 100039, Peoples R China 通讯作者地址: Cao, TJ, Chinese Acad Sci, State Key Lab Informat Secur, Inst Software, Beijing 100080, Peoples R China. 电子邮箱地址: tjcao@is.iscas.ac.cn; ddlin@is.iscas.ac.cn; rxue@is.iscas.ac.cn 引用的参考文献数: 13 被引频次: 0 出版商: SPRINGER-VERLAG BERLIN 出版商地址: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY ISSN: 0302-9743 ISBN: 3-540-23898-0 29 字符的来源出版物名称缩写: LECT NOTE COMPUT SCI 来源文献页码计数: 6 学科类别: Computer Science, Theory & Methods ISI 文献传递号: BBJ44 -------------------------------------------------------------------------------- 显示 24 条，共 58 条 作者: Cao, TJ; Lin, DD; Xue, R 编者: Chi, CH; Lam, KY 标题: Improved privacy-protecting proxy signature scheme 来源出版物: CONTENT COMPUTING, PROCEEDINGS, 3309: 208-213 2004 丛书标题: LECTURE NOTES IN COMPUTER SCIENCE 语言: English 文献类型: Proceedings Paper 会议标题: Advanced Workshop on Content Computing 会议日期: NOV 15-17, 2004 会议地点: ZhenJiang, PEOPLES R CHINA 摘要: The proxy signature allows a proxy signer to sign on behalf of an original signer and can be verified by anyone with access to the original signer's public key. Recently, Dai et al. proposed a privacy-protecting proxy signature scheme. In this scheme, the messages the original signer entrust to the proxy signer to sign on behalf of him are kept secret from the proxy signer during the generation of the proxy signature except the receiver designated by the original signer. Therefore, the privacy of the original signer is protected. Unfortunately, Dai et al.'s scheme is insecure and inefficient. Particularly, the receiver can cheat the proxy signer and obtain a proxy signature on any message. To eliminate these weaknesses, we propose an improved scheme based on Nyberg-Rueppel signature. 地址: Chinese Acad Sci, State Key Lab Informat Secur, Inst Software, Beijing 100080, Peoples R China; China Univ Min & Technol, Sch Comp Sci & Technol, Xuzhou 221008, Peoples R China; Chinese Acad Sci, Grad Sch, Beijing 100039, Peoples R China 通讯作者地址: Cao, TJ, Chinese Acad Sci, State Key Lab Informat Secur, Inst Software, Beijing 100080, Peoples R China. 电子邮箱地址: tjcao@is.iscas.ac.cn; ddlin@is.iscas.ac.cn; rxue@is.iscas.ac.cn 引用的参考文献数: 13 被引频次: 1 出版商: SPRINGER-VERLAG BERLIN 出版商地址: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY ISSN: 0302-9743 ISBN: 3-540-23898-0 29 字符的来源出版物名称缩写: LECT NOTE COMPUT SCI 来源文献页码计数: 6 学科类别: Computer Science, Theory & Methods ISI 文献传递号: BBJ44 -------------------------------------------------------------------------------- 显示 25 条，共 58 条 作者: Su, B; Zhang, WH 编者: Wang, F 标题: Search space partition and case basis exploration for reducing model checking complexity 来源出版物: AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 3299: 34-48 2004 丛书标题: LECTURE NOTES IN COMPUTER SCIENCE 语言: English 文献类型: Proceedings Paper 会议标题: 2nd International Conference on Automated Technology for Verification and Analysis 会议日期: OCT 31-NOV 03, 2004 会议地点: Taipei, TAIWAN 会议赞助商: Natl Sci Council.; Minist Educ.; Acad Sinica, Inst Informat Sci.; Natl Taiwan Univ.; Ctr Informat & Elect Technol.; Natl Taiwan Univ, SOC Ctr.; Natl Taiwan Univ, Grad Inst Elect Engn.; Synopsys Inc. KeyWords Plus: SPIN 摘要: The main disadvantage of model checking is the state explosion problem that can occur if the system being verified has many asynchronous components. Many approaches have been proposed to deal with this challenge. This paper extends an approach that suggests combining static analysis and partition of model checking tasks into different cases for reducing the complexity of model checking and introduces algorithms and a tool for the static analysis. This extended approach and the tool are then applied to models of known authentication protocols and operating procedures, which shows that the approach and the tool could have a wide range of applications. 地址: Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing, Peoples R China; Chinese Acad Sci, Grad Sch, Beijing, Peoples R China 通讯作者地址: Su, B, Chinese Acad Sci, Comp Sci Lab, Inst Software, POB 8718, Beijing, Peoples R China. 电子邮箱地址: subai02@ios.cn; zwh@ios.ac.cn 引用的参考文献数: 15 被引频次: 4 出版商: SPRINGER-VERLAG BERLIN 出版商地址: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY ISSN: 0302-9743 ISBN: 3-540-23610-4 29 字符的来源出版物名称缩写: LECT NOTE COMPUT SCI 来源文献页码计数: 15 学科类别: Computer Science, Theory & Methods ISI 文献传递号: BBF03 -------------------------------------------------------------------------------- 显示 26 条，共 58 条 作者: Ma, YL; Wei, J 书籍团体作者: ieee computer society 标题: A default extension to distributed description logics 来源出版物: IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY, PROCEEDINGS: 38-44 2004 语言: English 文献类型: Proceedings Paper 会议标题: International Conference on Intelligent Agent Technology (IAT 2004) 会议日期: SEP 20-24, 2004 会议地点: Beijing, PEOPLES R CHINA 会议赞助商: IEEE Comp Soc.; Web Intelligence Consortium.; Assoc Comp Machinery.; Beijing Univ Technol.; Natl Nat Sci Fdn China.; Microsoft Res Asia.; China Comp Federat.; Hong Kong Baptist Univ.; Maebashi Inst Technol.; Tsinghua Univ. KeyWords Plus: INFORMATION 摘要: Description Logic is now an active research area, which is applied universally to knowledge representation, Semantic Web and Ontology language. Compared with Description Logic, Distributed Description Logic can be used to better establish distributed ontologies from distributed information sources. But little attention has been paid to the problem of endowing Distributed Description Logic with default reasoning capabilities to deal with incomplete or conflict information. In this paper we present a default extension to Distributed Description Logics to handle the heterogeneity and incompleteness of different information sources. We extend Distributed Description Logics by adding default information into a distributed knowledge base, and discuss the default satisfiability based on Distributed Description Logics with default rules. To perform default reasoning, a default Tableau algorithm is developed to check satisfiability of complex concepts and subsumption assertions. 地址: Chinese Acad Sci, Inst Software, Technol Ctr Software Engn, Beijing 100080, Peoples R China 通讯作者地址: Ma, YL, Chinese Acad Sci, Inst Software, Technol Ctr Software Engn, POB 8718, Beijing 100080, Peoples R China. 引用的参考文献数: 16 被引频次: 1 出版商: IEEE COMPUTER SOC 出版商地址: 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA ISBN: 0-7695-2101-0 来源文献页码计数: 7 学科类别: Computer Science, Artificial Intelligence ISI 文献传递号: BBA47 -------------------------------------------------------------------------------- 显示 27 条，共 58 条 作者: Sun, LM; Liao, Y; Zheng, JP; Wu, YC; Ma, J 书籍团体作者: IEEE 标题: An efficient multicast protocol in mobile IPv6 networks 来源出版物: 2004 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE, VOLS 1-4 - BROADBAND WIRELESS - THE TIME IS NOW : 155-159 2004 丛书标题: IEEE Wireless Communications and Networking Conference 语言: English 文献类型: Proceedings Paper 会议标题: IEEE Wireless Communications and Networking Conference 会议日期: MAR 21-25, 2004 会议地点: Atlanta, GA 会议赞助商: IEEE. 作者关键词: mobile IPv6; previous network subscription; hierarchical architecture; mobile multicast protocol 摘要: Mobile IPv6 provides two basic schemes called remote subscription and home subscription to provide multicast service for mobile hosts. Those two algorithms have complementary advantages. In this paper, we propose a new scheme called previous network subscription, which can provide low handover delay for real time multicast applications. We also propose a new multicast routing protocol called RHMoM (Region based Hierarchical Mobile Multicast) by combining the previous network subscription and the home subscription. RHMoM uses two kinds of agent and employs the region based hierarchical architecture to limit the reconstruction frequency of the multicast tree and optimize the delivery path. The simulation results show that RHMoM has better performance than other mobile multicast solutions in mobile IPv6 network. 地址: Chinese Acad Sci, Inst Software, Beijing, Peoples R China 通讯作者地址: Sun, LM, Chinese Acad Sci, Inst Software, Beijing, Peoples R China. 引用的参考文献数: 11 被引频次: 1 出版商: IEEE 出版商地址: 345 E 47TH ST, NEW YORK, NY 10017 USA ISSN: 1525-3511 ISBN: 0-7803-8344-3 29 字符的来源出版物名称缩写: IEEE WCNC 来源文献页码计数: 5 学科类别: Telecommunications ISI 文献传递号: BAN75 -------------------------------------------------------------------------------- 显示 28 条，共 58 条 作者: Zhang, J 编者: Ehrich, HD; Schewe, KD 标题: Symbolic execution of program paths involving pointer and structure variables 来源出版物: QSIC 2004: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE: 87-92 2004 语言: English 文献类型: Proceedings Paper 会议标题: 4th International Conference on Quality Software 会议日期: SEP 08-09, 2004 会议地点: Braunschweig, GERMANY 会议赞助商: Tech Univ Braunschweig, Inst Informat Syst.; Univ Hong Kong, Software Engn Grp.; Swinburne Univ Technol, Ctr Software Engn. 摘要: Many white-box testing methods are based on the analysis of program paths. For these methods, an important problem is to determine the feasibility of a given path, and find appropriate input data to execute the path if it is feasible. In this paper the symbolic execution of program paths is studied. An approach is presented, which translates a path involving pointer and structure variables to a path involving simple variables and array variables only. The later is then analyzed with constraint solving techniques. An implemention of the translation tool is described with some examples. Preliminary experimental results show that the approach is quite efficient and applicable to paths in typical programs. 地址: Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China 通讯作者地址: Zhang, J, Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China. 引用的参考文献数: 16 被引频次: 3 出版商: IEEE COMPUTER SOC 出版商地址: 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA ISBN: 0-7695-2207-6 来源文献页码计数: 6 学科类别: Computer Science, Software Engineering ISI 文献传递号: BBA88 -------------------------------------------------------------------------------- 显示 29 条，共 58 条 作者: Zhang, X; Xu, C; Jin, BH 编者: Strooper, P 标题: Building extensible and high performance distributed transaction service 来源出版物: 2004 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS: 202-210 2004 语言: English 文献类型: Proceedings Paper 会议标题: 15th Australian Software Engineering Conference 会议日期: APR 13-16, 2004 会议地点: Melbourne, AUSTRALIA 会议赞助商: Australian Comp Soc.; Engineers Australia. 摘要: Distributed transaction service is one of the most important services in a J2EE application server and its efficiency has a big impact on the latter's overall performance. This paper presents a distributed transaction service design which is both extensible and portable in a J2EE application server and strategies to optimize its performance. Experimental data indicate much improved performance of the transaction service without sacrifice of transaction integrity. 地址: Chinese Acad Sci, Inst Software, Technol Ctr Software Engn, Beijing 100080, Peoples R China 通讯作者地址: Zhang, X, Chinese Acad Sci, Inst Software, Technol Ctr Software Engn, Beijing 100080, Peoples R China. 引用的参考文献数: 15 被引频次: 0 出版商: IEEE COMPUTER SOC 出版商地址: 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA ISBN: 0-7695-2089-8 来源文献页码计数: 9 学科类别: Computer Science, Software Engineering ISI 文献传递号: BAB32 -------------------------------------------------------------------------------- 显示 30 条，共 58 条 作者: Zhou, YB; Zhang, ZF; Qing, SH; Liu, J 编者: Yuan, ST; Liu, J 标题: A new CEMBS based on RSA signatures and its application in constructing fair exchange protocol 来源出版物: 2004 IEEE INTERNATIONAL CONFERNECE ON E-TECHNOLOGY, E-COMMERE AND E-SERVICE, PROCEEDINGS: 558-562 2004 语言: English 文献类型: Proceedings Paper 会议标题: IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE 2004) 会议日期: MAR 28-31, 2004 会议地点: Taipei, TAIWAN 会议赞助商: IEEE Task Comm E-Commerce.; Fu Jen Univ Taiwan.; BIKMrdc Fu Jen Univ.; Acad Sinica.; Natl Sci Council Taiwan.; Minist Educ Taiwan.; Informat Syst Frontiers.; Microsoft.; NTU CSIE.; ChungHwa Data Mining Soc. 摘要: Fairness is one of the basic requirements of E-Commerce protocols and applications. CEMBS is proved to be an important cryptographic building primitive in constructing fair exchange protocols. In this paper the drawbacks of existing CEMBS-implementing methods are analyzed, A new CEMBS-constructing method based on RSA signature is proposed, which is proved to be simple, efficient and secure. Afterwards, a fair exchange protocol is built using the newly constructed CEMBS. And the devised scheme in this paper is the first efficient CEMBS based on RSA signatures. 地址: Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China 通讯作者地址: Zhou, YB, Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China. 引用的参考文献数: 7 被引频次: 0 出版商: IEEE COMPUTER SOC 出版商地址: 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA ISBN: 0-7695-2073-1 来源文献页码计数: 5 学科类别: Computer Science, Information Systems; Computer Science, Interdisciplinary Applications ISI 文献传递号: BY96L -------------------------------------------------------------------------------- 显示 31 条，共 58 条 作者: Zheng, JP; Li, KQ; Wu, ZM 编者: Hassanein, H; Oliver, RL; Richard, GG 书籍作者: Wilson, LF 标题: Selection algorithm for anycast relay routing 来源出版物: CONFERENCE PROCEEDINGS OF THE 2004 IEEE INTERNATIONAL PERFORMANCE, COMPUTING, AND COMMUNICATIONS CONFERENCE: 21-27 2004 丛书标题: IEEE International Performance, Computing and Communications Conference (IPCCC) 语言: English 文献类型: Proceedings Paper 会议标题: 23rd IEEE International Performance, Computing, and Communications Conference (IPCCC 2004) 会议日期: APR 15-17, 2004 会议地点: Phoenix, AZ 摘要: Anycast has been applied widely in service discovery and replicated service. Current researches on anycast routing mainly focus on the scenario that anycast server is the final destination in a communication session. In this paper, we explore another scenario that anycast is applied for relay routing, and addresses the problem of selecting among the anycast relay routers. After analyzing the characteristics of anycast relay routing distinguished from general anycast routing, we present three selection algorithms for anycast relay routing, namely nearest to source, nearest to destination and random selection. Based on the results of probability analysis and simulation, we compare the performance of each algorithm, analyze how the placement and the number of relay routers impact the performance of selection algorithms, and further discuss how to apply these selection algorithms and how many relay routers should be deployed. 地址: Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China 通讯作者地址: Zheng, JP, Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China. 引用的参考文献数: 14 被引频次: 0 出版商: IEEE 出版商地址: 345 E 47TH ST, NEW YORK, NY 10017 USA ISSN: 1097-2641 ISBN: 0-7803-8396-6 29 字符的来源出版物名称缩写: IEEE IPCCC 来源文献页码计数: 7 学科类别: Computer Science, Information Systems; Telecommunications ISI 文献传递号: BAC05 -------------------------------------------------------------------------------- 显示 32 条，共 58 条 作者: Wu, YC; Sun, LM; Zheng, JP; Huang, K; Liao, Y 编者: Hassanein, H; Oliver, RL; Richard, GG 书籍作者: Wilson, LF 标题: Channel state dependent robust TCP/IP header compression for 3G wireless networks 来源出版物: CONFERENCE PROCEEDINGS OF THE 2004 IEEE INTERNATIONAL PERFORMANCE, COMPUTING, AND COMMUNICATIONS CONFERENCE: 141-145 2004 丛书标题: IEEE International Performance, Computing and Communications Conference (IPCCC) 语言: English 文献类型: Proceedings Paper 会议标题: 23rd IEEE International Performance, Computing, and Communications Conference (IPCCC 2004) 会议日期: APR 15-17, 2004 会议地点: Phoenix, AZ 摘要: The convergence of mobile technologies and Internet protocols makes "all-IP network" be the actual trend of development for future telecommunication system. In such a system, both wired and wireless parts will be built on a common network platform based on TCP/IP protocol. However, TCP/IP protocol headers are relatively large and need to be compressed to save radio channel bandwidth (the most expensive and scarce resource of the whole wireless system), especially for some services whose payload size is small. In this paper, we propose and analyze a channel state dependent robust TCP/IP header compression algorithm (CSDROHC) for 3G wireless networks. Through adjusting the dimension of Variable Sliding Window (VSW) of W-LSB encoding in header compressor with the accurate estimation of wireless channel state, CSDROHC can achieve the 'good balance of compression ratio and error-resistant robustness for its adaptive use in wireless links. Simulation results are presented to demonstrate the effectiveness of CSDROHC over wireless link. 地址: Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China 通讯作者地址: Wu, YC, Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China. 引用的参考文献数: 15 被引频次: 0 出版商: IEEE 出版商地址: 345 E 47TH ST, NEW YORK, NY 10017 USA ISSN: 1097-2641 ISBN: 0-7803-8396-6 29 字符的来源出版物名称缩写: IEEE IPCCC 来源文献页码计数: 5 学科类别: Computer Science, Information Systems; Telecommunications ISI 文献传递号: BAC05 -------------------------------------------------------------------------------- 显示 33 条，共 58 条 作者: Li, YJ; Xue, R 编者: Srimani, PK 标题: Using SPIN to model cryptographic protocols 来源出版物: ITCC 2004: INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY: CODING AND COMPUTING, VOL 2, PROCEEDINGS: 741-745 2004 语言: English 文献类型: Proceedings Paper 会议标题: International Conference on Information Technology - Coding and Computing 会议日期: APR 05-07, 2004 会议地点: Las Vegas, NV 会议赞助商: IEEE Comp Soc. 摘要: We explore the useof Spitz to model cryptographic protocols, and propose a general method to define the data structures used in the verification, such as facts, the intruder's knowledge, and so on. Based on this, we develop a general method to model the behaviors of honest principals and the intruder, in particular; we propose a general model for the intruder's deduction system. The method can be adapted to different protocols, and make it possible to transform a more abstract description of a sample protocol instance to Promela code. Our method is illustrated by using a revised TMN protocol, and the verification result has shown that it is a practical and useful way to analyze cryptographic protocols. 地址: Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China 通讯作者地址: Li, YJ, Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China. 引用的参考文献数: 10 被引频次: 0 出版商: IEEE COMPUTER SOC 出版商地址: 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA ISBN: 0-7695-2108-8 来源文献页码计数: 5 学科类别: Computer Science, Artificial Intelligence; Computer Science, Hardware & Architecture; Computer Science, Information Systems; Computer Science, Theory & Methods ISI 文献传递号: BAA56 -------------------------------------------------------------------------------- 显示 34 条，共 58 条 作者: Wu, YC; Sun, LM; Ma, J 书籍团体作者: IEEE 标题: Adaptive robust TCP/IP header compression algorithm for 3G wireless networks 来源出版物: 2004 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE, VOLS 1-4 - BROADBAND WIRELESS - THE TIME IS NOW : 1046-1050 2004 丛书标题: IEEE Wireless Communications and Networking Conference 语言: English 文献类型: Proceedings Paper 会议标题: IEEE Wireless Communications and Networking Conference 会议日期: MAR 21-25, 2004 会议地点: Atlanta, GA 会议赞助商: IEEE. 作者关键词: TCP/IP; header compression; W-LSB encoding KeyWords Plus: CHANNELS 摘要: The future telecommunication systems will be surely characterized by the convergence of mobile technologies and Internet protocols, achieved through a network platform totally based on TCP/IP protocols ("all-IP network"). In such a system, both wired and wireless parts will build on a common network platform based on TCP/IP protocol. However, TCP/IP protocol headers overheads are large and need to be compressed to save radio channel bandwidth which is the most expensive and scarce resource of the whole wireless system, especially for some services whose payload size is small. In this paper, a new adaptive robust TCP/IP header compression algorithm for 3G wireless networks is proposed and analyzed. The aim of this algorithm is to adjust the dimension of Variable Sliding Window (VSW) in W-LSB encoding with the accurate estimation of wireless channel state to achieve the good balance of compression ratio and error-resistant robustness for the adaptive use in wireless link. We present simulation results that demonstrate the effectiveness of this adaptive algorithm over wireless link. 地址: Chinese Acad Sci, Inst Software, Beijing, Peoples R China 通讯作者地址: Wu, YC, Chinese Acad Sci, Inst Software, Beijing, Peoples R China. 引用的参考文献数: 15 被引频次: 0 出版商: IEEE 出版商地址: 345 E 47TH ST, NEW YORK, NY 10017 USA ISSN: 1525-3511 ISBN: 0-7803-8344-3 29 字符的来源出版物名称缩写: IEEE WCNC 来源文献页码计数: 5 学科类别: Telecommunications ISI 文献传递号: BAN75 -------------------------------------------------------------------------------- 显示 35 条，共 58 条 作者: Ji, JF; Li, S; Liu, XH; Wu, EH 书籍团体作者: ieee computer society 标题: P-quadtrees: A point and polygon hybrid multi-resolution rendering approach 来源出版物: COMPUTER GRAPHICS INTERNATIONAL, PROCEEDINGS: 382-385 2004 语言: English 文献类型: Proceedings Paper 会议标题: Computer Graphics International Conference (CGI 2004) 会议日期: JUN 16-19, 2004 会议地点: Crete, GREECE 会议赞助商: SCI. 作者关键词: point and polygon hybrid rendering; normal mapping; silhouette fidelity; quadtrees; LOD 摘要: Point and polygon representations have their respective merits in rendering objects. In this paper, we propose a novel hybrid multi-resolution approach, P-Quadtrees, to efficiently render highly detailed objects. P-Quadtrees are constructed from geometry images. Both point and polygon are tightly integrated into a uniform structure. While traversing the P-Quadtrees in rendering, the part of surface that face the viewer can be rendered by coarser quad mesh to reduce the numbers of rendering primitives. The shading details can be enhanced by hardware accelerated normal mapping. The view dependent LOD selects the finer hierarchy on silhouette, which is rendered by points. The rendering of large-scale model is greatly accelerated while the visual effect both at the surfaces and the silhouette is guaranteed. 地址: Chinese Acad Sci, Lab Comp Sci, Inst Software, Beijing, Peoples R China 通讯作者地址: Ji, JF, Chinese Acad Sci, Lab Comp Sci, Inst Software, Beijing, Peoples R China. 引用的参考文献数: 14 被引频次: 1 出版商: IEEE COMPUTER SOC 出版商地址: 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA ISBN: 0-7695-2171-1 来源文献页码计数: 4 学科类别: Computer Science, Software Engineering ISI 文献传递号: BAM16 -------------------------------------------------------------------------------- 显示 36 条，共 58 条 作者: Liu, Y; Liu, X; Wui, E 书籍团体作者: IEEE Comp Soc 标题: Real-time 3D fluid simulation on GPU with complex obstacles 来源出版物: 12TH PACIFIC CONFERENCE ON COMPUTER GRAPHICS AND APPLICATIONS, PROCEEDINGS: 247-256 2004 语言: English 文献类型: Proceedings Paper 会议标题: 12th Pacific Conference on Computer Graphics and Applications (PG 2004) 会议日期: OCT 06-08, 2004 会议地点: Seoul, SOUTH KOREA KeyWords Plus: COMPUTATION 摘要: In this paper, we solve the 3D fluid dynamics problem in a complex environment by taking advantage of the parallelism and programmability of GPU. In difference from other methods, innovation is made in two aspects. Firstly, more general boundary conditions could be processed on GPU in our method. By the method, we generate the boundary from a 3D scene with solid clipping, making the computation run on GPU despite of the complexity of the whole geometry scene. Then by grouping the voxels into different types according to their positions relative to the obstacles and locating the voxel that determines the value of the current voxel, we modify the values on the boundaries according to the boundary conditions. Secondly, more compact structure in data packing with flat 3D textures is designed at the fragment processing level to enhance parallelism and reduce execution passes. The scalar variables including density and temperature are packed into four channels of texels to accelerate the computation of 3D Navier-Stokes Equations (NSEs). The test results prove the efficiency of our method, and as a result, it is feasible to run middle-scale problems of 3D fluid dynamics in an interactive speed for more general environment with complex geometry on PC platform. 地址: Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100864, Peoples R China 通讯作者地址: Liu, Y, Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing 100864, Peoples R China. 引用的参考文献数: 31 被引频次: 2 出版商: IEEE COMPUTER SOC 出版商地址: 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA ISBN: 0-7695-2234-3 来源文献页码计数: 10 学科类别: Computer Science, Software Engineering ISI 文献传递号: BBC59 -------------------------------------------------------------------------------- 显示 37 条，共 58 条 作者: Li, WJ; Li, MS; Wang, Q; Wang, YJ 编者: Zhang, LJ; Li, M; Sheth, AP; Jeffery, KG 标题: VICOS: A framework for session management in network computing infrastructure 来源出版物: 2004 IEEE INTERNATIONAL CONFERENCE ON SERVICES COMPUTING, PROCEEDINGS: 647-650 2004 语言: English 文献类型: Proceedings Paper 会议标题: IEEE International Conference on Services Computing 会议日期: SEP 15-18, 2004 会议地点: Shanghai, PEOPLES R CHINA 会议赞助商: IEEE Comp Soc, TSC SC. 摘要: By introducing a virtual computing session abstraction to network computing infrastructure, and slightly extending its underlying remote display protocol, we propose VICOS (VIrtual COmputing Session): a framework of session management which provides session-level manageability, and allows multiple user to access the computing service on the server simultaneously. The virtual computing session abstraction also supports user roaming among desktops, i.e. user mobility. This framework isolates user's computing session from network or desktop failure. The session-level management mechanism provided by this framework improves the service availability and reliability. We have implemented our VICOS prototype in Linux. We demonstrate that our Linux VICOS prototype can provide general-purpose computing set-vice with low overhead. 地址: Chinese Acad Sci, Lab Internet Technol, Inst Software, Beijing 100864, Peoples R China 通讯作者地址: Li, WJ, Chinese Acad Sci, Lab Internet Technol, Inst Software, Beijing 100864, Peoples R China. 引用的参考文献数: 10 被引频次: 0 出版商: IEEE COMPUTER SOC 出版商地址: 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA ISBN: 0-7695-2225-4 来源文献页码计数: 4 学科类别: Computer Science, Artificial Intelligence; Computer Science, Theory & Methods ISI 文献传递号: BBB87 -------------------------------------------------------------------------------- 显示 38 条，共 58 条 作者: Liu, SH; Wei, J; Ma, YL; Liu, Y 编者: Zhong, N; Tirri, H; Yao, YY; Zhou, L; Liu, J; Cercone, N 标题: Web service cooperation ideology 来源出版物: IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE (WI 2004), PROCEEDINGS: 537-540 2004 语言: English 文献类型: Proceedings Paper 会议标题: IEEE/WIC/ACM International Conference on Web Intelligence 会议日期: SEP 20-24, 2004 会议地点: Beijing, PEOPLES R CHINA 会议赞助商: IEEE Comp Soc.; ACM.; Web Intelligence Consortium.; Beijing Univ Technol.; NSFC. 摘要: As the Internet environment becomes more and more dynamic, open and mutable, future software have to be more autonomic, reactive, adaptive, cooperative, and evolvable. To meet the need, we introduce emerging service cooperation middleware providing such infrastructure support. Derived from Chinese ancient five-elements ideology, a similar service cooperation philosophy is developed. Complying the idea, we develop a workflow system, PI, supporting Process Intelligence. We believe that the service cooperation will become a feasible solution to the future complex environment. 地址: Chinese Acad Sci, Inst Software, Technol Ctr Software Engn, Beijing 100080, Peoples R China 通讯作者地址: Liu, SH, Chinese Acad Sci, Inst Software, Technol Ctr Software Engn, Beijing 100080, Peoples R China. 引用的参考文献数: 6 被引频次: 0 出版商: IEEE COMPUTER SOC 出版商地址: 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA ISBN: 0-7695-2100-2 来源文献页码计数: 4 学科类别: Computer Science, Artificial Intelligence; Computer Science, Information Systems ISI 文献传递号: BBB14 -------------------------------------------------------------------------------- 显示 39 条，共 58 条 作者: Zhao, FQ; Hong, Y; Yu, DM; Yang, YH 编者: Wu, Q; Wang, XH 标题: A concurrent engineering-based feature information integration system and its implementation by STEP 来源出版物: PROCEEDINGS OF THE 2004 CHINA-JAPAN JOINT MEETING ON MICROWAVES: 480-483 2004 语言: English 文献类型: Proceedings Paper 会议标题: China-Japan Joint Meeting on Microwaves 会议日期: AUG 05-06, 2004 会议地点: Harbin, PEOPLES R CHINA 会议赞助商: Natl Nat Sci Fdn China.; Chinese Inst Elect.; IEICE Elect Soc Japan.; IEEE Beijing Sect.; Harbin Inst Technol.; Microwave Soc. 作者关键词: STEP; concurrent engineering(CE); information integration; feature 摘要: Product data exchange and interfacing between different CAD/CAM system are of great importance to the development of concurrent integrated design environments and computer integrated manufacturing system. In this paper, a new information integration approach based on STEP is present. First, a feature information models in EXPRESS according to AP214 is established using a three-layer architecture(application, logical and physical layers) recommend by STEP, then translate the EXPRESS information models into C++ structure classes by ST_Developer tools, finally, the integration technology based on STEP application protocol and the ST-Developer tools is realized in a prototype system to support product data integration between CAD and its follow-up systems through STEP physical file and STEP information exchange interface. The feature-based information model, which is proposed in this paper, can meet the common information requirement of CAD, CAPP, and other applications following CAD. 地址: Lanzhou Univ Tech, Coll Elect & Informat Engn, Lanzhou 730050, Peoples R China; Chinese Acad Sci, Inst Software, Key Lab Comp Sci, Beijing 100080, Peoples R China 通讯作者地址: Zhao, FQ, Lanzhou Univ Tech, Coll Elect & Informat Engn, Lanzhou 730050, Peoples R China. 引用的参考文献数: 12 被引频次: 0 出版商: HARBIN INSTITUTE TECHNOLOGY PUBLISHERS 出版商地址: 16 FUXINGJIE NANGANGQU, HARBIN 150006, HEILONGJIANG, PEOPLES R CHINA ISBN: 7-5603-2054-6 来源文献页码计数: 4 学科类别: Engineering, Electrical & Electronic ISI 文献传递号: BAZ90 -------------------------------------------------------------------------------- 显示 40 条，共 58 条 作者: Zhang, J; Xu, C; Wang, XL 编者: Cuellar, JR; Liu, ZM 标题: Path-oriented test data generation using symbolic execution and constraint solving techniques 来源出版物: PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS: 242-250 2004 语言: English 文献类型: Proceedings Paper 会议标题: 2nd International Conference on Software Engineering and Formal Methods 会议日期: SEP 28-30, 2004 会议地点: Beijing, PEOPLES R CHINA 会议赞助商: IEEE Comp Soc, Tech Comm Complex Comp.; UNU IIST.; Peking Univ.; Chinese Acad Sci, Acad Div. KeyWords Plus: PROGRAMS 摘要: Automatic test data generation is a challenging task in software engineering research. This paper studies a path-oriented approach to the problem, which is based on the combination of symbolic execution and constraint solving. Methods for representing expressions and path conditions are discussed. An implemented toolkit is described with some examples. The toolkit transforms an input program (Possibly embedded with assertions) to an extended finite state machine and then performs depth first or breadth-first search on it. The goal is to find values for input variables such that a terminal state can be reached. If successful, input test data are found (which might reveal a bug in the program). 地址: Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China 通讯作者地址: Zhang, J, Chinese Acad Sci, Inst Software, Comp Sci Lab, Beijing 100080, Peoples R China. 引用的参考文献数: 33 被引频次: 2 出版商: IEEE COMPUTER SOC 出版商地址: 10662 LOS VAQUEROS CIRCLE, PO BOX 3014, LOS ALAMITOS, CA 90720-1264 USA ISBN: 0-7695-2222-X 来源文献页码计数: 9 学科类别: Computer Science, Software Engineering; Computer Science, Theory & Methods ISI 文献传递号: BBB83 -------------------------------------------------------------------------------- 显示 41 条，共 58 条 作者: Chen, H; Feng, DG 书籍团体作者: IEEE 标题: An effective evolutionary strategy for bijective S-boxes 来源出版物: CEC2004: PROCEEDINGS OF THE 2004 CONGRESS ON EVOLUTIONARY COMPUTATION, VOLS 1 AND 2: 2120-2123 2004 丛书标题: IEEE Congress on Evolutionary Computation 语言: English 文献类型: Proceedings Paper 会议标题: Congress on Evolutionary Computation (CEC 2004) 会议日期: JUN 19-23, 2004 会议地点: Portland, OR 会议赞助商: IEEE, Neural Network Soc.; Evolutionary Programming Soc.; IEEE. 摘要: Being as unique nonlinear components of block ciphers, S-boxes control the security of the cryptographic algorithms. The design of S-boxes with genetic algorithms is a recent research focus. For the popular bijective S-boxes, an effective evolutionary strategy is given in this paper, including fitness function, breeding strategy and hill climbing algorithm. Under this strategy, an effective genetic algorithm for 8 x 8 bijective S-boxes is provided and a large number of S-boxes with high nonlinearity and low difference uniformity can be obtained. 地址: Chinese Acad Sci, Inst Software, State Key Lab Informat Secur, Beijing 100080, Peoples R China 通讯作者地址: Chen, H, Chinese Acad Sci, Inst Software, State Key Lab Informat Secur, Beijing 100080, Peoples R China. 引用的参考文献数: 11 被引频次: 0 出版商: IEEE 出版商地址: 345 E 47TH ST, NEW YORK, NY 10017 USA ISBN: 0-7803-8515-2 29 字符的来源出版物名称缩写: IEEE CONGRESS EVOLUT COMPUTAT 来源文献页码计数: 4 学科类别: Computer Science, Artificial Intelligence; Computer Science, Theory & Methods ISI 文献传递号: BAM20 -------------------------------------------------------------------------------- 显示 42 条，共 58 条 作者: Ma, CX; Wang, HG; Dai, GZ; Chen, YD 编者: Shen, W; Li, TQ; Lin, ZK; Barthes, JP; Zeng, WH; Li, S; Yang, CH 标题: Research on collaborative interaction based on gesture and sketch in conceptual design 来源出版物: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, VOL 1: 261-266 2004 丛书标题: International Conference on Computer Supported Cooperative Work in Design 语言: English 文献类型: Proceedings Paper 会议标题: 8th International Conference on Computer Supported Cooperative Work in Design 会议日期: MAY 26-JUN 28, 2004 会议地点: Xiamen, PEOPLES R CHINA 会议赞助商: Xiamen Univ.; Xiamen Comp Federat.; IEEE.; CIMS.; China Comp Federat.; Zhongshan Univ.; Natl Nat Sci Fdn China.; Fuzhou Univ. 摘要: This paper presents an interaction pattern based on gesture and sketch. It provides a natural and harmonious user interface for collaborative operation in conceptual design, which enhances the development and application of collaborative system. Based on user-centered design, this paper analyzes different conceptual design process and gives a new collaborative design method based on gesture and sketch; it makes deep research on product information carrier based on sketch; Citing the gesture operation, it provides the collaborative context-awareness and the description model; it discusses the sketch interaction design for synchronous edit and the bi-direct constrain solution is put forward. This paper provides a convenient method of collaborative design to develop design efficiency and improve human-computer interaction. 地址: Chinese Acad Sci, Inst Software, Intelligence Engn Lab, Beijing 100080, Peoples R China 通讯作者地址: Ma, CX, Chinese Acad Sci, Inst Software, Intelligence Engn Lab, Beijing 100080, Peoples R China. 引用的参考文献数: 12 被引频次: 0 出版商: INTERNATIONAL ACADEMIC PUBLISHERS LTD 出版商地址: UNIT 1205, 12 FLOOR, SINO PLAZA, 255 GLOUCESTER ROAD, HONG KONG 00000, CAUSEWAY BAY, PEOPLES R CHINA ISBN: 7-5062-6209-6 29 字符的来源出版物名称缩写: INT CONF COMP SUPP COOP WORK 来源文献页码计数: 6 学科类别: Computer Science, Interdisciplinary Applications ISI 文献传递号: BAN09 -------------------------------------------------------------------------------- 显示 43 条，共 58 条 作者: Dai, GZ 编者: Shen, W; Li, TQ; Lin, ZK; Barthes, JP; Zeng, WH; Li, S; Yang, CH 标题: Pen-based user interface 来源出版物: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, VOL 2: 32-36 2004 丛书标题: International Conference on Computer Supported Cooperative Work in Design 语言: English 文献类型: Proceedings Paper 会议标题: 8th International Conference on Computer Supported Cooperative Work in Design 会议日期: MAY 26-JUN 28, 2004 会议地点: Xiamen, PEOPLES R CHINA 会议赞助商: Xiamen Univ.; Xiamen Comp Federat.; IEEE.; CIMS.; China Comp Federat.; Zhongshan Univ.; Natl Nat Sci Fdn China.; Fuzhou Univ. 摘要: Pen-based user interfaces are becoming more popular. This paper presents the universal analysis and specification of characters and structure of pen-based user interface. With the goal of high usability, interaction techniques on pen-based user interface are performed to improve the human-computer interaction. Furthermore, based on user-centered design, this paper provides a natural and harmonious pen-based user interface for collaborative design, which enhances the development and application of collaborative system. The results of the survey provide insight of pen-based user interfaces and related applications. 地址: Chinese Acad Sci, Inst Software, Intelligence Engn Lab, Beijing 100080, Peoples R China 通讯作者地址: Dai, GZ, Chinese Acad Sci, Inst Software, Intelligence Engn Lab, Beijing 100080, Peoples R China. 引用的参考文献数: 19 被引频次: 0 出版商: INTERNATIONAL ACADEMIC PUBLISHERS LTD 出版商地址: UNIT 1205, 12 FLOOR, SINO PLAZA, 255 GLOUCESTER ROAD, HONG KONG 00000, CAUSEWAY BAY, PEOPLES R CHINA ISBN: 0-7803-7941-1 29 字符的来源出版物名称缩写: INT CONF COMP SUPP COOP WORK 来源文献页码计数: 5 学科类别: Computer Science, Interdisciplinary Applications ISI 文献传递号: BAN11 -------------------------------------------------------------------------------- 显示 44 条，共 58 条 作者: Wang, DL; Dai, GZ; Wang, HG; Hua, QY 编者: Shen, W; Li, TQ; Lin, ZK; Barthes, JP; Zeng, WH; Li, S; Yang, CH 标题: Research on the cooperation of the virtual enterprise using metasynthetic engineering 来源出版物: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, VOL 2: 582-587 2004 丛书标题: International Conference on Computer Supported Cooperative Work in Design 语言: English 文献类型: Proceedings Paper 会议标题: 8th International Conference on Computer Supported Cooperative Work in Design 会议日期: MAY 26-JUN 28, 2004 会议地点: Xiamen, PEOPLES R CHINA 会议赞助商: Xiamen Univ.; Xiamen Comp Federat.; IEEE.; CIMS.; China Comp Federat.; Zhongshan Univ.; Natl Nat Sci Fdn China.; Fuzhou Univ. KeyWords Plus: ANALYTIC HIERARCHY PROCESS 摘要: This paper first briefly discusses complexity and complex systems. Then it points out that a virtual enterprise is an open complex giant system and in essence a certain result of enterprise's adaptation to the environmental changes. The problems in enterprise cooperation are studied, then the framework of Metasynthetic Engineering platform for virtual enterprise is given to facilitate enterprise cooperation and management. The method and process of decision making for virtual enterprise are discussed. The key feature of this platform - human-machine cooperation is also analyzed. 地址: Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China 通讯作者地址: Wang, DL, Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China. 引用的参考文献数: 19 被引频次: 0 出版商: INTERNATIONAL ACADEMIC PUBLISHERS LTD 出版商地址: UNIT 1205, 12 FLOOR, SINO PLAZA, 255 GLOUCESTER ROAD, HONG KONG 00000, CAUSEWAY BAY, PEOPLES R CHINA ISBN: 0-7803-7941-1 29 字符的来源出版物名称缩写: INT CONF COMP SUPP COOP WORK 来源文献页码计数: 6 学科类别: Computer Science, Interdisciplinary Applications ISI 文献传递号: BAN11 -------------------------------------------------------------------------------- 显示 45 条，共 58 条 作者: Wang, JL; Jin, BH; Wei, J; Li, J 编者: Meersman, R; Tari, Z; VanderAalst, W; Bussler, C; Gal, A; Cahill, V; Vinoski, S; Vogels, W; Gatarci, T; Sycara, K 标题: A reliable content-based routing protocol over structured peer-to-peer networks 来源出版物: ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2004: COOPIS, DOA, AND ODBASE, PT 1, PROCEEDINGS, 3290: 373-390 2004 丛书标题: LECTURE NOTES IN COMPUTER SCIENCE 语言: English 文献类型: Proceedings Paper 会议标题: On the Move Confederated International Workshop and Conference 会议日期: OCT 25-29, 2004 会议地点: Agia Napa, CYPRUS 会议赞助商: RMIT Univ, Sch Comp Sci & Informat Technol.; Vrije Univ Brussel, Dept Comp Sci. 摘要: Much work has been done on.. building content-based publish/subscribe systems over structured P2P networks',so that the two technologies can be combined together to better support large-scale and highly dynamic systems. However, existing content-based routing protocols can only provide weak reliability guarantee over structured P2P networks. We designed a new type of content-based routing protocol over structured P2P networks - Identifier Range Based Routing (IRBR) protocol, which organizes subscriptions on the basis of the identifier range of subscribers. It provides strong reliability guarantee and is more efficient in event delivery. Experimental results demonstrate the routing efficiency of the protocol. 地址: Chinese Acad Sci, Inst Software, Beijing, Peoples R China; Chinese Acad Sci, Grad Sch, Beijing, Peoples R China 通讯作者地址: Wang, JL, Chinese Acad Sci, Inst Software, Beijing, Peoples R China. 电子邮箱地址: jlwang@otcaix.iscas.ac.cn; jbh@otcaix.iscas.ac.cn; wj@otcaix.iscas.ac.cn; lij@otcaix.iscas.ac.cn 引用的参考文献数: 29 被引频次: 0 出版商: SPRINGER-VERLAG BERLIN 出版商地址: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY ISSN: 0302-9743 ISBN: 3-540-23663-5 29 字符的来源出版物名称缩写: LECT NOTE COMPUT SCI 来源文献页码计数: 18 学科类别: Computer Science, Theory & Methods ISI 文献传递号: BBE03 -------------------------------------------------------------------------------- 显示 46 条，共 58 条 作者: Wang, H; Buczak, AL; Jin, H; Wang, H; Li, B 编者: Jin, H; Gao, GR; Xu, ZW; Chen, H 标题: Sensors network optimization by a novel genetic algorithm 来源出版物: NETWORK AND PARALLEL COMPUTING, PROCEEDINGS, 3222: 536-543 2004 丛书标题: LECTURE NOTES IN COMPUTER SCIENCE 语言: English 文献类型: Proceedings Paper 会议标题: IFIP International Conference on Network and Parallel Computing 会议日期: OCT 18-20, 2004 会议地点: Wuhan, PEOPLES R CHINA 会议赞助商: IFIP. 摘要: This paper describes the optimization of a sensor network by a novel Genetic Algorithm (GA) that we call King Mutation C2. For a given distribution of sensors, the goal of the system is to determine the optimal combination of sensors that can detect and/or locate the objects. An optimal combination is the one that minimizes the power consumption of the entire sensor network and gives the best accuracy of location of desired objects. The system constructs a GA with the appropriate internal structure for the optimization problem at hand, and King Mutation C2 finds the quasi-optimal combination of sensors that can detect and/or locate the objects. The study is performed for the sensor network optimization problem with five objects to detect/track and the results obtained by a canonical GA and King Mutation C2 are compared. 地址: Chinese Acad Sci, Inst Software, Beijing 100864, Peoples R China; Lockheed Martin Adv Technol Labs, Cherry Hill, NJ 08002 USA; Zibo Elect Power Co, Shandong 255032, Peoples R China 通讯作者地址: Wang, H, Chinese Acad Sci, Inst Software, Beijing 100864, Peoples R China. 电子邮箱地址: wanghui@ios.cn 引用的参考文献数: 17 被引频次: 0 出版商: SPRINGER-VERLAG BERLIN 出版商地址: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY ISSN: 0302-9743 ISBN: 3-540-23388-1 29 字符的来源出版物名称缩写: LECT NOTE COMPUT SCI 来源文献页码计数: 8 学科类别: Computer Science, Theory & Methods ISI 文献传递号: BBB67 -------------------------------------------------------------------------------- 显示 47 条，共 58 条 作者: Xu, C; Cheung, SC; Lo, C; Leung, KC; Wei, J 编者: Jin, H; Gao, GR; Xu, ZW; Chen, H 标题: Cabot: On the ontology for the middleware support of context-aware pervasive applications 来源出版物: NETWORK AND PARALLEL COMPUTING, PROCEEDINGS, 3222: 568-575 2004 丛书标题: LECTURE NOTES IN COMPUTER SCIENCE 语言: English 文献类型: Proceedings Paper 会议标题: IFIP International Conference on Network and Parallel Computing 会议日期: OCT 18-20, 2004 会议地点: Wuhan, PEOPLES R CHINA 会议赞助商: IFIP. 摘要: Middleware support is a major topic in pervasive computing. Existing studies mainly address the issues in the organization of and the collaboration amongst devices and services, but pay little attention to the design support of context-aware pervasive applications. Most of these applications are required to be adaptable to dynamic environments and self-managed. However, most context-aware pervasive applications nowadays have to carry out tedious tasks of gathering, classifying and processing messy context information due to lack of the necessary middleware support. To address this problem, we propose a novel approach based on ontology technology, and apply it in our Cabot project. Our approach defines a context ontology catered for the pervasive computing environment. The ontology acts as the context information agreement amongst all computing components to support applications with flexible context gathering and classifying capabilities. This allows a domain ontology database to be constructed for storing the semantics relationship of concepts used in the pervasive computing environment. The ontology database supports applications with rich context processing capabilities. With the aid of ontology technology, Cabot further helps alleviate the impact of the naming problem, and support advanced user space switching. A case study is given to show how Cabot assists developers in designing context-aware pervasive applications. 地址: Hong Kong Univ Sci & Technol, Dept Comp Sci, Kowloon, Hong Kong, Peoples R China; Chinese Acad Sci, Inst Software, Technol Ctr Software Engn, Beijing 100864, Peoples R China 通讯作者地址: Xu, C, Hong Kong Univ Sci & Technol, Dept Comp Sci, Kowloon, Hong Kong, Peoples R China. 电子邮箱地址: changxu@cs.ust.hk; scc@cs.ust.uk; cindylo@cs.ust.hk; lkchiu@cs.ust.hk; wj@otcaix.iscas.ac.cn 引用的参考文献数: 9 被引频次: 0 出版商: SPRINGER-VERLAG BERLIN 出版商地址: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY ISSN: 0302-9743 ISBN: 3-540-23388-1 29 字符的来源出版物名称缩写: LECT NOTE COMPUT SCI 来源文献页码计数: 8 学科类别: Computer Science, Theory & Methods ISI 文献传递号: BBB67 -------------------------------------------------------------------------------- 显示 48 条，共 58 条 作者: Wang, JL; Jin, BH; Li, J 编者: Jacobsen, HA 标题: An ontology-based publish/subscribe system 来源出版物: MIDDLEWARE 2004, PROCEEDINGS, 3231: 232-253 2004 丛书标题: LECTURE NOTES IN COMPUTER SCIENCE 语言: English 文献类型: Proceedings Paper 会议标题: 5th International Middleware Conference 会议日期: OCT, 2004 会议地点: Toronto, CANADA 会议赞助商: ACM.; IFIP.; USENIX.; Cybermation.; IONA.; BBN Technologies.; IBM Res.; Siemens. KeyWords Plus: SUBGRAPH ISOMORPHISM 摘要: Expressiveness and matching efficiency are two key design goals of publish/subscribe systems. In this paper, we introduce the Semantic Web technologies into the publish/subscribe system and propose an ontology-based publish/subscribe (OPS) system. The system can make use of the semantic of events to match events with subscriptions, and can support events with complex data structure (such as graph structure). An efficient matching algorithm is proposed for the OPS system, which can match events with subscriptions in a speed much higher than conventional graph matching algorithms. Therefore, the main contribution of our work is that it greatly improves the expressiveness of the publish/subscribe system without the sacrifice of matching efficiency. 地址: Chinese Acad Sci, Inst Software, Beijing, Peoples R China; Chinese Acad Sci, Grad Sch, Beijing, Peoples R China 通讯作者地址: Wang, JL, Chinese Acad Sci, Inst Software, Beijing, Peoples R China. 电子邮箱地址: jlwang@otcaix.iscas.ac.cn; jbh@otcaix.iscas.ac.cn; lij@otcaix.iscas.ac.cn 引用的参考文献数: 25 被引频次: 5 出版商: SPRINGER-VERLAG BERLIN 出版商地址: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY ISSN: 0302-9743 ISBN: 3-540-23428-4 29 字符的来源出版物名称缩写: LECT NOTE COMPUT SCI 来源文献页码计数: 22 学科类别: Computer Science, Theory & Methods ISI 文献传递号: BBB68 -------------------------------------------------------------------------------- 显示 49 条，共 58 条 作者: Zhang, J; Zhang, HT 编者: Buchberger, B; Campbell, JA 标题: Extending finite model searching with congruence closure computation 来源出版物: ARTIFICIAL INTELLIGENCE AND SYMBOLIC COMPUTATION, PROCEEDINGS, 3249: 94-102 2004 丛书标题: LECTURE NOTES IN COMPUTER SCIENCE 语言: English 文献类型: Proceedings Paper 会议标题: 7th International Conference on Artificial Intelligence and Symbolic Computation 会议日期: SEP 22-24, 2004 会议地点: Linz, AUSTRIA 会议赞助商: Johannes Kepler Univ Linz, Res Inst Symbol Computat.; Randon Inst Computat & Appl Math.; Austrian Acad Sci.; Linzer Hochschulfonds.; Upper Austrian Govt.; Austrian Sci Fdn.; Raiffeisenlandesbank Upper Austria.; Siemens Austria.; CoLogNET. 摘要: The model generation problem, regarded as a special case of the Constraint Satisfaction Problem (CSP), has many applications in AI, computer science and mathematics. In this paper, we describe how to increase propagation of constraints by using the ground congruence closure algorithm. The experimental results show that using the congruence closure algorithm can reduce the search space for some benchmark problems. 地址: Chinese Acad Sci, Inst Software, Lab Comp Sci, Beijing 100080, Peoples R China; Univ Iowa, Dept Comp Sci, Iowa City, IA 52242 USA 通讯作者地址: Zhang, J, Chinese Acad Sci, Inst Software, Lab Comp Sci, Beijing 100080, Peoples R China. 电子邮箱地址: zj@ios.ac.cn; hzhang@cs.uiowa.edu 引用的参考文献数: 16 被引频次: 0 出版商: SPRINGER-VERLAG BERLIN 出版商地址: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY ISSN: 0302-9743 ISBN: 3-540-23212-5 29 字符的来源出版物名称缩写: LECT NOTE COMPUT SCI 来源文献页码计数: 9 学科类别: Computer Science, Theory & Methods ISI 文献传递号: BAX58 -------------------------------------------------------------------------------- 显示 50 条，共 58 条 作者: Deng, XT; Li, GJ 编者: Diaz, J; Karhumaki, J; Lepisto, A; Sannella, D 标题: A PTAS for embedding hypergraph in a cycle - (Extended abstract) 来源出版物: AUTOMATA , LANGUAGES AND PROGRAMMING, PROCEEDINGS, 3142: 433-444 2004 丛书标题: LECTURE NOTES IN COMPUTER SCIENCE 语言: English 文献类型: Proceedings Paper 会议标题: 31st International Colloquium on Automata, Languages and Programming (ICALP 2004) 会议日期: JUL 12-16, 2004 会议地点: Turku, FINLAND 会议赞助商: Turku Ctr Comp Sci.; Acad Finland.; City Turku.; Finnair.; Finnish Acad Sci & Letters.; Vaisala Fdn.; Math Fdn.; Finnish Cultural Fdn.; Fujitsu Siemens.; IBM.; MasterPlanet.; Nokia.; Nordea.; Sampo Life Insurance Co Ltd.; Stiftelsen Abo Akad.; Turku Univ Fdn.; Turun Seudun Osuuspankki.; Univ Turku. 会议主办方: Turku Univ Math Dept 作者关键词: minimum congestion embedding hypergraph in a cycle; computer application; polynomial-time approximation scheme KeyWords Plus: RING LOADING PROBLEM; PLANAR GRAPHS; ALGORITHMS 摘要: We consider the problem of embedding hyperedges of a hypergraph as paths in a cycle such that the maximum congestion-the maximum number of paths that use any single edge in a cycle-is minimized. We settle the problem with a polynomial-time approximation scheme. 地址: City Univ Hong Kong, Hong Kong, Hong Kong, Peoples R China; Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China; Shandong Univ, Sch Math & Syst Sci, Jinan 250100, Peoples R China 通讯作者地址: Deng, XT, City Univ Hong Kong, Hong Kong, Hong Kong, Peoples R China. 引用的参考文献数: 14 被引频次: 0 出版商: SPRINGER-VERLAG BERLIN 出版商地址: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY ISSN: 0302-9743 ISBN: 3-540-22849-7 29 字符的来源出版物名称缩写: LECT NOTE COMPUT SCI 来源文献页码计数: 12 学科类别: Computer Science, Theory & Methods ISI 文献传递号: BAU86 -------------------------------------------------------------------------------- 显示 51 条，共 58 条 作者: Li, SG; Li, GJ; Zhang, SQ 编者: Chwa, KY; Munro, JI 标题: Minimizing maximum lateness on identical parallel batch processing machines 来源出版物: COMPUTING AND COMBINATORICS, PROCEEDINGS, 3106: 229-237 2004 丛书标题: LECTURE NOTES IN COMPUTER SCIENCE 语言: English 文献类型: Proceedings Paper 会议标题: 10th International Computing and Combinatories Conference (COCOON 2004) 会议日期: AUG 17-20, 2004 会议地点: Jeju Isl, SOUTH KOREA 会议赞助商: Korea Adv Inst Sci & Techol.; Korea Sci & Engn Fdn.; Korea Informat Sci Soc. KeyWords Plus: ALGORITHMS; TIMES 摘要: We consider the problem of scheduling n jobs with release dates on m identical parallel batch processing machines so as to minimize the maximum lateness. Each batch processing machine can process up to B (B < n) jobs simultaneously as a batch, and the processing time of a batch is the largest processing time among the jobs in the batch. Jobs processed in the same batch start and complete at the same time. We present a polynomial time approximation scheme (PTAS) for this problem. 地址: Yantai Univ, Dept Math & Informat Sci, Yantai 264005, Peoples R China; Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China; Shandong Univ, Sch Math & Syst Sci, Jinan 250100, Peoples R China; Tianjin Normal Univ, Dept Math, Tianjin 300074, Peoples R China 通讯作者地址: Li, SG, Yantai Univ, Dept Math & Informat Sci, Yantai 264005, Peoples R China. 电子邮箱地址: sgliytu@hotmail.com; gjli@sdu.edu.cn; sqzhang@163.com 引用的参考文献数: 12 被引频次: 2 出版商: SPRINGER-VERLAG BERLIN 出版商地址: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY ISSN: 0302-9743 ISBN: 3-540-22856-X 29 字符的来源出版物名称缩写: LECT NOTE COMPUT SCI 来源文献页码计数: 9 学科类别: Computer Science, Theory & Methods ISI 文献传递号: BAU45 -------------------------------------------------------------------------------- 显示 52 条，共 58 条 作者: Bi, WX; Wang, XG; Zong, ZL; Tang, Z 编者: Yin, FL; Wang, J; Guo, CG 标题: Modified error function with added terms for the backpropagation algorithm 来源出版物: ADVANCES IN NEURAL NETWORKS - ISNN 2004, PT 1, 3173: 338-343 2004 丛书标题: LECTURE NOTES IN COMPUTER SCIENCE 语言: English 文献类型: Proceedings Paper 会议标题: International Symposium on Neural Networks (ISSN 2004) 会议日期: AUG 19-21, 2004 会议地点: Dalian, PEOPLES R CHINA 会议赞助商: Dalian Univ Technol.; Chinese Univ Hong Kong.; IEEE Circuits & Syst Soc.; IEEE Computat Intelligence Soc.; IEEE Control Syst Soc.; Robot & Automat Soc. 摘要: We have noted that the local minima problem in the back-propagation algorithm is usually caused by update disharmony between weights connected to the hidden layer and the output layer. To solve this problem, we propose a modified error function with added terms. By adding one term to the conventional error function, the modified error function can harmonize the update of weights connected to the hidden layer and the output layer. Thus, it can avoid the local minima problem caused by such disharmony. Moreover, some new learning parameters introduced for the added term are easy to select. Simulations on the modified XOR problem have been performed to test the validity of the modified error function. 地址: Toyama Univ, Fac Engn, Toyama 9308555, Japan; Chinese Acad Sci, Inst Software, Intelligence Engn Lab, Beijing 100080, Peoples R China; Shandong Univ, Fac Comp Sci, Jinan 250061, Peoples R China 通讯作者地址: Bi, WX, Toyama Univ, Fac Engn, Toyama 9308555, Japan. 电子邮箱地址: biweixing613@hotmail.com; tang@iis.toyama-u.ac.jp; wxg@iel.iscas.ac.cn; pipizzl@hotmail.com 引用的参考文献数: 8 被引频次: 0 出版商: SPRINGER-VERLAG BERLIN 出版商地址: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY ISSN: 0302-9743 ISBN: 3-540-22841-1 29 字符的来源出版物名称缩写: LECT NOTE COMPUT SCI 来源文献页码计数: 6 学科类别: Computer Science, Theory & Methods ISI 文献传递号: BAT64 -------------------------------------------------------------------------------- 显示 53 条，共 58 条 作者: Ren, ZH; Jin, BH; Li, J 编者: Bussler, C; Fensel, D; Orlowska, ME; Yang, J 标题: A new web application development methodology: Web service composition 来源出版物: WEB SERVICES, E-BUSINESS, AND THE SEMANTIC WEB, 3095: 134-145 2004 丛书标题: LECTURE NOTES IN COMPUTER SCIENCE 语言: English 文献类型: Proceedings Paper 会议标题: 2nd International Workshop on Web Services, E-Business and the Semantic Web held in conjunction with the 15th International Conference on Advanced Information Systems Engineering (CAiSE 2003) 会议日期: JUN 16-17, 2003 会议地点: Klagenfurt, AUSTRIA 摘要: Traditional methodology for web application development can not fully satisfy the requirement raised by web services. Generally, distributed web applications are built on top of 3-tier client/server model, which is a relatively static environment that can provide reliable static service binding. However, in the web service-oriented environment, service binding is dynamic and just-in-time. How to enable the composition among the web services has become a key area in the software engineering research. In this paper, we present a new methodology for web application development, which is a framework that facilitates the visual design, validation and development of web service composition. The framework is mainly based on Web Service Composition Graph (WSCG), the underlying formalism for web service compositions. Using graph grammar and graph transformation defined on WSCG, the static topological structure of a web service composition can be described and the automation of the constructed web service composition is also facilitated. 地址: Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China 通讯作者地址: Ren, ZH, Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China. 电子邮箱地址: ren@otcaix.iscas.ac.cn; jbh@otcaix.iscas.ac.cn; lij@otcaix.iscas.ac.cn 引用的参考文献数: 15 被引频次: 1 出版商: SPRINGER-VERLAG BERLIN 出版商地址: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY ISSN: 0302-9743 ISBN: 3-540-22396-7 29 字符的来源出版物名称缩写: LECT NOTE COMPUT SCI 来源文献页码计数: 12 学科类别: Computer Science, Theory & Methods ISI 文献传递号: BAR49 -------------------------------------------------------------------------------- 显示 54 条，共 58 条 作者: Wu, YW; Yang, GW; Zheng, WM; Lin, DD 编者: Bubak, M; DickVanAlbada, G; Sloot, PMA; Dongarra, JJ 标题: DisCAS: A distributed-parallel computer algebra system 来源出版物: COMPUTATIONAL SCIENCE - ICCS 2004, PROCEEDINGS, 3039: 295-302 Part 4 2004 丛书标题: LECTURE NOTES IN COMPUTER SCIENCE 语言: English 文献类型: Proceedings Paper 会议标题: 4th International Conference on Computational Science (ICCS 2004) 会议日期: JUN 06-09, 2004 会议地点: Krakow, POLAND 会议赞助商: Hewlett-Packard.; Intel.; SGI.; ATM.; Sun Microsyst.; IBM.; Polish Airlines LOT.; ACC CYFRONET AGH.; Inst Comp Sci AGH.; Polish Minist Sci Res & Informat Technol.; Springer Verlag. 摘要: The DisCAS system employs and interacts with multiple ELIMINOs distributed over the Internet to achieve a distributed-parallel computing environment. ELIMINO is a computer algebra system developed to support Wu's method for computing characteristic sets of polynomials and for other related operations. GridPPI, an MPI-like interface for grid computing, could couple multiple computing tools distributed over grid to run complex computing problems. DisCAS combines grid technology, GridPPI and ELIMINOs to deliver high performance computing to Internet users. The overall ELIMINO, GridPPI, and grid technology, as well as the DisCAS architecture are presented. The way to access and apply DisCAS and related works are also discussed at last. 地址: Tsing Hua Univ, Dept Comp Sci & Technol, Beijing 100084, Peoples R China; Chinese Acad Sci, Inst Software, State Key Lab Informat Secur, Beijing 100080, Peoples R China 通讯作者地址: Wu, YW, Tsing Hua Univ, Dept Comp Sci & Technol, Beijing 100084, Peoples R China. 引用的参考文献数: 18 被引频次: 0 出版商: SPRINGER-VERLAG BERLIN 出版商地址: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY ISSN: 0302-9743 ISBN: 3-540-22129-8 29 字符的来源出版物名称缩写: LECT NOTE COMPUT SCI 来源文献页码计数: 8 学科类别: Computer Science, Theory & Methods ISI 文献传递号: BAO62 -------------------------------------------------------------------------------- 显示 55 条，共 58 条 作者: Wu, EH; Liu, YQ; Liu, XH 标题: An improved study of real-time fluid simulation on GPU 来源出版物: COMPUTER ANIMATION AND VIRTUAL WORLDS, 15 (3-4): 139-146 JUL 2004 语言: English 文献类型: Proceedings Paper 会议标题: 17th Annual Conference on Computer Animation and Social Agents (CASA 2004) 会议日期: JUL 07-09, 2004 会议地点: Geneva, SWITZERLAND 会议主办方: Univ Geneva 作者关键词: graphics hardware; GPLF; programmability; NSEs; fluid simulation; real-time 摘要: Taking advantage of the parallelism and programmability of GPU, we solve the fluid dynamics problem completely on GPU. Different from previous methods, the whole computation is accelerated in our method by packing the scalar and vector variables into four channels of texels. In order to be adaptive to the arbitrary boundary conditions, we group the grid nodes into different types according to their positions relative to obstacles and search the node that determines the value of the current node. Then we compute the texture coordinates offsets according to the type of the boundary condition of each node to determine the corresponding variables and achieve the interaction of flows with obstacles set freely by users. The test results prove the efficiency of our method and exhibit the potential of GPU for general-purpose computations. Copyright (C) 2004 John Wiley Sons, Ltd. 地址: Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing, Peoples R China 通讯作者地址: Wu, EH, Chinese Acad Sci, Comp Sci Lab, Inst Software, Beijing, Peoples R China. 电子邮箱地址: ehwu@umac.mo 引用的参考文献数: 25 被引频次: 12 出版商: JOHN WILEY & SONS LTD 出版商地址: THE ATRIUM, SOUTHERN GATE, CHICHESTER PO19 8SQ, W SUSSEX, ENGLAND ISSN: 1546-4261 DOI: 10.1002/cav.16 29 字符的来源出版物名称缩写: COMPUT ANIMAT VIRTUAL WORLDS ISO 来源文献出版物名称缩写: Comput. Animat. Virtual Worlds 来源文献页码计数: 8 学科类别: Computer Science, Software Engineering ISI 文献传递号: 839OZ -------------------------------------------------------------------------------- 显示 56 条，共 58 条 作者: Wang, JF; Zhou, MT; Li, YX 编者: Mammeri, Z; Lorenz, P 标题: Survey on the end-to-end Internet delay measurements 来源出版物: HIGH SPEED NETWORKS AND MULTIMEDIA COMMUNICATIONS, PROCEEDINGS, 3079: 155-166 2004 丛书标题: LECTURE NOTES IN COMPUTER SCIENCE 语言: English 文献类型: Proceedings Paper 会议标题: 7th IEEE International Conference on High Speech Networks and Multimedia Communications 会议日期: JUN 30-JUL 02, 2004 会议地点: Toulouse, FRANCE 会议赞助商: IEEE. 摘要: The end-to-end delay of Internet is a fundamental indicator for network performance evaluation and has been becoming a hot issue in network measurements in recent years. There are two kinds of metrics related to the end-to-end latency, i.e., Round Trip Delay and One-way Delay metric. In the paper, we survey the recent progresses on these two types of metrics measurement. Special concerns are on the clock synchronization issue in one-way delay measurement. The problems in deploying end-to-end delay measurement and the timestamping issue are also summarized. The potential new research directions in delay measurement and analysis are discussed. 地址: Univ Elect Sci & Technol China, Coll Comp Sci & Engn, Chengdu, Peoples R China; Chongqing Commun Inst, Grad Sch, Chongqing, Peoples R China; Chinese Acad Sci, Inst Software, Beijing 100864, Peoples R China 通讯作者地址: Wang, JF, Univ Elect Sci & Technol China, Coll Comp Sci & Engn, Chengdu, Peoples R China. 电子邮箱地址: mailwangjf@yahoo.com.cn; mtzhou@uestc.edu.cn; liyuxia20022003@yahoo.com.cn 引用的参考文献数: 35 被引频次: 3 出版商: SPRINGER-VERLAG BERLIN 出版商地址: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY ISSN: 0302-9743 ISBN: 3-540-22262-6 29 字符的来源出版物名称缩写: LECT NOTE COMPUT SCI 来源文献页码计数: 12 学科类别: Computer Science, Theory & Methods ISI 文献传递号: BAJ34 -------------------------------------------------------------------------------- 显示 57 条，共 58 条 作者: Chen, Y 编者: Dai, H; Srikant, R; Zhang, C 标题: Discovering ordered tree patterns from XML queries 来源出版物: ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS, 3056: 559-563 2004 丛书标题: LECTURE NOTES IN ARTIFICIAL INTELLIGENCE 语言: English 文献类型: Proceedings Paper 会议标题: 8th Pacific/Asia Conference on Advances in Knowledge Discovery and Data Mining 会议日期: MAY 26-28, 2004 会议地点: Sydney, AUSTRALIA 会议赞助商: NICIA.; SAS.; Univ Technol Sydney.; Deakin Univ. 摘要: Recently, several researches have investigated the discovering of frequent XML query patterns using frequent structure mining techniques. All these works ignore the order properties of XML queries, and therefore are limited in their effectiveness. In this paper, we consider the discovering of ordered query patterns. We propose an algorithm for ordered query pattern mining. Experiments show that our method is efficient. 地址: Chinese Acad Sci, Inst Software, Beijing 100864, Peoples R China 通讯作者地址: Chen, Y, Chinese Acad Sci, Inst Software, Beijing 100864, Peoples R China. 引用的参考文献数: 4 被引频次: 0 出版商: SPRINGER-VERLAG BERLIN 出版商地址: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY ISSN: 0302-9743 ISBN: 3-540-22064-X 29 字符的来源出版物名称缩写: LECT NOTE ARTIF INTELL 来源文献页码计数: 5 学科类别: Computer Science, Artificial Intelligence ISI 文献传递号: BAF29 -------------------------------------------------------------------------------- 显示 58 条，共 58 条 作者: Chen, B; Chi, XB; Wu, H 编者: Li, M; Sun, XH; Deng, Q; Ni, J 标题: A model for user management in grid computing environments 来源出版物: GRID AND COOPERATIVE COMPUTING, PT 1, 3032: 732-737 2004 丛书标题: LECTURE NOTES IN COMPUTER SCIENCE 语言: English 文献类型: Proceedings Paper 会议标题: 2nd International Workshop on Grid and Cooperative Computing 会议日期: DEC 07-10, 2003 会议地点: Shanghai, PEOPLES R CHINA 摘要: Grid user management aims to effectively manage grid user accounts. The traditional model to manage grid user accounts has several disadvantages. With the enlargement of the scale of the grid computing environment, these disadvantages will become more obvious. In contrast to the traditional model of grid user management, we propose a model that is based on the concept of account mapping. This allows us to facilitate user management and improve the scalability, security and accounting, and make uniform management possible. 地址: Chinese Acad Sci, Comp Network Informat Ctr, Beijing 100080, Peoples R China; Chinese Acad Sci, Inst Software, Beijing 100080, Peoples R China 通讯作者地址: Chen, B, Chinese Acad Sci, Comp Network Informat Ctr, Beijing 100080, Peoples R China. 电子邮箱地址: chb@jupiter.cnc.ac.cn; chi@jupiter.cnc.ac.cn; wh@jupiter.cnc.ac.cn 引用的参考文献数: 6 被引频次: 0 出版商: SPRINGER-VERLAG BERLIN 出版商地址: HEIDELBERGER PLATZ 3, D-14197 BERLIN, GERMANY ISBN: 3-540-21988-9 来源文献页码计数: 6 学科类别: Computer Science, Theory & Methods ISI 文献传递号: BAC96