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

Eurocon

作者： M. Hurton Department of Computer Science Faculty of Electrical Engineering and Information Technology Slovak Technical University Bratislava Slovakia

ISBN: (纸本)0780364902

The article deals with the problem of agent identification and authentication in distributed systems. It claims that solutions known and employed today violate the principle of limited knowledge and limited control; and therefore impose undue limits to system evolution. To propose a solution, the article first examines the concept of object, agent, model and model space. These are later used to explore and justify the phenomena of agent identification and authentication.

关键词： Authentication Public key Internet Certification Public key cryptography computer science information technology Process design Web server

来源：评论

学校读者我要写书评

暂无评论

Computing executable slices for concurrent logic programs

Computing executable slices for concurrent logic programs

引用

Asia-Pacific Conference on Quality Software

作者： J. Zhao J. Cheng K. Ushijima Department of Computer Science and Engineering Fukuoka Institute of Technology Fukuoka Japan Department of Information and Computer Science Faculty of Engineering Saitama University Urawa Japan Institute of Systems & Information Technologies Fukuoka Japan

ISBN: (纸本)0769512879

program slicing has many applications in software engineering activities. However, until recently, no slicing algorithm has been presented that can compute executable slices for concurrent logic programs. We present a dependence-graph based approach to computing executable slices for concurrent logic programs. The dependence-based representation used in the paper is called the Argument Dependence Net which can be used to explicitly represent various types of program dependences in a concurrent logic program. Based on the ADN, we can compute static executable slices for concurrent logic programs at argument level.

关键词： Concurrent computing Logic programming Software engineering computer science information technology Application software Performance evaluation Debugging Software testing Software measurement

来源：评论

学校读者我要写书评

暂无评论

Development of a prototype based on TINA accounting management architecture

Development of a prototype based on TINA accounting manageme...

引用

IFIP/IEEE International Symposium on Integrated Network Management

作者： A. Sekkaki L.M.C. Alvarez W.T. Watanabe C.B. Westphall Depardtment of Mathematics Computer Science Faculty of Science Ain Chock Hassan II University Morocco Network and Management Laboratory Post Graduate program in Computer Science Federal University of Santa Catarina Florianopolis Santa Catarina Brazil

ISBN: (纸本)0780367197

Concepts and principles of TINA (Telecommunications information Networking Architecture) are introduced with the objective of correcting problems of centralized service control and service data model existent in INs (intelligent networks). Now, it is becoming clear that future sophisticated services breaking away from the simple telephony call model, e.g., multimedia, multi-party conferencing, etc., will need to be rapidly and efficiently introduced, deployed, operated and managed. In this context, TINA developed a comprehensive architecture for multi-service networks that will support multimedia services. On the other hand, the provisioning of all the service management functionality for TINA services (i.e. FCAPS) is still an open research question. In this paper, we discuss accounting features and requirements, security of accounting management, and issues for their integration in a TINA-based service environment. A prototype has been implemented to validate the concepts and results are also presented.

关键词： Prototypes Pricing

来源：评论

学校读者我要写书评

暂无评论

A program dependence model for concurrent logic programs and its applications

A program dependence model for concurrent logic programs and...

引用

International Conference on Software Maintenance (ICSM)

作者： Jianjun Zhao Jingde Cheng K. Ushijima Department of Computer Science and Engineering Fukuoka Institute of Technology Fukuoka Japan Department of Information and Computer Sciences Faculty of Engineering Saitama University Urawa Japan Fukuoka Japan

The authors propose a program dependence model for concurrent logic programs. They present three types of primary program dependences named the sharing dependence, communication dependence, and unification dependence between arguments in a concurrent logic program. We formally define these primary program dependences based on mode information. We further present a dependence-based representation named the argument dependence net (ADN), which explicitly represents all primary program dependences between arguments in a concurrent logic program. We also discuss some applications of the ADN for developing software engineering tools of concurrent logic programs. Finally, we briefly introduce a program analysis system called CLPKIDS for concurrent logic programs, which is a prototype implementation of the techniques introduced.

关键词： Logic

来源：评论

学校读者我要写书评

暂无评论

A mobile agent framework for follow-me applications in ubiquitous computing environment

A mobile agent framework for follow-me applications in ubiqu...

引用

International Conference on Distributed Computing Systems Workshop

作者： K. Takashio G. Soeda H. Tokuda Department of Computer Science Chofu Tokyo Japan Department of Computer Science The University of Electro-Communications Chofu-shi Tokyo Japan Graduate School of Electro-Communications The University of Electro-Communications Faculty of Environmental Information Keio University Fujisawa-shi Kanagawa Japan

ISBN: (纸本)0769510809

The paper presents a new mobile agent framework, f-Desktop, which is designed for describing follow-me applications in a ubiquitous computing environment. It provides the migration mechanisms for agent software which are secure against illegal call-up transaction requests from computers which masquerade as the owner of the agent software. Moreover, a follow-me application built with the f-Desktop framework possesses a high adaptability to computing environment and a high connection continuity against changes of location. In the f-Deskrop framework, a user can define his desktop computing environment, desktop or desktop environment in short, as a set of follow-me applications. Then, the user can take the desktop computing environment along to other computers.

关键词： Mobile agents Ubiquitous computing Application software Pervasive computing computer displays Resumes computer networks Costs computer science Software architecture

来源：评论

学校读者我要写书评

暂无评论

A TV program generation system using digest video scenes and a scripting markup language

A TV program generation system using digest video scenes and...

引用

Annual Hawaii International Conference on System sciences (HICSS)

作者： Y. Shirota T. Hashimoto A. Nadamoto T. Hattori A. Iizawa K. Tanaka K. Sumiya Software Research Center Imaging System Business Group Ricoh Company Limited Japan Division of Information and Media Science Graduate School of Science and Technology Kobe University Japan Department of Computer and Systems Engineering Graduate School of Science and Technology Kobe University Japan Division of Urban Information Systems Research Center for Urban Safety and Security Kobe University Japan

ISBN: (纸本)0769509819

This paper describes a TV program generation system using digest video scenes that are retrieved from video streams with the program indexes. The key features of the system are: (1) TV programs can be dynamically generated from digest video scenes selected by user preference. (2) Directions can be added using a happiness or sadness level based on the user preferences. (3) Personalized TV programs for an individual viewer can be made. The procedures taken by the system are as follows: (1) Conjunctive expressions between scenes are automatically generated; (2) Emotional expressions are automatically generated by user preference; (3) TV program metaphors are defined; (4) Direction templates corresponding to the metaphors are defined; (5) These expressions and definitions are coded using a markup language, and (6) Contents such as virtual characters and movies are synchronized. The resultant program can be shown on a TV set.

关键词： Layout Markup languages TV broadcasting Satellite broadcasting information retrieval Broadcast technology Digital TV Companies Streaming media Character generation

来源：评论

学校读者我要写书评

暂无评论

Design and experimental evaluation of a self-tuning controller supplementing a robust PID controller

引用

JSME International Journal, Series C: Mechanical Systems, Machine Elements and Manufacturing 2001年第1期44卷 53-60页

作者： Namba, Ryosuke Yamamoto, Toru Kaneda, Masahiro Department of Mechanical Engineering Graduate School of Engineering Hiroshima University 1-4-1 Kagamiyama Hiroshima 739-8527 Japan Department of Technology and Information Education Faculty of Education Hiroshima University 1-1-1 Kagamiyama Hiroshima 739-8524 Japan Department of Communication Engineering Faculty of Computer Science and Systems Engineering Okayama Prefectural University 111 Kuboki Soja Okayama 719-1197 Japan

PID controllers have been widely used in many chemical processes. Because they have only three control parameters and their physical meanings can be easily grasped. However, it is difficult to tune those parameters practically, since the process dynamics often change due to operating conditions or various disturbances. For this problem, a design method of robust PID controllers has been already proposed by the authors in order to guarantee the stability of the control system. However, as that control method is conservative, the desirable setpoint response can not be always obtained. In this paper, a design scheme of a self-tuning pre-filter is proposed to supplement the robust PID controller based on the two-degree-of-freedom control scheme. According to the proposed scheme, the transient property for the setpoint response can be improved keeping the robust stability. Finally, the proposed scheme is experimentally evaluated on an air pressure control system.

关键词： Mechanics

来源：评论

学校读者我要写书评

暂无评论

Extraction of male and female facial features using neural networks

引用

Systems and computers in Japan 2000年第3期31卷 68-76页

作者： Kanno, Tsuneo Nagahashi, Hiroshi Agui, Takeshi Department of Information and Computer Science Polytechnic University Sagamihara 229-1196 Japan Department of Information Processing Interdisciplinary Graduate School of Science and Engineering Tokyo Institute of Technology Yokohama 227-8503 Japan Faculty of Engineering TOIN University of Yokohama Yokohama 225-5802 Japan

Features of male/female facial images are examined by analyzing the distribution of connection weights of the hidden-layer unit and the input-layer unit of a neural network that responds to their distinction. Twenty-five gray-level (black-and-white) facial images were used for each of the male and female samples. Several different numbers of mosaic blocks were used for the whole face region and each facial component region. The training parameters of the neural network and the minimum number of hidden layers that can discriminate male/female were obtained by a genetic algorithm. The neural network consisting of these parameters has a stable convergence in any region so that this can discriminate male/female with 100% accuracy. In the feature extraction experiments, hidden layers were obtained, which significantly respond to male/female facial regions. The facial features of male/female can be extracted by analyzing the connection weights between the hidden-layer unit and the input-layer unit. The facial features extracted by using the proposed method were similar to those obtained by other psychological experiments and facial measurements.

关键词： Feature extraction

来源：评论

学校读者我要写书评

暂无评论

A hybrid algorithm for compiling equality constraints and its implementation

A hybrid algorithm for compiling equality constraints and it...

引用

WOID'99, Workshop on Optimization and Implementation of Declarative programs (in Connetion with ICLP'99, International Conference on Logic)

作者： Zhou, Neng-Fa Kaneko, Sosuke Department of Computer and Information Science Brooklyn College City University of New York New York NY 11210-2889 United States Graduate School of Computer Science and Systems Engineering Kyushu Institute of Technology 680-4 Kawazu Iizuka Fukuoka 820-8502 Japan

In this paper, we extend the language we proposed in [11] to make it possible to program are-consistency algorithms. We also propose a hybrid algorithm that integrates the interval-consistency (IC) and arc-consistency (AC) algorithms. For a constraint, the algorithm checks IC when it is non-binary and checks AC when the constraint turns into binary. The algorithm is well-balanced. Its reduction cost is close to the IC checking algorithm, while its reduction power is close to the AC checking algorithm for most problems. The experimental results show that the hybrid algorithm may be a little slower than the IC checking algorithm for programs that do not require strong reduction power, but may be an order of magnitude faster than IC for other programs. © 2000 Published by Elsevier science B.V.

关键词： program compilers

来源：评论

学校读者我要写书评

暂无评论

Test Generation and Design-for-Testability Based on Acyclic Structure with Hold Registers

引用

湖南大学学报（自然科学版） 2000年第S2期27卷 1-10页

作者： Tomoo Inoue Debesh Kumar Das Chiiho Sano Takahiro Mihara Hideo Fujiwara Faculty of Information Sciences Hiroshima City University Hiroshima 731-3194 Japan Computer Science and Engineering Department Jadavpur niversity Calcutta-700 032 India Graduate School of Information Science Nara Institute of Science and Technology Nara 630-0101 Japan Mitsubishi Electronic Control Software Corporation Kobe 652-0871Japan 不详

We present a method of test generation for acyclic sequential circuits with hold registers. A complete (100% fault efficiency) test sequence for an acyclic sequential circuit can be obtained by applying a combinational test generator to all the maximal time-expansion models (TEMs) of the circuit. We propose a class of acyclic sequential circuits for which the number of maximal TEMs is one, i.e, the maximum TEM exists. For a circuit in the class, test generation can be performed by using only the maximum TEM. The proposed class of sequential circuits with the maximum TEM properly includes several known classes of acyclic sequential circuits such as balanced structures and acyclic sequential circuits without hold registers for which test generation can be also performed by using a combinational test generator. Therefore, in general, the hardware overhead for partial scan based on the proposed structure is smaller than that based on balanced or acyclic sequential structure without hold registers.

关键词： acyclic sequential circuits combinational test generation hold registers maximum time-expansion model partial scan

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：