Middleware technologies such as CORBA or Java RMI have proved their suitability for "standard" client-server applications. However, challenges from existing and new types of applications, including support f...
详细信息
A novel concurrent programming paradigm called hypersequential programming (HSP) is being developed. HSP aims to eliminate all undesirable behaviours from a given application. A fundamental part of that system require...
详细信息
A novel concurrent programming paradigm called hypersequential programming (HSP) is being developed. HSP aims to eliminate all undesirable behaviours from a given application. A fundamental part of that system requires the use of test cases for the serialization of a program. Only those test cases found to be correct are used in the final concurrent program. Therefore, HSP relies on all the functionality being included into a program. This is opposite to traditional software engineering practice, which is to ensure that all unwanted behaviours have been removed. We briefly examine the HSP method with reference to test cases and scenarios. We examine a couple of brief examples and discuss the limitations of test cases, with particular respect to HSP. We conclude that finding a method of ensuring the correct set of test cases is used in development is essential to the success of HSP.
作者:
H.G. LewisM.S. NixonImage
Speech and Intelligent Systems Research Group Department of Electronics and Computer Science University of Southampton Southampton UK
The mapping of land cover and land use is a key application of remotely sensed data. Traditionally, classification techniques are used to assign every pixel of an image to one of a number of mutually exclusive land co...
详细信息
The mapping of land cover and land use is a key application of remotely sensed data. Traditionally, classification techniques are used to assign every pixel of an image to one of a number of mutually exclusive land cover classes. Alternatively, a modelling approach assigns to every pixel the area proportion containing each land cover class. This paper examines the hypothesis that the area modelling, or area estimation, approach can offer a richer and qualitatively more accurate representation of the true land cover than can be provided by the traditional classification approach. The paper describes the empirical, non-linear classifiers and area estimation models, based on neural networks and nearest neighbour algorithms, that have been developed to investigate this hypothesis. The algorithms were applied to an area-labelled Landsat TM data set produced as part of the EU FLIERS Project. The results demonstrated that a better representation of the true land cover was obtained using the area estimation models compared to the representation produced by the classification algorithms when the size of the land cover objects on the ground was less than the resolution of the sensor. These results are presented with a discussion of the evaluation issues involved with area estimation.
作者:
T. DoddC. HarrisImage
Speech and Intelligent Systems Research Group Department of Electronics and Computer Science University of Southampton Southampton UK
The Bayesian interpretation of regularisation is now well established for batch processing of data by neural networks. However, when the data arrives sequentially the most common approach is still to use least-squares...
The Bayesian interpretation of regularisation is now well established for batch processing of data by neural networks. However, when the data arrives sequentially the most common approach is still to use least-squares based algorithms. Previous work has suggested the use of Kalman filter based algorithms for training neural networks under sequential learning with regularisation. We examine specifically the class of approximation schemes known as general linear models. In this case the Bayesian learning of the network weights with Gaussian approximations leads to a Kalman filter algorithm for the weights. The Kalman filter iteratively learns the probability density of the weights and incorporates online regularisation. We investigate the application of this technique to two time series problems, one an illustrative demonstration problem, the second motivated by an analytical model of slender delta wings.
Middleware technologies such as CORBA or Java RMI have proved their suitability for "standard" client-server applications. However, challenges from existing and new types of applications, including support f...
详细信息
Middleware technologies such as CORBA or Java RMI have proved their suitability for "standard" client-server applications. However, challenges from existing and new types of applications, including support for multimedia real-time requirements and mobility seems to indicate the need for defining a new architecture for open distributedsystems. The new architecture should be designed from the beginning with flexibility and adaptability in mind. This can be achieved by defining an open engineering middleware platform that is run time configurable and allows inspection and adaptation of the underlying components. This paper proposes a next generation middleware architecture that conforms to requirements as indicated above. This architecture is characterised by being open, and adaptable based on the principle of reflection. The paper also reports on some existing research prototypes with a focus towards their suitability as next generation middleware.
Provisioning network resources for multimedia streaming is complicated by the bursty, high-bandwidth traffic introduced by compressed video, as well as the variability of the throughput, delay, and loss properties of ...
详细信息
Provisioning network resources for multimedia streaming is complicated by the bursty, high-bandwidth traffic introduced by compressed video, as well as the variability of the throughput, delay, and loss properties of the Internet, and the lack of end-to-end control by any one service provider. To address these problems, we propose that proxies should perform online smoothing by transmitting frames into the client playback buffer in advance of each burst, to reduce network resource requirements without degradation in video quality. This paper describes the practical systems issues we have encountered in building a smoothing proxy service using off-the-shelf components, in the context of an MPEG-2/RTP streaming testbed.
Cooperation among various types of management functions is necessary to allow management functions to interwork in providing and using information services for systems management. To understand these tasks from the po...
详细信息
Cooperation among various types of management functions is necessary to allow management functions to interwork in providing and using information services for systems management. To understand these tasks from the point of view of cooperative working, this article discusses the requirements and presents the concept of cooperative system management.
The diversity of research and development work on agent technology has led to a strong distinction between mobile and intelligent agents. This paper presents an architecture aiming at providing a step towards the inte...
详细信息
ISBN:
(纸本)354064959X
The diversity of research and development work on agent technology has led to a strong distinction between mobile and intelligent agents. This paper presents an architecture aiming at providing a step towards the integration of these two aspects, concretely by providing an approach of dynamically embedding negotiation capabilities into mobile agents. In particular, the requirements for enabling automated negotiations including negotiation protocols and strategies, a plug-in component architecture for realizing such requirements on mobile agents, and the design of negotiation support building blocks as components of this architecture are presented.
In mobile collaborative applications, collaborators may move across heterogeneous environments. This paper proposes object models for seamless transition of collaborators across heterogeneous environments. This is ach...
详细信息
In mobile collaborative applications, collaborators may move across heterogeneous environments. This paper proposes object models for seamless transition of collaborators across heterogeneous environments. This is achieved by framing the various limitations of the environment as constraints and abstracting them into a constraint meta-object. Collaborator objects are dynamically customized by attaching the appropriate constraint meta-object based on the environment in which the collaborators are working. Remote customization of objects is achieved by 'distributed glue model'.
Currently, many multimedia or continuous media server system is under development on top of either workstations or high-end PCs clustered with high speed networking facilities. In this paper we introduce Crown, a cont...
详细信息
ISBN:
(纸本)0818672250
Currently, many multimedia or continuous media server system is under development on top of either workstations or high-end PCs clustered with high speed networking facilities. In this paper we introduce Crown, a continuous media server on clustered high performance PCs with Myrinet, fast network switching equipment, and then address CrownFS, a file system on top of Crown, to offer continuous media streams to many subscribers at the same time. For easy and rapid tuning of the performance of CrownFS, we prototyped it. Prototyping requires less efforts and costs than direct implementation. Also, more reliable system optimization is obtainable rather than simulation. By using the prototype, we measured the scalability of CrownFS according to disk access strategies.
暂无评论