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

Solving factored MDPs with large action space using algebraic decision diagrams 7th

7th Pacific Rim International Conference on Artificial Intelligence, PRICAI 2002

作者： Kim, Kee-Eung Dean, Thomas Center for Advanced Software Engineering Samsung SDS 159-9 Gumi-Dong Bundang-Gu Seongnam-SiGyeonggi-Do463-810 Korea Republic of Department of Computer Science Brown University ProvidenceRI02912-1910 United States

ISBN: (纸本)3540440380

We describe an algorithm for solving MDPs with large state and action spaces, represented as factored MDPs with factored action spaces. Classical algorithms for solving MDPs are not effective since they require enumerating all the states and actions. As such, model minimization techniques have been proposed, and specifically, we extend the previous work on model minimization algorithm for MDPs with factored state and action spaces. Using algebraic decision diagrams, we compactly represent blocks of states and actions that can be regarded equivalent. We describe the model minimization algorithm that uses algebraic decision diagrams, and show that this new algorithm can handle MDPs with millions of states and actions. © Springer-Verlag Berlin Heidelberg 2002.

关键词： Algebra

来源：评论

学校读者我要写书评

暂无评论

Elective participation in ad hoc networks based on energy consumption

Elective participation in ad hoc networks based on energy co...

引用

IEEE Conference and Exhibition on Global Telecommunications (GLOBECOM)

作者： M.R. Pearlman Jing Deng B. Liang Z.J. Haas New York State Center for Advanced Technology in Computer Applications and Software Engineering (CASE) and the Center for Systems Assume Department of Electrical Engineering and Computer Science (EECS) Syracuse University Syracuse NY USA School of Electrical and Computer Engineering Cornell University Ithaca NY USA Department of Electrical and Computer Engineering University of Toronto Toronto ONT Canada

In ad hoc networks, each node utilizes its limited resources to carry out the collective operation of the network. It is not always in the best interests of the network's nodes to demand the continuous participation of all nodes in the network operations. We propose an energy dependent participation (EDP) scheme, where a node periodically re-evaluates its participation in the network based on the residual energy in its battery. More importantly, a node gives special consideration to supporting the communication needs of its active network applications and preventing further network partitioning. EDP's localized partition checking algorithm is particularly well suited for the zone routing protocol, where the link-state information is proactively maintained within each node's local zone and routes to faraway nodes are reactively obtained via global queries. Through simulations, we evaluate the impact of our proposed scheme on battery life and network connectivity. Our results suggest that the EDP scheme can increase the usable lifetime of a battery-constraint ad hoc network by over 50%.

关键词： Intelligent networks Energy consumption Ad hoc networks Batteries Routing protocols Power engineering and energy Radio transceivers Mobile communication Broadcasting computer networks

来源：评论

学校读者我要写书评

暂无评论

CPL: A language for real-time distributed object programming

引用

Turkish Journal of Electrical engineering and computer Sciences 2002年第1期10卷 1-21页

作者： Saridoǧan, Erhan Erdoǧan, Nadia Turkish Navy Software Development Center Arastirma Merkezi Komutanligi 81504 Pendik Istanbul Turkey Computer Engineering Department Electrical-Electronics Engineering Faculty Istanbul Technical University 80686 Ayazaga Istanbul Turkey

As processing and time requirements of computer systems increase over the borders of single processor architectures, it is becoming more and more attractive to use distributed computing with additional real-time capabilities. In several cases, traditional programming languages have become insufficient to build distributed systems easily, especially when real-time issues and basic software quality factors are concerned. In this paper, a concurrent, object-oriented, distributed real-time programming language, CPL, with a supportive run-time system, namely the CORD-RTS, is introduced and new language features are described. The new language provides an efficient solution for command and control systems by embedding distribution and real-time issues within new language constructs. The language preprocessor translates these language constructs into portable C++ code to establish run-time connection with the RTS, which provides real-time communication between distributed objects.

关键词： computer programming languages

来源：评论

学校读者我要写书评

暂无评论

An efficient middleware architecture supporting real-time distributed object programming

引用

Turkish Journal of Electrical engineering and computer Sciences 2002年第1期10卷 23-39页

With the increasing demand for distributed real-time systems, the need for programming tools and execution platforms useful in development of such application systems is widely recognized. This paper presents CORD-RTS, an efficient middleware architecture that provides support for real-time distributed object programming. The communication infrastructure and various components of the middleware, which support several modes of interactions among distributed real-time objects, along with its real-time features and services, are discussed in detail.

关键词： Middleware

来源：评论

学校读者我要写书评

暂无评论

Introducing risk management techniques within project based software engineering courses

引用

International Journal of Phytoremediation 2002年第1期21卷 37-55页

作者： Port, Daniel Boehm, Barry Department of Computer Science Center for Software Engineering University of Southern California Los Angeles CA United States

In 1996, USC switched its core two-semester software engineering course from a hypothetical-project, homework-and-exam course based on the Bloom taxonomy of educational objectives (knowledge, comprehension, application, analysis, synthesis, and evaluation). The revised course is a real-client team-project course based on the CRESST model of learning objectives (content understanding, problem solving, collaboration, communication, and self-regulation). We used the CRESST cognitive demands analysis to determine the necessary student skills required for software risk management and the other major project activities, and have been refining the approach over the last 5 years of experience, including revised versions for one-semester undergraduate and graduate project course at Columbia. This paper summarizes our experiences in evolving the risk management aspects of the project course. These have helped us mature more general techniques such as risk-driven specifications, domain-specific simplifier and complicator lists, and the schedule as an independent variable (SAIV) process model. The largely positive results in terms of review of pass / fail rates, client evaluations, product adoption rates, and hiring manager feedback are summarized as well. © 2002, Taylor & Francis Group, LLC.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Balancing plan-driven and agile methods in software engineering project courses

引用

International Journal of Phytoremediation 2002年第1期21卷 187-195页

作者： Boehm, Barry Port, Dan Brown, A. Winsor Department of Computer Science Center for Software Engineering University of Southern California Los Angeles CA United States

For the past 6 years, we have been teaching a two-semester software engineering project course. The students organize into 5-person teams and develop largely web-based electronic services projects for real USC campus clients. We have been using and evolving a method called Model- Based (System) Architecting and software engineering (MBASE) for use in both the course and in industrial applications. The MBASE Guidelines include a lot of documents. We teach risk-driven documentation: if it is risky to document something, and not risky to leave it out (e.g., GUI screen placements), leave it out. Even so, students tend to associate more documentation with higher grades, although our grading eventually discourages this. We are always on the lookout for ways to have students learn best practices without having to produce excessive documentation. Thus, we were very interested in analyzing the various emerging agile methods. We found that agile methods and milestone plan-driven methods are part of a “how much planning is enough?” spectrum. Both agile and plan-driven methods have home grounds of project characteristics where they clearly work best, and where the other will have difficulties. Hybrid agile/plan-driven approaches are feasible, and necessary for projects having a mix of agile and plan-driven home ground characteristics. Information technology trends are going more toward the agile methods' home ground characteristics of emergent requirements and rapid change, although there is a concurrent increase in concern with dependability. As a result, we are currently experimenting with risk-driven combinations of MBASE and agile methods, such as integrating requirements, test plans, peer reviews, and pair programming into “agile quality management.”. © 2002, Taylor & Francis Group, LLC.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Maintaining software with a security perspective

Maintaining software with a security perspective

引用

International Conference on software Maintenance (ICSM)

作者： K. Jiwnani M. Zelkowitz Department of Computer Science University of Maryland College Park MD USA Department of Computer Science University of Maryland and Fraunhofer Center of Experimental Software Engineering College Park MD USA

Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels. These methods are not complete and are difficult to use. Hence it is essential to focus testing effort in areas that have a greater number of security vulnerabilities to develop secure software as well as meet budget and time constraints. We propose a testing strategy based on a classification of vulnerabilities to develop secure and stable systems. This taxonomy will enable a system testing and maintenance group to understand the distribution of security vulnerabilities and prioritize their testing effort according to the impact the vulnerabilities have on the system. This is based on Landwehr's (1994) classification scheme for security flaws and we evaluated it using a database of 1360 operating system vulnerabilities. This analysis indicates vulnerabilities tend to be focused in relatively few areas and associated with a small number of software engineering issues.

关键词： software maintenance System testing software testing Data security Formal verification Kernel Time factors Taxonomy Databases Operating systems

来源：评论

学校读者我要写书评

暂无评论

Adaptive QoS management for collaboration in heterogeneous environments

Adaptive QoS management for collaboration in heterogeneous e...

引用

International Symposium on Parallel and Distributed Processing (IPDPS)

作者： R. Chowdhury P. Bhandarkar M. Parashar The Applied Software Systems Laboratory Department of Electrical and Computer Engineering & CAIP Center Rutgers State University of New Jersey Piscataway NJ USA

Adaptive Quality-of-Service management is critical for enabling effective collaboration between distributed clients in a heterogeneous (wired and wireless) environment. This is because both client profiles (capabilities, interests and resources) and system resources can be significantly different and highly dynamic. This paper presents the design and prototype implementation of an adaptive QoS management framework for collaborative multimedia applications in distributed, heterogeneous environments. The overall goal of the framework is to locally adapt the shared information to meet the capabilities, interests and current state of each collaborating client while preserving the semantic content of the information to maintain effective sharing. Transformations investigated in this paper include gradual gradations and modality transformations. The framework builds on a publisher-subscriber messaging substrate that uses semantic profiles and provides each client with direct and immediate access to all information defined by its needs and capabilities, without having to maintain and update global rosters. It interfaces with the Simple Network Management Protocol (SNMP) to determine the state of the network by directly querying network elements. An experimental evaluation of the framework for wired and wireless clients is also presented.

关键词： Environmental management Collaboration Collaborative work computer networks software systems Quality of service Quality management engineering management Collaborative software Prototypes

来源：评论

学校读者我要写书评

暂无评论

A software design model for parallel applications on heterogeneous systems

A software design model for parallel applications on heterog...

引用

International Symposium on Parallel and Distributed Processing (IPDPS)

作者： M. Dwivedula S. Hariri M. Parashar High Performance Distributed Computing (HPDC) Laboratory Department of Electrical and Computer Engineering University of Arizona Tucson Tucson AZ USA The Applied Software Sytems Laboratory (TASSL) Department of Electrical and Computer Engineering Caip Center-Rutgers University Piscataway NJ USA

Overlap of computations and communications is an effective mechanism to improve the performance of parallel/distributed applications significantly. This overlap can be achieved efficiently by using data partitioning and properly scheduling the data transfer. Various asynchronous communication primitives, that are provided by most message passing tools (e.g. PVM, MPI), can be used to implement the required. Here, we present a design model, the Distributed software Design Model (DSDM) and show how it can be applied to optimize parallel/distributed applications. We show through several examples, the Master-Slave Merge Sorting Application and the astrophysical N-Body Problem, how the DSDM can be used to develop efficient and optimized implementations of parallel and distributed algorithms.

关键词： software design Application software Distributed computing Concurrent computing Message passing Processor scheduling Hardware Laboratories Asynchronous communication Design optimization

来源：评论

学校读者我要写书评

暂无评论

Workshop on software quality

Workshop on software quality

引用

International Conference on software engineering (ICSE)

作者： M.M. de Oliveira A.R. Rocha K. Chaves Weber Computer Science Department Catholic University of Brasilia Brazil Graduate School of Engineering-COPPE Federal University of Rio de Janeiro Rio de Janeiro Brazil Quality and Productivity Software Program/ Software Sub-committee Society for the Promotion of Excellence in Brazilian Software SOFTEX Brazil

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：