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

Third Asian Simulation Conference, Asiasim 2004

作者： Cho, Eun-Ae Kim, Young-Gab Moon, Chang-Joo Baik, Doo-Kwon Software System Lab. Dept. of Computer Science and Engineering Korea University 1 5-ga Anam-dong Seongbuk-gu Seoul 136-701 Korea Republic of Korea University 1 5-ga Anam-dong Seongbuk-gu Seoul 136-701 Korea Republic of

SSL is one of the most popular protocols used on the Internet for secure communications. However SSL protocol has several problems. First, SSL protocol brings considerable burden to the CPU utilization so that performance and speed of the security service is lowered during encryption transaction. Second, SSL protocol can be vulnerable for cryptanalysis due to the fixed algorithm being used. Third, it causes a problem of mutual interaction with other protocols because of the encryption export restriction policy of the U.S. Fourth, it is difficult for developers to learn and use cryptography API for SSL. To solve these problems, in this paper, we propose an SSL component based on CBD. The execution of the SSL component is supported by Confidentiality and Integrity component. It can encrypt data selectively and use various mechanisms such as SEED and HAS-160. Also, it can complement the SSL protocol's problems and, at the same time, take advantage of component. Finally, in the performance analysis, we present a better result than the SSL protocol as the data size is increased. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Network protocols

来源：评论

学校读者我要写书评

暂无评论

SAFETY ISSUES IN AVIONICS AND AUTOMOTIVE DATABUSES

引用

IFAC Proceedings Volumes 2005年第1期38卷 26-31页

作者： Janusz Zalewski Dawid Trawczyński Janusz Sosnowski Andrew Kornecki Marek Śnieżek Computer Science Department Florida Gulf Coast University Fort Myers FL 33928 USA Institute of Computer Science Warsaw University of Technology Nowowiejska 15/19 00-665 Warsaw Poland Dept. of Computer & Software Engineering Embry-Riddle Aeronautical University Daytona Beach FL 32114 USA Dept. of Control & Computer Engineering Rzeszów University of Technology 35–959 Rzeszów Poland

In avionics and automotive applications of computing, special care must be taken of issues related to safety. Assurance must be provided that computer hardware or software does not contribute to situations, which may cause loss of life or significant property damage. One aspect of this concern is the design of databuses, which provide a medium to exchange information among various electronics devices in a vehicle. Unfortunately, only a few aspects of bus design have been sufficiently covered in the research studying system safety. This paper reviews and compares available information on bus specifications. Databuses are discussed regarding their properties, such as signal characteristics and bus protocols, with respect to safety.

关键词： Safety-Critical Systems Databus Avionics CAN TTP FlexRay IEEE-1394

来源：评论

学校读者我要写书评

暂无评论

Dynamic signal strength estimates for indoor wireless communications

Dynamic signal strength estimates for indoor wireless commun...

引用

International Conference on Wireless Communications, Networking and Mobile Computing (WiCom)

作者： S. Biaz Ji. Yiming Bing Qi Shaoen Wu Computer Science and Software Engineering Department Auburn University AL USA Auburn University Auburn AL US Dept. of Comput. Sci. & Software Eng. Auburn Univ. AL USA

Signal strength estimation for indoor wireless communications has attracted much attention lately due to its many applications in mobile networking including coverage analysis, localization, fast hand-off, and security audits. However, it is challenging due to the complexities of the indoor radio propagation characteristics exacerbated by users' mobility. Therefore, a common practice of the indoor wireless research is to manually construct a radio signal strength table mapping signal strength with known locations inside a building. Obviously, this is a tedious and time consuming task; also, the resulting signal strength table does not describe the dynamic property of the indoor radio propagation. The table is static. Thus the credibility of any further application is heavily affected. This paper proposes a novel and automated signal strength estimation method for the indoor wireless research. The method requires only a single signal strength measurement as reference, and the estimated signal strength table is comparable to the actual measurements in real time. With 6 days of continuous measurements and simulations, the results show that the proposed method dynamically estimates the signal strength for the deployed building, and the results achieve average estimation accuracy to within 3% of maximum signal strength. With the dynamic method, the paper shows how the signal strength could be gracefully applied to special tasks such as coverage analysis, and localization.

关键词： Wireless communication Mobile computing Indoor radio communication Radio propagation Wireless LAN Information management Force measurement Costs computer science software engineering

来源：评论

学校读者我要写书评

暂无评论

Improving goal and role oriented analysis for agent based systems

Improving goal and role oriented analysis for agent based sy...

引用

Australian Conference on software engineering

作者： P.P. Kuan S. Karunasekera L. Sterling Department of Computer Science and Software Engineering University of Melbourne Parkville Australia The University of Melbourne Melbourne VIC AU Dept. of Comput. Sci. & Software Eng. Melbourne Univ. Parkville Vic. Australia

The separation between analysis and design phases has long been advocated in software engineering literature. There has been active interest in the area of agent oriented software engineering but the methodologies developed do not focus on a clear separation between the two phases. Furthermore, existing agent oriented methodologies tend to be tied to a particular design architecture and applicable only for small systems. In this paper, we describe a goal and role based analysis methodology that is both unbiased towards any design architecture and is scalable. The model is derived from improvements to the ROADMAP methodology for agent oriented systems developed at the University of Melbourne. We also present REBEL - CASE tool developed to support the methodology. Furthermore, several examples and experiences with the method are discussed. We conclude by comparing analysis models of other agent oriented methodologies to ours.

关键词： software engineering computer architecture Multiagent systems computer aided software engineering Design methodology Scalability computer science Design engineering Programming Communication system software

来源：评论

学校读者我要写书评

暂无评论

A novel evolutionary algorithm based on an orthogonal design for dynamic optimization problems (ODEA)

A novel evolutionary algorithm based on an orthogonal design...

引用

Congress on Evolutionary Computation

作者： San You Zeng H. de Garis Jun He LiShan Kang Research Center for Space Science & Technology China University of Geosciences Wuhan China Dept. of Computer Science Zhuzhou Institute of Technology Zhuzhou China School of Computer Science University of Birmingham Birmingham U. K State Key Laboratory of Software Engineering Wuhan University Wuhan China Dept. of Computer Science Utah State University Logan Utah USA Research Center for Space Science & Technology China University of Geoscience Wuhan China

This paper introduces an orthogonal evolutionary algorithm for dynamic optimization problems with continuous variables (called ODEA). Its population does not consist of individuals, but rather of "niches". Each niche selects the best solution found so far as its representative. An orthogonal design method is employed to find a potentially good solution that may become the representative of the niche in the mutation operator. We employ a complex benchmark to test the new approach. Numerical experiments show that the ODEA algorithm performs a lot better than the SOS (self organizing scouts) algorithm in Branke, Kaufler, Schmidt and Schmeck, (2000).

关键词： Evolutionary computation Algorithm design and analysis Design optimization Space technology Design methodology computer science Geology Genetic mutations Optimization methods Benchmark testing

来源：评论

学校读者我要写书评

暂无评论

Rotation-invariant texture classification using steerable Gabor filter bank

引用

2nd International Conference on Image Analysis and Recognition, ICIAR 2005

作者： Pan, Wumo Bui, T.D. Suen, C.Y. Dept. Computer Science and Software Engineering Concordia University 1455 De Maisonneuve Blvd. West Montreal Que. H3G 1MS Canada Centre for Pattern Recognition and Machine Intelligence Concordia University 1455 de Maisonneuve Blvd. West Montréal Qué. H3G 1M8 Canada

ISBN: (纸本)3540290699

An efficient rotation invariant feature extraction technique for texture classification based on Gabor multi-channel filtering is proposed. In this technique, Gabor function is approximated by a set of steerable basis functions, which results in a significant saving in the computation cost. The classification of 15 classes of Brodatz textures are considered in our experiments. Results show that up to 40% of computation can be saved compared with traditional Gabor multi-channel filtering method. In the mean time, almost the same high texture classification correct rate can be achieved. © Springer-Verlag Berlin Heidelberg 2005.

关键词： Optical filters

来源：评论

学校读者我要写书评

暂无评论

Service-oriented software reengineering: Bertie3 as Web Services

Service-oriented software reengineering: Bertie3 as Web Serv...

引用

2005 IEEE International Conference on Web Services, ICWS 2005

作者： Chung, Sam Young, Peter S. Nelson, Jack Computing and Software Systems Institute of Technology Univ. of WA Tacoma 1900 Commerce St. Tacoma WA 98402 Dept. of Computer Science College of Engineering Univ. of IL at Urbana-Champaign 20403 68th Ave S. Urbana IL 61801 Interdisciplinary Arts and Sciences Univ. of WA Tacoma 1900 Commerce St. Tacoma WA 98402

ISBN: (纸本)0769524095

This research proposes to modernize a legacy software system by using web services as the main building blocks of the software reengineering. For this purpose, a legacy theorem proof checking and derivation tool called Bertie3 is reengineered in terms of service-oriented architecture, service-oriented componentization, and external data representation and serialization. With the web services of derivation checking engines and first-order markup languages, a minimal amount of development time can be spent working on well-known and well-developed components. More time can be spent updating the features that make the tool unique. This case study shows that modernizing a software system with web services will allow the business components of the system to be easily expanded and integrated with other application components for future demands.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

Partially lexicalized parsing model utilizing rich features 8

Partially lexicalized parsing model utilizing rich features

引用

8th International Conference on Spoken Language Processing, ICSLP 2004

作者： Park, So-Young Kwak, Yong-Jae Lim, Joon-Ho Rim, Hae-Chang Kim, Soo-Hong Dept. of Computer Science Engineering Korea University Korea Republic of Dept. of Computer Software Engineering Sangmyung University Korea Republic of

In this paper, we propose a partially lexicalized parsing model utilizing rich features to improve the parsing ability and reduce the parsing cost. In order to disambiguate parse trees effectively, it employs several useful features such as a syntactic label feature, a content feature, a functional feature, and a size feature. Besides, it is partially lexicalized so as to reduce the parsing cost closely connected with lexical information. Moreover, it is designed to be suitable for representing word order variation and constituent ellipsis in Korean sentences. Experimental results show that the proposed parsing model using more features performs better although it less depends on lexical information.

关键词： Syntactics

来源：评论

学校读者我要写书评

暂无评论

An on-line purchasing and decision support system for distributed retail chain stores 04

An on-line purchasing and decision support system for distri...

引用

6th International Conference on Electronic Commerce, ICEC04

作者： Yusof, Azwina M. Dept. of Software Engineering Faculty of Computer Science and Information Technology University of Malaya 50603 Kuala Lumpur Malaysia

ISBN: (纸本)1581139306

This paper looks into how integrating on-line purchasing with inventory management system for distributed retail chain stores can automate and aid the process of decision-making in relation to on-line product sales and distribution. It extends the work done in [1], to include not only on-demand and automatic communication between the retail chain store's head office and point-of-sale (POS) outlets, but also to include on-line purchasing capabilities for home users. The application uses distributed databases to store information relevant to customers, products and product transactions at different geographical locations. The system is designed to facilitate the management process between the head office and the POS outlets: it aids top-level management to make the right business decisions in terms of the right products being distributed at the right location and at the right time, and also products ordered by home users to be sent by the right POS outlet, and it aids low-level employees to manage the daily business transactions of each POS outlet efficiently. Copyright 2004 ACM.

关键词： Decision support systems

来源：评论

学校读者我要写书评

暂无评论

Market-driven approach based on Markov decision theory for optimal use of resources in software development

引用

IEE Proceedings: software 2004年第2期151卷 85-94页

作者： Noppen, J. Aksit, M. Nicola, V. Tekinerdogan, B. TRESE Software Engineering Group Dept. of Computer Science University of Twente PO Box 217 7500 AE Enschede Netherlands Bilkent University Ankara Turkey Telematics Systems and Services Dept. of Electrical Engineering University of Twente P.O. Box 217 7500 AE Enschede Netherlands

Changes in requirements may have a severe impact on development processes. For example, if requirements change during the course of a software development activity, it may be necessary to reschedule development activities so that the new requirements can be addressed in a timely manner. Unfortunately, current software development methods do not provide explicit means to adapt development processes with respect to changes in requirements. The paper proposes a method based on Markov decision theory, which determines the estimated optimal development schedule with respect to probabilistic product demands and resource constraints. This method is supported by a tool and applied to an industrial case.

关键词： software engineering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：