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

International Symposium on Information Processing in Sensor Networks (IPSN)

作者： S. Kogekar S. Neema B. Eames X. Koutsoukos A. Ledeczi M. Maroti Institute for Software integrated Systems Department of Electrical Engineering and Computer Science Vanderbilt University Nashville TN USA

This work presents an approach for dynamic software reconfiguration in sensor networks. Our approach utilizes explicit models of the design space of the embedded application. The design space is captured by formally modeling all the software components, their interfaces, and their composition. System requirements are expressed as formal constraints on QoS parameters that are measured at runtime. Reconfiguration is performed by transitioning from one point of the operation space to another based on the constraints. We demonstrate our approach using simulation results for a simple sensor network that performs one-dimensional tracking.

关键词： Intelligent networks Runtime Power system modeling software design Algorithm design and analysis Permission Embedded software software systems Sensor systems Application software

来源：评论

学校读者我要写书评

暂无评论

A component-based programming model for autonomic applications

A component-based programming model for autonomic applicatio...

引用

International Conference on Autonomic Computing (ICAC)

作者： Hua Liu M. Parashar S. Hariri The Applied Software Systems Laboratory Department of Electrical and Computer Engineering Rutgers University Piscataway NJ USA Department of Electrical and Computer Engineering University of Arizona Tucson AZ USA

The emergence of pervasive wide-area distributed computing environments, such as pervasive information systems and computational grids, has enabled new generations of applications that are based on seamless access, aggregation and interaction. However, the inherent complexity, heterogeneity and dynamism of these systems require a change in how the applications are developed and managed. In this paper we present a component-based programming framework to support the development of autonomic self-managed applications. The framework enables the development of autonomic components and the formulation of autonomic applications as the dynamic composition and management of autonomic components. The operation of the proposed framework is illustrated using a forest fire application.

关键词： Grid computing Distributed computing Pervasive computing Crisis management Application software Management information systems Mesh generation Disaster management Programming profession Fires

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Utilising push and pull mechanism in wireless e-health environment

Utilising push and pull mechanism in wireless e-health envir...

引用

IEEE International Conference on e-Technology, e-Commerce and e-Service

作者： A.B. Waluyo R. Hsieh D. Taniar W. Rahayu Bala Srinivasan School of Computer Science and Software Engineering Monash University Australia Department of Computer Science and Computer Engineering La Trobe University Australia School of Business Systems Monash University Australia

The emerging of wireless computing motivates radical changes of how information is derived. Our paper concerns with developing push and pull based application in wireless environment. We use a simplified e-health (hospital) context to demonstrate some effective uses of pull-based and push-based mechanisms. The pull mechanism involves information retrieval from a database, and update information in the database. The push mechanism is classified into three scenarios, (i) aperiodic push, (ii) periodic push - global recipients and (iii) periodic push - selective recipients.

关键词： Hospitals Databases Network servers Context computer science Information retrieval Unicast Broadcasting Communication system control software engineering

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：