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

IEEE International Conference on Information Reuse and Integration (IRI)

作者： Stuart Rubin Shu-Ching Chen Susanne Bahr William A. Gruver Robert Hockett Michael Jiang Gordon K. Lee Michael Leyton June R. Massoud Mariofanna Milanova Antony Satyadas Michael Smith Daniel Yeung SPAWAR Systems Center USA Florida International University USA Florida Institute of Technology USA Emeritus of Engineering Science Intelligent Robotics Corporation-Simon Fraser University USA Cornell University USA Motorola USA San Diego State University USA Center for Discrete Mathematics & Theoretical Computer Science (DIMACS) Rutgers University USA Independent Montreal Canada University of Arkansas Little Rock USA IBM Senior Certified Executive Architect IBM Software Group USA University of California Berkeley USA Hong Kong Polytechnic University Hung Hom Hong Kong China

The purpose of the industrial panel is summarily stated as follows. This panel serves the goal of finding ways to increase industrial participation in the SMC Transaction journals. Only through industrial collaboration can the SMC society maintain financial solvency and an influx of industrial and academic minds into its constituent fields. It is our hope that the industrial panel will provide vision and direction with these ends in mind. Invitees to the panel currently serve or have served as a CEO, president, vice-president, or other ranking executive of a corporation or federal agency that has a vested interest in transitioning research; or, as a dean (any subrank), provost, president, or grant agent of an accredited North American Research University that has experience in marketing patents, or other research products such as software, etc. Several distinguished university professors have also be invited. They have special insight into technology transition, and have a track record of bringing in funding, as appropriate, publication (not necessarily extensive, which helps us to bolster our IEEE Transaction journals as one of the subjects of our planned deliberations). The panel will address, as its primary focus, how to increase the market share of our IEEE SMC Transactions (especially Part C), while maintaining or improving their quality, maintaining or improving their financial solvency, and publishing research that industry and government need done and can share in an open forum.

关键词： Industrial relations USA Councils Sliding mode control Publishing computer industry Intelligent robots Competitive intelligence Service robots mathematics computer science

来源：评论

学校读者我要写书评

暂无评论

The Integration of a Virtual Environment and 3D Modeling Tools in a Networked Robot System

The Integration of a Virtual Environment and 3D Modeling Too...

引用

作者： Tan, Jiacheng Clapworthy, Gordon J. Belousov, Igor R. Department of Computer Science and Software Engineering University of Portsmouth Lion Terrace PortsmouthPO12HE United Kingdom Department of Computing and Information Systems University of Luton Luton United Kingdom Keldysh Institute of Applied Mathematics Russian Academy of Science Moscow Russia

This paper presents interfacing techniques to integrate a virtual environment (VE), computer graphics, image-based modeling, and other technologies in a networked system for robot control. Technologies such as networked robotics have advanced rapidly in the past decade, bringing a physical aspect to the usage of the Internet. Various applications of Internet telerobotics have been investigated and a variety of techniques have been proposed to increase the control robustness and efficiency of such systems. In this paper, we introduce a teleoperated robot manipulator that uses VE and other supporting technologies as a human-system interface to suppress the variable communication latency of the Internet. The paper focuses on the control techniques and the system structure that supports the implementation of the techniques. © 2006 World Scientific Publishing Company.

关键词： Virtual reality

来源：评论

学校读者我要写书评

暂无评论

A low-power multithreaded processor for software defined radio

A low-power multithreaded processor for software defined rad...

引用

作者： Schulte, Michael Glossner, John Jinturkar, Sanjay Moudgill, Mayan Mamidi, Suman Vassiliadis, Stamatis University of Wisconsin Dept. of ECE 1415 Engineering Drive Madison WI 53706 United States Sandbridge Technologies 1 North Lexington Ave. White Plains NY 10512 United States Delft University of Technology Electrical Engineering Mathematics and Computer Science Department Delft Netherlands University of Wisconsin Madison Madison Embedded Systems and Architectures Group IEEE IEEE Computer Society Sandbridge Technologies Sandbridge Systems Software and Communications Software Groups Department of Electrical and Computer Engineering University OfWisconsin Madison Netherlands ACM

Embedded digital signal processors for software defined radio have stringent design constraints including high computational bandwidth, low power consumption, and low interrupt latency. Furthermore, due to rapidly evolving communication standards with increasing code complexity, these processors must be compiler-friendly, so that code for them can quickly be developed in a high-level language. In this paper, we present the design of the Sandblaster Processor, a low-power multithreaded digital signal processor for software defined radio. The processor uses a unique combination of token triggered threading, powerful compound instructions, and SIMD vector operations to provide real-time baseband processing capabilities with very low power consumption. We describe the processor's architecture and microarchitecture, along with various techniques for achieving high performance and low power dissipation. We also describe the processor's programming environment and the SB3010 platform, a complete system-on-chip solution for software defined radio. Using a super-computer class vectorizing compiler, the SB3010 achieves real-time performance in software on a variety of communication protocols including 802.11b, GPS, AM/FM radio, Bluetooth, GPRS, and WCDMA. In addition to providing a programmable platform for SDR, the processor also provides efficient support for a wide variety of digital signal processing and multimedia applications. © 2006 Springer science + Business Media, LLC.

关键词： Program processors

来源：评论

学校读者我要写书评

暂无评论

Closed Multidimensional Sequential Pattern Mining

Closed Multidimensional Sequential Pattern Mining

引用

International Conference on Information Technology: New Generations (ITNG)

作者： P. Songram V. Boonjing S. Intakosum Software Systems Engineering Laboratory Department of Mathematics and Computer Science King Mongkut''s Institute of Technology Ladkrabang Bangkok Thailand

We propose a new method, called closed multidimensional sequential pattern mining, for mining multidimensional sequential patterns. The new method is an integration of closed sequential pattern mining and closed itemset pattern mining. Based on this method, we show that (1) the number of complete closed multidimensional sequential patterns is not larger than the number of complete multidimensional sequential patterns (2) the set of complete closed multidimensional sequential patterns covers the complete resulting set of multidimensional sequential patterns. In addition, mining using closed itemset pattern mining on multidimensional information would mine only multidimensional information associated with mined closed sequential patterns, and mining using closed sequential pattern mining on sequences would mine only sequences associated with mined closed itemset patterns

关键词： Multidimensional systems Data mining Itemsets Databases software systems systems engineering and theory Laboratories mathematics computer science Printers

来源：评论

学校读者我要写书评

暂无评论

Combining Probabilistic Ranking and Latent Semantic Indexing for Feature Identification

Combining Probabilistic Ranking and Latent Semantic Indexing...

引用

IEEE Workshop on Program Comprehension

作者： D. Poshyvanyk A. Marcus V. Rajlich Y.-G. Gueheneuc G. Antoniol Department of Computer Science Wayne State University Detroit MI USA GEODES-Research Group on Open Distributed Systems Experimental Software Engineering University of Montreal Canada Department of Mathematics and Computer Science Babeş-Bolyai University Cluj-Napoca Romania Département de Génie Informatique École Polytechnique de Montréal Canada

The paper recasts the problem of feature location in source code as a decision-making problem in the presence of uncertainty. The main contribution consists in the combination of two existing techniques for feature location in source code. Both techniques provide a set of ranked facts from the software, as result to the feature identification problem. One of the techniques is based on a scenario based probabilistic ranking of events observed while executing a program under given scenarios. The other technique is defined as an information retrieval task, based on the latent semantic indexing of the source code. We show the viability and effectiveness of the combined technique with two case studies. A first case study is a replication of feature identification in Mozilla, which allows us to directly compare the results with previously published data. The other case study is a bug location problem in Mozilla. The results show that the combined technique improves feature identification significantly with respect to each technique used independently

关键词： Indexing computer science software engineering Information retrieval Information analysis Data mining Decision making Uncertainty software debugging software systems

来源：评论

学校读者我要写书评

暂无评论

Security analysis and improvement of hsu et al.'s threshold proxy signature scheme

引用

International Journal of Network Security 2006年第1期2卷 69-72页

作者： Guo, Lifeng Cheng, Xiangguo Liu, Yang Institute of Systems Science Academy of Mathematics and System Sciences Chinese Academy of Sciences Graduate School of Chinese Academy of Sciences Beijing 100080 China 21 Heng Mui Keng Terrace Singapore State Key Laboratory of Integrated Services Network Xidian University Xi'an 710071 China Software Institute School of Electronic Engineering and Computer Science Peking University 100871 China

In 1999, Sun et al. proposed a new (t, n) threshold proxy signature scheme based on Zhang's threshold proxy signature scheme. But in 2003 Hsu et al. pointed out that Sun's scheme suffered from a drawback and demonstrated an improvement to counter it. In this paper we point out that Hsu's scheme suffers from an insider attack against their scheme. That is, a malicious proxy signer can forge a valid threshold proxy signature on any message. To thwart this attack, some improvements are further proposed.

关键词： Authentication

来源：评论

学校读者我要写书评

暂无评论

Testing and Certification of Trustworthy systems introduction to Minitrack

Testing and Certification of Trustworthy Systems introductio...

引用

38th Annual Hawaii International Conference on System sciences, HICSS 2005

作者： Hevner, Alan R. Linger, Richard C. Walton, Gwendolyn H. Information Systems and Decision Sciences Dept. Univ. of South Florida Tampa FL 33620 United States CERT Research Center Software Engineering Institute Carnegie Mellon University Pittsburgh PA 15213 United States Dept. of Mathematics and Computer Science Florida Southern College Lakeland FL 33801 United States

来源：评论

学校读者我要写书评

暂无评论

Automated detection of performance regressions: the mono experience

Automated detection of performance regressions: the mono exp...

引用

International Symposium on Modeling, Analysis and Simulation of computer and Telecommunication systems (MASCOTS)

作者： T. Kalibera L. Bulej P. Tuma Distributed Systems Research Group Department of Software Engineering Faculty of Mathematics and Physics Charles University Prague Czech Republic Institute of Computer Science Academy of Sciences of Czech Republic Czech Republic

engineering a large software project involves tracking the impact of development and maintenance changes on the software performance. An approach for tracking the impact is regression benchmarking, which involves automated benchmarking and evaluation of performance at regular intervals. Regression benchmarking must tackle the nondeterminism inherent to contemporary computer systems and execution environments and the impact of the nondeterminism on the results. On the example of a fully automated regression benchmarking environment for the mono open-source project, we show how the problems associated with nondeterminism can be tackled using statistical methods.

关键词： MONOS devices Benchmark testing software performance software testing software quality Quality assurance Automatic testing Robustness Performance analysis software engineering

来源：评论

学校读者我要写书评

暂无评论

Testing and Certification of Trustworthy systems Introduction to Minitrack

Testing and Certification of Trustworthy Systems Introductio...

引用

Annual Hawaii International Conference on System sciences (HICSS)

作者： A.R. Hevner R.C. Linger G.H. Walton Information Systems & Decision Sciences Department University of South Florida Tampa FL USA Software Engineering Institute CERT Research Center Carnegie Mellon University Pittsburgh PA USA Department of Mathematics & Computer Science Florida Southern College Lakeland FL USA

来源：评论

学校读者我要写书评

暂无评论

Assertions in object oriented software maintenance: analysis and case study

Assertions in object oriented software maintenance: analysis...

引用

International Conference on software Maintenance (ICSM)

作者： M. Satpathy N.T. Siebel D. Rodriguez Applied Software Engineering Group Department of Computer Science University of Reading Reading UK COGNITIVE Systems Group Institute of Computer Science and Applied Mathematics Christian-Albrechts University Kiel Germany

Assertions had their origin in program verification. For the systems developed in industry, construction of assertions and their use in showing program correctness is a near-impossible task. However, they can be used to show that some key properties are satisfied during program execution. We first present a survey of the special roles that assertions can play in object oriented software construction. We then analyse such assertions by relating them to the case study of an automatic surveillance system. In particular, we address the following two issues: What types of assertions can be used most effectively in the context of object oriented software? How can you discover them and where should they be placed? During maintenance, both the design and the software are continuously changed. These changes can mean that the original assertions, if present, are no longer valid for the new software. Can we automatically derive assertions for the changed software?.

关键词： software maintenance computer aided software engineering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：