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

proceedings of the acm symposium on applied computing 2007年 1293-1294页

作者： Soares, Sérgio Borba, Paulo Software Productivity Group Computing Systems Department Pernambuco State University Recife Pernambuco Brazil Software Productivity Group Informatics Center Federal University of Pernambuco Recife Pernambuco Brazil

ISBN: (纸本)1595934804;9781595934802

Information systems based on the World Wide Web increased the impact of concurrent programs. Such increase demands the definition of methods for obtaining safe and efficient implementations of concurrent programs, since the complexity of implementation and tests in concurrent environments is bigger than in sequential environments. This work defined guidelines to restructure object-oriented software in order to modularize concurrency control using aspect-oriented programming. Those guidelines are supported by a concurrency control implementation that guarantees system correctness without redundant concurrency control, both increasing performance and guaranteeing safety. We define abstract aspects that constitute a simple aspect framework that can be reused to implement concurrency control in other applications. The achieved modularization makes the concurrency control easy to evolve and decreases the complexity of other parts of the software, such as business and data management modules, by decoupling concurrency control code from them. Copyright 2007 acm.

关键词： Computer software reusability

来源：评论

学校读者我要写书评

暂无评论

Using control-flow patterns for specifying business processes in cooperative environments

Proceedings of the ACM Symposium on Applied Computing

引用

proceedings of the acm symposium on applied computing 2007年 1234-1241页

作者： Braghetto, Kelly Rosa Ferreira, Joo Eduardo Pu, Calton Dept. of Computer Science University of São Paulo Rua do Matão 1010 055080-090 São Paulo - SP Brazil College of Computing Georgia Institute of Technology 801 Atlantic Drive Atlanta GA 30332-0280 United States

ISBN: (纸本)1595934804;9781595934802

The representation and execution of business processes have generated some important challenges in Computer Science. An important related concern is the choosing of the best formal foundation to specify processes behavior, mainly representing control-flow patterns in cooperative environments. The first contribution of this research is the complete definition of the Navigation Plan Definition Language (NPDL) as an alternative for business process managing in cooperative environments. The second contribution is a complete implementation of control-flow patterns using NPDL. These control-flow patterns have been proposed by Aalst's group. Our experience in applying suggestion of Aalst's group to use control-flow patterns as a basis for comparison among control-flow specification languages shows that this comparison method is feasible and the results are useful. The simplicity of NPDL representations shows the advantages of NPDL as a process specification language. NPDL uses a declarative specification (similar to process algebra) to describe the workflow and adds new operators to compensate for the limitations of process algebra and Petri nets. NPDL also increases the modeling flexibility by allowing the reuse of process expressions in relational data-base systems. Copyright 2007 acm.

关键词： Administrative data processing

来源：评论

学校读者我要写书评

暂无评论

A weighted cache replacement policy for location dependent data in mobile environments

Proceedings of the ACM Symposium on Applied Computing

引用

proceedings of the acm symposium on applied computing 2007年 920-924页

作者： Kumar, Ajey Misra, Manoj Sarje, A.K. Department of E. C. E. Indian Institute of Technology Roorkee-247667 India

ISBN: (纸本)1595934804;9781595934802

Developing widely useful mobile computing applications presents difficult challenges. On one hand, mobile users demand intuitive user interfaces, fast response times, and deep relevant content. On the other hand, mobile devices have limited processing, storage, power, display, and communication resources. Caching frequently accessed data items on the mobile client is an effective technique to improve the system performance in mobile environment. Due to cache size limitation, the choice of cache replacement technique to find a suitable subset of items for eviction from cache becomes important. In this paper, we propose a new cache replacement policy for location dependent data in mobile environment. The proposed policy selects the predicted region based on client's movement and uses it to calculate the weighted data distance of an item. This makes the policy adaptive to client's movement pattern and provides importance to the regions around client's position. This is unlike earlier policies that consider the directional/non-directional data distance only. We call our policy the Weighted Predicted Region based Cache Replacement Policy (WPRRP). Simulation results show that the proposed policy significantly improves the system performance in comparison to previous schemes in terms of cache hit ratio. Copyright 2007 acm.

关键词： Mobile computing

来源：评论

学校读者我要写书评

暂无评论

Formal modelling and verification of a component model using coloured petri nets and model checking

Proceedings of the ACM Symposium on Applied Computing

引用

proceedings of the acm symposium on applied computing 2007年 1427-1431页

作者： Oliveira, Elthon Almeida, Hyggo Silva, Leandro Federal University of Alagoas AL 115 Km 65 Arapiraca AL Brazil Embedded Systems and Pervasive Computing Lab. Federal Univ. of C. Grande Campina Grande PB Brazil

ISBN: (纸本)1595934804;9781595934802

Component based software engineering has been claimed as a suitable approach to improve the flexibility and reuse in software development. In this context, the Compor infrastructure provides mechanisms to promote the dynamic composition of software systems, addressing applications with support for unanticipated requirement changes. In this paper, the formal modelling and verification of the COMPOR component model is presented. Hierarchical Colored Petri Nets are used for modelling and simulation, purposing to show the correct behavior for some scenarios. Model checking is used to prove that the scenarios analyzed with simulation are correct for all possible behaviors of the model. Copyright 2007 acm.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

A mechanism for replicated data consistency in mobile computing environments 07

A mechanism for replicated data consistency in mobile comput...

引用

2007 acm symposium on applied computing

作者： Monteiro, José Maria Brayner, Ângelo Lifschitz, Sérgio PUC-Rio Brazil Universidade de Fortaleza Brazil

ISBN: (纸本)1595934804

Mobile computing allows for the development of new and sophisticated database applications. Such applications require the reading of current and consistent data. In order to improve data availability, increase performance and maximize throughput, data replication is used. However, due to inherent limitations in mobile and other loosely-coupled environments, the concurrency control and replica control mechanisms must be revisited. This paper proposes a new protocol that guarantees the consistency of replicated data in a mobile computing environment, while provide high data availability and ensure an eventual replica convergence towards a strongly consistent state. Copyright 2007 acm.

关键词： Mobile computing

来源：评论

学校读者我要写书评

暂无评论

An analytical model for generalized processor sharing scheduling with heterogeneous network traffic

Proceedings of the ACM Symposium on Applied Computing

引用

proceedings of the acm symposium on applied computing 2007年 198-202页

作者： Jin, Xiaolong Min, Geyong Department of Computing School of Informatics University of Bradford Bradford BD7 1DP United Kingdom

ISBN: (纸本)1595934804;9781595934802

Implementation of differentiated Quality-of-Service (QoS) in next-generation computer networks has received increasing research interests from both academia and industry. The Generalized Processor Sharing (GPS) scheduling strategy has been widely studied as a promising way to provide differentiated QoS due to its service protection feature. Most of the previous studies reported in the literature, however, have focused on the analysis of GPS under either Short Range Dependent (SRD) or Long Range Dependent (LRD) traffic only, neither of which is able to capture the heterogeneous properties of realistic traffic in multi-service networks solely. To fill this gap, this paper develops a new analytical performance model for GPS systems subject to both LRD self-similar traffic and SRD Poisson traffic. More specifically, using an approach based on Large Deviation Principles, this study contributes to performance modelling and evaluation of GPS scheduling by deriving the analytical upper and lower bounds of the aggregate and individual queue length distributions of heterogeneous traffic flows. The comparisons between analytical bounds and extensive simulation results validate the accuracy and merits of the analytical model which can be adopted as a practical and cost-effective evaluation tool for investigating the performance behaviour of GPS systems under heterogeneous network traffic with various parameter settings. Copyright 2007 acm.

关键词： Program processors

来源：评论

学校读者我要写书评

暂无评论

A metadata-based architectural model for dynamically resilient systems 07

A metadata-based architectural model for dynamically resilie...

引用

2007 acm symposium on applied computing

作者： Di Marzo Serugendo, Giovanna Fitzgerald, John Romanovsky, Alexander Guelfi, Nicolas School of Computer Science and Information Systems Birkbeck College London United Kingdom School of Computing Science University of Newcastle NE1 7RU Newcastle upon Tyne United Kingdom Laboratory for Advanced Software Systems University of Luxembourg Luxembourg Luxembourg

ISBN: (纸本)1595934804

Designing open and distributed systems that can dynamically adapt in a predictable way to unexpected events is a challenging issue still not solved. Achieving this objective is a very complex task since it implies reasoning at run-time, explicitly and in a combined way, on a system's functional and non-functional characteristics. This paper proposes a service-oriented architectural model allowing the dynamic enforcement of formally expressed metadata-based resilience policies. It also describes preliminary dynamic resilience experiments acting as proof of concept. Copyright 2007 acm.

关键词： Metadata

来源：评论

学校读者我要写书评

暂无评论

computing Crossing Number in Linear Time 07

Computing Crossing Number in Linear Time

引用

39th Annual acm symposium on Theory of computing

作者： Kawarabayashi, Ken-ichi Reed, Bruce Res Org Informat & Syst Natl Inst Informat Chiyoda Ku Tokyo 1018430 Japan

ISBN: (纸本)9781595936318

We show that for every fixed k, there is a linear time algorithm that decides whether or not a given graph has crossing number at most k, and if this is the case, computes a drawing of the graph in the plane with at most k crossings. This answers the question posed by Grohe (STOC'01 and JCSS 2004). Our algorithm can be viewed as a generalization of the seminal result by Hopcroft and Tarjan [26], which determines if a given graph is planar in linear time. Our algorithm can also be compared to the algorithms by Mohar (STOC'96 and Siam J. Discrete Math 2001.), for testing the embeddability of an input graph in a fixed surface. For each surface S, Mohar describes an algorithm which yields either an embedding of G in S or a minor of G which is not embeddable in S and is minimal with this property. The same approach allows us to obtain linear time algorithms for the same question for a variety of other crossing numbers. We can also determine in linear time if an input graph can be made planar by the deletion of k edges (for fixed k).

关键词： Linear time algorithm crossing number tree-width

来源：评论

学校读者我要写书评

暂无评论

A virtual laboratory model for encouraging undergraduate research

A virtual laboratory model for encouraging undergraduate res...

引用

37th SIGCSE Technical symposium on Computer Science Education

作者： Way, Thomas P. Applied Computing Technology Laboratory Department of Computing Sciences Villanova University Villanova PA 19085

ISBN: (纸本)9781595932594

Undergraduate students who perform research benefit greatly from the experience, yet achieving high levels of voluntary participation remains an elusive goal. This paper describes the implementation of an innovative laboratory model designed to encourage computer science undergraduates to actively pursue collaborative research with faculty and other students. As an extension of earlier research into team-based software engineering education, the applied computing Technology Laboratory was formed to provide an authentic and engaging experience in real-world computer science research. The model, which relies on a web site as its focus, is presented along with the results of one year of active research. Copyright 2006 acm.

关键词： Engineering research

来源：评论

学校读者我要写书评

暂无评论

computing Curricula 2005: The overview report

Computing Curricula 2005: The overview report

引用

37th SIGCSE Technical symposium on Computer Science Education

作者： Shackelford, Russell McGettrick, Andrew Sloan, Robert Topi, Heikki Davies, Gordon Kamali, Reza Cross, James Impagliazzo, John LeBlanc, Richard Lunt, Barry ACM Education Board University of Strathclyde University of Illinois-Chicago Bentley College Board Purdue University-Calumet Auburn University Hofstra University Southern Catholic College Brigham Young University

ISBN: (纸本)9781595932594

In 2001, the acm and the IEEE-CS published computing Curricula 2001 which contains curriculum recommendations for undergraduate programs in computer science. That report also called for additional discipline-specific volumes for each of computer engineering, information systems, and software engineering. In addition, it called for an Overview Volume to provide a synthesis of the various volumes. The computing Curricula 2004 Task Force undertook the job of fulfilling the latter charge. The purpose of this session is to present the recently completed work of that Task Force, now known as computing Curricula 2005 (CC2005), and to generate discussion among, and feedback from SIGCSE members about ongoing and future work.

关键词： Curricula

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：