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

Australian Conference on software engineering

作者： F.D. Salim R. Price S. Krishnaswamy M. Indrawan School of Computer Science and Software Engineering Monash University VIC Australia School of Business Systems Monash University VIC Australia

With the proliferation of XML as the lingua franca of Internet information exchange, engineering XML documents and maintaining their databases becomes a major challenge. In this context, the use of XML schema to constrain and validate XML document content is becoming a standard part of web information production. However, adoption of XML Schema poses new problems; specifically, the difficulty in understanding even a relatively small schema due to its textual nature and XML syntax. This problem can be addressed by use of a graphical modelling language such as UML to document XML schema and conforming XML document structure. We discuss the issues involved in representing XML Schema using UML and present a transformation approach which is both comprehensive and thorough.

关键词： Unified modeling language Documentation XML Reverse engineering Object oriented modeling software engineering Maintenance engineering Design methodology Sun computer science

来源：评论

学校读者我要写书评

暂无评论

Bi-criteria model for locating a semi-desirable facility on a plane using particle swarm optimization

Bi-criteria model for locating a semi-desirable facility on ...

引用

Congress on Evolutionary Computation

作者： H. Yapicioglu G. Dozier A.E. Smith Department of Industrial and Systems Engineering Aubum University Auburn AL USA Department of Computer Science and Software Engineering Aubum University Auburn AL USA

The problem of locating a semi-desirable facility on a plane is considered. A bi-criteria model is used. One of the criteria is well known minimum criterion. The second criterion is a weighted sum of Euclidean distances raised to the power of negative one. This function represents the aggregate undesirable effects of the facility and it is also a minimization problem. The bi-criteria model consists of a linear combination of these two criteria. The proposed model solved by particle swarm optimization provides better results than a previously proposed heuristic.

关键词： Particle swarm optimization Airports computer industry systems engineering and theory Power generation Costs computer science software engineering Power system modeling Aggregates

来源：评论

学校读者我要写书评

暂无评论

Planar orthogonal drawing of complete binary trees inside rectilinear polygons

Planar orthogonal drawing of complete binary trees inside re...

引用

IEEE International Conference on Multi Topic

作者： A. Bagheri M. Razzazi Software Systems Research & Development Lab Department of Computer Engineering & IT Amirkabir University of Technology슠 Tehran Iran Software Systems Research & Development Lab Department of Computer Engineering & IT Institute for Studies in Theoretical Physics and Mathematics (I.P.M) Amirkabir University of Technology슠 Tehran Iran

In this paper we introduce a new algorithm for planar orthogonal drawing of complete binary trees on the surface of a given simple rectilinear polygon. Our algorithm aims to uniformly distribute the vertices of the given tree on the given surface and to reduce the total number of edge bends as much as possible. We also introduce a new linear time algorithm for bisecting simple (rectilinear) polygons, assuming the straight skeletons of the polygons are given. To our knowledge, this paper and the previous works of the authors are the first attempts for developing algorithms that draw trees on 2D surfaces which are bounded by simple (rectilinear) polygons.

关键词： Binary trees Tree graphs Skeleton engineering drawings Application software Very large scale integration Graphical user interfaces Research and development Optical computing Physics computing

来源：评论

学校读者我要写书评

暂无评论

A replicated experiment of usage-based and checklist-based reading

A replicated experiment of usage-based and checklist-based r...

引用

International Symposium on software Metrics

作者： T. Thelin C. Andersson P. Runeson N. Dzamashvili-Fogelstrom Department of Communication Systems Lund University Lund Sweden Department of Software Engineering and Computer Science Blekinge Institute of Technology Ronneby Sweden

software inspection is an effective method to detect faults in software artefacts. Several empirical studies have been performed on reading techniques, which are used in the individual preparation phase of software inspections. Besides new experiments, replications are needed to increase the body of knowledge in software inspections. We present a replication of an experiment, which compares usage-based and checklist-based reading. The results of the original experiment show that reviewers applying usage-based reading are more efficient and effective in detecting the most critical faults from a user's point of view than reviewers using checklist-based reading. We present the data of the replication together with the original experiment and compares the experiments. The main result of the replication is that it confirms the result of the original experiment. This replication strengthens the evidence that usage-based reading is an efficient reading technique.

关键词： Inspection Fault detection Testing Communication system software computer science software metrics Bioreactors Springs software engineering

来源：评论

学校读者我要写书评

暂无评论

An authorization model for multimedia digital libraries

引用

International Journal on Digital Libraries 2004年第3期4卷 139-155页

作者： Kodali, Naren Farkas, Csilla Wijesekera, Duminda Department of Information and Software Engineering George Mason University Fairfax VA 22030-4444 United States Center for Secure Information Systems George Mason University Fairfax VA 22030-4444 United States Information Security Laboratory University of South Carolina Columbia SC 29208 United States Department of Computer Science and Engineering University of South Carolina Columbia SC 29208 United States

In this paper we present a generalized authorization model for multimedia digital libraries. Our aim is to support the enforcement of access control requirements of the original data sources without the need to create a new, unified model for the digital library. We integrate the three most widely used access control models (i.e., mandatory, discretionary, and role-based) within a single framework, allowing seamless accesses to data protected by these security models. In particular, we address the access control needs of continuous media data while supporting quality of service (QoS) requirements and preserving operational semantics. The technical core of the paper focuses on the development of metadata and the corresponding metastructure to represent authorization policies and QoS requirements and shows their applicabilty to continuous media. We define our security objects based on the Synchronized Multimedia Integration Language (SMIL), which controls multimedia presentations. Following the synchronization constructs 〈par〉 and 〈seq〉 of SMIL, we define a normal form for multimedia streams, called SMIL normal form. SMIL normal form provides a syntax-independent representation of semantically equivalent multimedia data. SMIL normal form compositions are extended (decorated) with RDF statements, representing security and QoS metadata. Interpretation of these statements and, therefore, the authorization and QoS requirements of the decorated multimedia object are defined by the metastructure, represented as a DAML+OIL ontology. We propose the concept of generalized subject that encompasses all access permissions of a given user regardless of the multiple permissions in different access control models. Finally, we develop methods to generate secure views for each generalized subject and retrieve them using a secure multimedia server. © Springer-Verlag 2004.

关键词： Access control Continuous media Digital library Metadata Semantics

来源：评论

学校读者我要写书评

暂无评论

Approximate caches for packet classification

Approximate caches for packet classification

引用

IEEE Annual Joint Conference: INFOCOM, IEEE computer and Communications Societies

作者： F. Chang Wu-chang Feng Kang Li Systems Software Laboratory OGI School of Science and Engineering at OHSU Beaverton OR USA Department of Computer Science University of Georgia Athens GA USA

Many network devices such as routers and firewalls employ caches to take advantage of temporal locality of packet headers in order to speed up packet processing decisions. Traditionally, cache designs trade off time and space with the goal of balancing the overall cost and performance of the device. We examine another axis of the design space that has not been previously considered: accuracy. In particular, we quantify the benefits of relaxing the accuracy of the cache on the cost and performance of packet classification caches. Our cache design is based on the popular Bloom filter data structure. This paper provides a model for optimizing Bloom filters for this purpose, as well as extensions to the data structure to support graceful aging, bounded misclassification rates, and multiple binary predicates. Given this, we show that such caches can provide nearly an order of magnitude cost savings at the expense of misclassifying one billionth of packets for IPv6-based caches.

关键词： Filters Costs Aging Data structures Cache storage System software Laboratories Modems Protocols Classification algorithms

来源：评论

学校读者我要写书评

暂无评论

Performance evaluation of a perceptually lossless medical image coder

Performance evaluation of a perceptually lossless medical im...

引用

International Symposium on Intelligent Multimedia, Video and Speech Processing

作者： D. Wu D.M. Tan C. White J. DeCampo M. Baird Hong Ren Wu School of Computer Science & Software Engineering Monash University VIC Australia School of Business Systems Monash University VIC Australia School of Computer Systems Monash University VIC Australia School of Computer Science & Radiation Sciences Monash University VIC Australia

How to deliver clinically critical information in a 'smaller package'? This paper evaluates a recently proposed perceptually lossless medical image coder (PLMIC) based on the JPEG2000 coding framework. A performance comparison is made between the PLMIC and two benchmark coders, LOCO-I and near lossless LOCO-I, at two levels in terms of compression ratio and picture fidelity. Subjective assessment in this instance has been carried out with 31 medical experts. The results have shown that the PLMIC delivers significantly higher compression ratio performance than that of the state-of-the-art JPEG-LS LOCO-I lossless algorithm without any visible degradation in image quality or clinical information.

关键词： Performance loss Biomedical imaging Image coding Medical diagnostic imaging Computed tomography Clinical diagnosis Magnetic resonance imaging Radiography Digital images Image storage

来源：评论

学校读者我要写书评

暂无评论

Generic Environment for Full Automation of Benchmarking 1

Generic Environment for Full Automation of Benchmarking

引用

Testing of Component-Based systems and software Quality, 1st International Workshop on software Quality, SOQUA 2004 and Workshop Testing Component-Based systems, TECOS 2004

作者： Kalibera, Tomáš Bulej, Lubomír Tůma, Petr Distributed Systems Research Group Department of Software Engineering Faculty of Mathematics and Physics Charles University Malostranské nám. 25 Prague118 00 Czech Republic Institute of Computer Science Czech Academy of Sciences Pod Vodárenskou věží 2 Prague182 07 Czech Republic

ISBN: (纸本)3885793873

Regression testing is an important part of software quality assurance. We work to extend regression testing to include regression benchmarking, which applies benchmarking to detect regressions in performance. Given the specific requirements of regression benchmarking, many contemporary benchmarks are not directly usable in regression benchmarking. To overcome this, we present a case for designing a generic benchmarking environment that will facilitate the use of contemporary benchmarks in regression benchmarking, analyze the requirements and propose architecture of such an environment. © 2004 Gesellschaft fur Informatik (GI). All rights reserved.

关键词： Benchmarking

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Web-based platform for multimedia programming

Web-based platform for multimedia programming

引用

IEEE International Conference on Multimedia and Expo (ICME)

作者： A.P. Vazhenin Ying-Hong Wang D.A. Vazhenin Department of Computer Software University of Aizu Fukushima Japan Department of Computer Science and Information Engineering Tamkang University Tamsui Taiwan Graduate School Department of Information Systems University of Aizu Fukushima Japan

This paper describes basic elements of the Web-based platform for multimedia programming which is designed in the framework of the WWW-oriented workplace of applied programmer (W4AP). The proposed platform hides the insignificant features of software and hardware from the applied programmers and provides a unified style for different programming development tools; a comfortable environment combining visual and multimedia programming technologies. The architecture of the W4AP server is shown supporting a programming process and manipulations with multimedia data. Examples are demonstrated of the practical use of the proposed platform as well as user interface features

关键词： Programming profession Electronic mail computer architecture Application software computer interfaces Resource management Large-scale systems Web and internet services Information systems systems engineering and theory

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：