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

2nd International Conference on Mobile Ubiquitous computing, systems, Services and Technologies, UBICOMM 2008

作者： Kodikara, Ruwini Åhlund, Christer Zaslavsky, Arkady Centre for Distributed Systems and Software Engineering Monash University 900 Dandenong Road Caulfield East Melbourne VIC 3145 Australia Division of Mobile Networking and Computing Luleå University of Technology 931 87 Skellefteå Sweden

ISBN: (纸本)9780769533674

Next generation ubiquitous computing will comprise of context aware adaptive applications and protocols. There is a need of a generic architecture to cater for the adaptation requirements of increasingly demanding real-time applications and increasing dynamic wireless networks. This paper discusses the adaptive approach supported by CA3RM-Com architecture. CA3RM-Com is the context aware architecture proposed for real-time communication in wireless networks. It addresses the context representation, context acquisition, context exchange, and context management. Specific details of the architecture and referring adaptations that CA3RM-Com can support are discussed. Moreover the extended simulation results of adaptive multi-homed Mobile IP are presented in this paper. © 2008 IEEE.

关键词： Wireless networks

来源：评论

学校读者我要写书评

暂无评论

Supporting adaptive real-time mobile communication with multilayer context awareness

IFIP Advances in Information and Communication Technology

引用

IFIP Advances in Information and Communication technology 2008年 284卷 435-446页

作者： Kodikara, Ruwini AÅhlund, Christer Zaslavsky, Arkady Centre for Distributed Systems & Software Engineering Monash University Australia Division of Mobile Networking & Computing Luleå University of Technology Sweden

ISBN: (纸本)9780387848389

Real time mobile communication is challenging due to the inherent limitations of mobile networks. On the other hand the stringent quality of service requirements of real time traffic is highly in demand. Our first contribution is the generic context aware architecture for adaptive real time applications. Adaptation is based on the awareness of context parameters from different layers of the existing protocol stack which involves context exchange among the neighboring layers as well as non-neighboring layers. The architecture comprises of context representation, context acquisition, cross-layer context exchange and context management. Our second contribution is the mobility aware, adaptive Multi-homed Mobile IP. Simulation of adaptive M-MIP was carried out as a proof of concept. Simulation demonstrated that adaptation to mobility was able to decrease Mobile IP handover latency. Further, the results show that the quality of service of real time traffic can be enhanced by using context aware adaptive MIP. The simulation involved with various speeds ranging from pedestrian scenarios to vehicular scenarios. Results are analyzed with variable data rates. The evaluations show that performance of the proposed solution is better compared to conventional MIP in terms of packet loss and throughput of real time traffic. © 2008 IFIP International Federation for Information Processing.

关键词： Quality of service

来源：评论

学校读者我要写书评

暂无评论

You Can't Get There From Here! Problems and Potential Solutions in Developing New Classes of Complex Computer systems

You Can't Get There From Here! Problems and Potential Soluti...

引用

International Multiconference on Computer Science and Information technology, IMCSIT

作者： Michael G. Hinchey James L. Rash Walter F. Truszkowski Roy Sterritt Christopher A. Rouff Lero-the Irish Software Engineering Research Centre University of Limerick Limerick Ireland Systems Engineering Division NASA Goddard Space Flight Center Greenbelt MD USA School of Computing and Mathematics University of Ulster UK Lockheed Martin Advanced Technology Laboratories Arlington VA USA

The explosion of capabilities and new products within the sphere of Information technology (IT) has fostered widespread, overly optimistic opinions regarding the industry, based on common but unjustified assumptions of quality and correctness of software. These assumptions are encouraged by software producers and vendors, who at this late date have not succeeded in finding a way to overcome the lack of an automated, mathematically sound way to develop correct systems from requirements. NASA faces this dilemma as it envisages advanced mission concepts that involve large swarms of small spacecraft that will engage cooperatively to achieve science goals. Such missions entail levels of complexity that beg for new methods for system development far beyond todaypsilas methods, which are inadequate for ensuring correct behavior of large numbers of interacting intelligent mission elements. New system development techniques recently devised through NASA-led research will offer some innovative approaches to achieving correctness in complex system development, including autonomous swarm missions that exhibit emergent behavior, as well as general software products created by the computing industry.

关键词： NASA Space technology Computer industry Information technology software engineering software maintenance software safety Computer science Laboratories Aerospace industry

来源：评论

学校读者我要写书评

暂无评论

Semantic-based Grid Resource Discovery and its Integration with the Grid Service Broker

Semantic-based Grid Resource Discovery and its Integration w...

引用

International Conference on Advanced computing and Communications (ADCOM)

作者： Thamarai Selvi Somasundaram R.A. Balachandar Vijayakumar Kandasamy Rajkumar Buyya Rajagopalan Raman N. Mohanram S. Varun Department of Information Technology Anna University Chennai India Grid Computing and Distributed Systems Laboratory Department of Computer Science and Software Engineering University of Melbourne VIC Australia Centre for Development of Advanced Computing Chennai India Centre for Development of Advanced Computing Bangalore India

This paper addresses the need of semantic component in the grid environment to discover and describe the grid resources semantically. We propose semantic grid architecture by introducing a knowledge layer at the top of Gridbus broker architecture and thereby enabling broker to discover resources semantically. The semantic component in the knowledge layer enables semantic description of grid resources with the help of ontology template. The ontology template has been created using Protege-OWL editor for different types of computing resources in the grid environment. The Globus Toolkit's MDS is used to gather grid resource information and Protege-OWL libraries are used to dynamically create knowledge base of grid resources. Algernon inference engine is used for interacting with the knowledge base to discover suitable resources.

关键词： Distributed computing Ontologies Middleware Computer architecture Computer networks Grid computing Libraries Engines Monitoring Aggregates

来源：评论

学校读者我要写书评

暂无评论

Dynamic verification of temporal constraints on-the-fly for workflow systems

Dynamic verification of temporal constraints on-the-fly for ...

引用

Asia-Pacific Conference on software engineering

作者： J. Chen Y. Yang T.Y. Chen Centre for Internet Computing and E-Commerce (CICEC) Swinburne University of Technology Melbourne Australia Centre for Internet Computing and E-Commerce (CICEC) Centre for Software Engineering (CSE) Swinburne University of Technology Melbourne Australia

Temporal verification is an important method to check the temporal correctness of workflow management systems (WfMSs). However, the current temporal verification is relatively independent of the workflow system environments. It does not pay sufficient attention to the interrelationship between the temporal verification at different stages, the mutual dependency between some temporal constraints, and the run-time checkpoint selection strategy, which hence hinders the incorporation and consistency between the temporal verification and the workflow system environments. In this paper, we effectively integrate the temporal verification at different stages and explore the dependency between some temporal constraints. In addition, we present a new effective runtime checkpoint selection strategy which dynamically selects appropriate checkpoints based on the activity completion duration. Furthermore, based on these analyses, we develop some new methods for more efficient temporal verification. These analyses and new methods help to eliminate the gap between the temporal verification and the workflow system environments.

关键词： Runtime environment software engineering Workflow management software Automatic control Internet Information technology Australia Automation Logic Uncertainty

来源：评论

学校读者我要写书评

暂无评论

A robust search-based approach to project management in the presence of abandonment, rework, error and uncertainty

A robust search-based approach to project management in the ...

引用

International Symposium on software Metrics

作者： G. Antoniol M. Di Penta M. Harman Department of Engineering RCOST-Research Centre on Software Technology University of Sannio Benevento Italy Department of Information Systems and Computing Brunei University Uxbridge UK

Managing a large software project involves initial estimates that may turn out to be erroneous or that might be expressed with some degree of uncertainty. Furthermore, as the project progresses, it often becomes necessary to rework some of the work packages that make up the overall project. Other work packages might have to be abandoned for a variety of reasons. In the presence of these difficulties, optimal allocation of staff to project teams and teams to work packages is far from trivial. This paper shows how genetic algorithms can be combined with a queuing simulation model to address these problems in a robust manner. A tandem genetic algorithm is used to search for the best sequence in which to process work packages and the best allocation of staff to project teams. The simulation model, that computes the project estimated completion date, guides the search. The possible impact of rework, abandonment and erroneous or uncertain initial estimates are characterised by separate error distributions. The paper presents results from the application of these techniques to data obtained from a large scale commercial software maintenance project.

关键词： Robustness Project management Uncertainty Packaging software maintenance Genetic algorithms Computer errors Computational modeling Application software Large-scale systems

来源：评论

学校读者我要写书评

暂无评论

Search-based techniques for optimizing software project resource allocation

引用

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2004年 3103卷 1425-1426页

作者： Antoniol, G. Di Penta, M. Harman, M. RCOST - Research Centre on Software Technology University of Sannio Department of Engineering Palazzo ex Poste Via Traiano 82100 Benevento Italy Department of Information Systems and Computing Brunel University Uxbridge Middlesex UB8 3PH United Kingdom

来源：评论

学校读者我要写书评

暂无评论

PARALLEL AND DISTRIBUTED TLM COMPUTATION WITH SIGNAL-PROCESSING FOR ELECTROMAGNETIC-FIELD MODELING

引用

INTERNATIONAL JOURNAL OF NUMERICAL MODELLING-ELECTRONIC NETWORKS DEVICES AND FIELDS 1995年第3-4期8卷 169-185页

作者： SO, PPM ESWARAPPA, C HOEFER, WJR NSERC/MPR Teltech Research Chair in RF Engineering Department of Electrical and Computer Engineering University of Victoria Victoria British Columbia V8W 3P6 Canada Poman So received his B.Sc. degree in computer science and physics from the University of Toronto Toronto Onatario Canada in 1985. He obtained his B.A. Sc. and M.A.Sc. degrees in electrical engineering (summa cum laude) from the University of Ottawa Ottawa Ontario Canada in 1987 and 1989 respectively. Mr So was a research engineer in the University of Ottawa from January 1989 to October 1991 his research interests included CAD techniques of microwave circuits and numerical methods for electromagnetic wave modelling. He specialized in the development of electromagnetic engineering CAD software and successfully implemented a number of electromagnetic wave simulators based on the two-dimensional and three-dimensional transmission-line matrix methods. From August 1990 to February 1991 he accompanied Professor W. J. R. Hoefer to Rome Italy and Sophia Antiopolas France. During that time he implemented a parallel version of the 3D-TLM simulator for the CM-2 Connection Machine using C-Star and X Windows Library. He is a research engineer and a Ph.D. student at the University of Victoria Victoria British Columbia Canada. He ported the 2D- and 3D-TLM simulators to DECmpp 1200 massively parallel computer using MPL C and C++. He also combined OSA90/hope a commercially available microwave CAD program with a 2D-TLM simulation module for geometry optimization using the Datapipe technique of OSA90/hope. Recently he has developed a distributed client-server computing technique for the TLM method this technique could accelerate the TLM simulation by more than an order of magnitude. Channabasappa Eswarappa received the M.Tech. degree in electrical engineering from the Indian Institute of Technology Kanpur India in 1983 and Ph. D. degree from the University of Ottawa Canada in 1990. He worked as an Assistant Executive Engineer and later as

This paper describes the implementation of transmission-line matrix (TLM) method algorithms on a massively parallel computer (DECmpp 12000), the technique of distributed computing in the UNIX environment, and the combination of TLM analysis with Prony's method as well as with autoregressive moving average (ARMA) digital signal processing for electromagnetic field modelling. By combining these advanced computation techniques, typical electromagnetic field modelling of microwave structures by TLM analysis can be accelerated by a few orders of magnitude.

关键词： Mathematical models

来源：评论

学校读者我要写书评

暂无评论

Parallelisation of the SDEM distinct element stress analysis code on the KSR-1 94

Parallelisation of the SDEM distinct element stress analysis...

引用

8th International Conference on Supercomputing, ICS 1994

作者： Egan, G.K. Riley, G.D. Bull, J.M. Department of Computer Systems Engineering United States Laboratory for Concurrent Computing Systems Swinburne University of Technology Australia Centre for Novel Computing University of Manchester United Kingdom

ISBN: (纸本)0897916654

The SDEM code models systems of interacting blocks of rock using the distinct element (DE) method, which represents these systems as discontinuums with each block acting under Newton's laws of motion. The data structures associated with the DE method make the task of obtaining performance gains through vectorisation difficult. Typical systems, however, cent ain thousands of blocks and there is the potential to perform calculations associated with groups of blocks in parallel. This paper details the analysis and program refinement steps used in implementing a parallel version of SDEM on the Kendall Square Research KSR-1 distributed memory multiprocessor. Performance gains from a simple translation of the original Cray FORTRAN code are poor, but satisfactory performance is obtained, with minimum changes to the code, by addressing specific sources of overhead. The refinement steps focus on reducing lock costs, ensuring data locality and improving load balance. © 1994 ACM.

关键词： Stress analysis

来源：评论

学校读者我要写书评

暂无评论

Process-sensitive software engineering environments: An object-oriented view 1

Process-sensitive software engineering environments: An obje...

引用

1st Asia-Pacific software engineering Conference, APSEC 1994

作者： Kang, Min Grant, D.D. Centre for Systems Methodologies School of Computer Science and Software Engineering Swinburne University of Technology HawthornVIC3122 Australia

ISBN: (纸本)0818669608

An object-oriented model is proposed, designed as a collection of layered components, for process-sensitive software engineering environments (PSEEs). In the model, three types of object (process objects, entity objects and service objects) are identified to abstract and reflect the behaviour in different aspects of a PSEE. An overview of object interaction patterns, which reflects and captures the relationships between these types of object, is presented. To support software development process distribution and concurrency effectively, we introduce the actor (concurrent object) concept into process objects and entity objects, which allows transparent message passing between objects without concern for location and synchronisation. © 1994 IEEE.

关键词： Message passing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：