Image inpainting is an artistic procedure to recover a damaged painting or picture. In this paper, we propose a novel approach for image inpainting. In this approach, the Mumford-Shah (MS) model and the level set meth...
详细信息
This paper describes a data replication service for large-scale, data intensive applications whose results can be shared among geographically distributed scientists. We introduce two kinds of data replication techniqu...
详细信息
Wireless sensor networks aim at a special kind of ad hoc networks, exposing an energy-constrained distributed computing environment. Proposed protocols have tried to incorporate power management schemas of the likes o...
详细信息
Globally distributed software development (GSD) and agile methods are two current and important trends in software and systems engineering. While agile methods seem to cope well with increasingly changing business env...
详细信息
Globally distributed software development (GSD) and agile methods are two current and important trends in software and systems engineering. While agile methods seem to cope well with increasingly changing business environments, it is far from obvious how these light-weight processes can best contribute to GSD. In this paper, method rationale is proposed as an analytical tool to understand the values that underpin agile methods and how these map to the GSD domain. Specifically, the paper presents an initial analysis of the values and goals embraced by the 'agile manifesto' and compares briefly with partial results from an ongoing study on the use of agile methods in GSD.
Cooperative caching is a very important technique for efficient data dissemination and sharing in mobile ad hoc networks (MANETs). Many applications have requirements on the consistency of the content cached on differ...
详细信息
Service-Oriented Computing (SOC) is considered as a new computing paradigm after the Object-Oriented Computing paradigm. It utilizes services as fundamental elements for applications/solutions. Services are autonomous...
详细信息
ISBN:
(纸本)1424403251
Service-Oriented Computing (SOC) is considered as a new computing paradigm after the Object-Oriented Computing paradigm. It utilizes services as fundamental elements for applications/solutions. Services are autonomous platform-independent computational elements that can be described, published, discovered, orchestrated and programmed using XML for the purpose of developing massively distributed interoperable applications. Web Services technology is part of the SOC paradigm and can be considered as an implementation of the SOC model. Web services are featured with application, platform and provider independence. They provide an appropriate approach for building open large-scale application environments. In such environments, services are not treated as isolated and one-time affairs but rather as elements of an interactive, dynamic and collaborative architecture. Service collaboration within or across environments is modelled in terms of supported transactions or processes that are subject to norms or protocols specified for certain business domains. Services are thereby orchestrated vertically within one environment, or horizontally across multiple environments. As a result, an individual environment streamlines services in terms of internal transactions while restrains its function scope to be highly specific to the targeted user group. Multiple environments collaborate in order to extend their business chains. Web services have been supported by major IT vendors through their commercial platforms such as Microsoft's .NET and SUN's J2EE. Web services have had quick evolution and broad acceptance. However, there are still a number of issues that limit the wide applications of Web services in industry. Current Web services technologies lack semantic description, generic service model, dynamic composition, and flexible cooperation strategies. software agents have been proved to handle sophisticated interaction patterns. Agent-orientation is an appropriate design paradi
Defined softwareengineering processes help to perform and guide softwareengineering course projects. However, several difficult issues are involved in designing a software process for this purpose. This design is ev...
详细信息
ISBN:
(纸本)1595933751
Defined softwareengineering processes help to perform and guide softwareengineering course projects. However, several difficult issues are involved in designing a software process for this purpose. This design is even harder when it must suit time-constrained course projects. Here, we discuss several issues concerning such processes, focusing on an educational setting.
Grid infrastructure supports services on demand. Computational grids connected in a service oriented way thus forming virtual enterprises need several security measures to be undertaken. We have worked on several secu...
详细信息
The earlier errors are found, the less costly they are to fix. This also holds true of errors in specifications. While research into Static Program Verification (SPV) in general, and Extended Static Checking (ESC) in ...
详细信息
ISBN:
(纸本)159593586X
The earlier errors are found, the less costly they are to fix. This also holds true of errors in specifications. While research into Static Program Verification (SPV) in general, and Extended Static Checking (ESC) in particular, has made great strides in recent years, there is little support for detecting errors in specifications beyond ordinary type checking. This paper reports on recent enhancements that we have made to ESC/Java2, enabling it to report errors in JML specifications due to (method or Java operator) precondition violations and this, at a level of diagnostics that is on par with its ability to report such errors in program code. The enhancements also now make it possible for ESC/Java2 to report errors in specifications for which no corresponding source is available. Applying this new feature to, e.g., the JML specifications of classes in java.*, reveals over 50 errors, including inconsistencies. We describe the adjustment to the assertion semantics necessary to make this possible, and we provide an account of the (rather small) design changes needed to realize the enhancements. Copyright 2006 ACM.
In this paper, we propose a general transform for wavelet based data compression in wireless sensor networks. By employing a ring topology, our transform is capable of supporting a broad scope of wavelets rather than ...
详细信息
In this paper, we propose a general transform for wavelet based data compression in wireless sensor networks. By employing a ring topology, our transform is capable of supporting a broad scope of wavelets rather than specified ones. At the same time, the scheme is capable of simultaneously exploring the spatial and temporal correlations among the sensory data. Furthermore, the ring based topology is in particular effective in eliminating the "border effect" generally encountered by wavelet based schemes. Theoretically and experimentally, we show the proposed wavelet transform can effectively explore the spatial and temporal correlation in the sensory data and provide significant reduction in energy consumption compared to other schemes.
暂无评论