The complexity of web application construction is increasing at an astounding rate. Developing for the web typically crosses multiple application tiers in a variety of languages, which can result in disjoint code base...
详细信息
ISBN:
(纸本)9781450327688
The complexity of web application construction is increasing at an astounding rate. Developing for the web typically crosses multiple application tiers in a variety of languages, which can result in disjoint code bases. This lack of standardization introduces new challenges for reasoning. In this paper we introduce Verily, a new web framework for Java that supports the development of verifiable web applications. Rather than requiring that programs be verified in separate a posteriori analysis, Verily supports construction via a series of Recipes, which are properties of an application that are enforced at compile time. In addition to introducing the Verily framework, we also present two Recipes: the Core Recipe, an application architecture for web applications designed to replace traditional server-side model view controller, and the Global Mutable State Recipe, which enables developers to use sessions within their applications without resorting to the use of unrestricted global mutable state. Demo Video: http://***/watch?v=TjRF7E4um3c
In this paper, we describe the design of web service with model-view-controller for implement the system of classify type of rice. This idea using LDA and SVM to estimate a rice surface area, and then we present this ...
详细信息
ISBN:
(纸本)9781450366021
In this paper, we describe the design of web service with model-view-controller for implement the system of classify type of rice. This idea using LDA and SVM to estimate a rice surface area, and then we present this idea by create web service architecture and present prototype used in mobile. The process of making a model are choosing the literature of rice attribute compare with a hundred pieces of rice in different sizes and type, and then analyzed all of example by create web service that implement under spring MVC idea. In testing method of technique, we create prototype of web service and test function by user. The result shows that the model gives accurate result with very small errors and is also flexible to any change in all process.
Mobile applications are software systems that are highly used by all modern people;a vast majority of those are intricate systems. Due to their increase in complexity, the architectural pattern used plays a significan...
详细信息
ISBN:
(纸本)9789897583797
Mobile applications are software systems that are highly used by all modern people;a vast majority of those are intricate systems. Due to their increase in complexity, the architectural pattern used plays a significant role in their lifecycle. Architectural patterns can not be enforced on a codebase without the aid of an external tool;with this idea in mind, the current paper describes a novel technique for an automatically analysis of model view controller mobile application codebases from an architectural point of view. The analysis takes into account the constraints imposed by this layered architecture and offers insightful metrics regarding the architectural health of the codebase, while also highlighting the architectural issues. Both open source and private codebases have been analysed by the proposed approach and the results indicate an average accuracy of 89.6% of the evaluation process.
Ordinarily, the process of wiring application models to portlet views presupposes a priori knowledge of the mechanisms of portlet construction and aggregation, which entails a steep learning curve for corporate develo...
详细信息
ISBN:
(纸本)9780889866416
Ordinarily, the process of wiring application models to portlet views presupposes a priori knowledge of the mechanisms of portlet construction and aggregation, which entails a steep learning curve for corporate developers who wish to publish content to portals. Herein, we describe a standards-based framework that enables on-the-fly production, consumption and aggregation of portlets, driven by models existing in the application space. Its building blocks are atomic units of data represented in terms of UML. At design time, this library of models is bound to entities in the application domain and to portlets in the portal space. At coding time, developers selectively annotate their content to assert whether it is publishable and how it should be classified. At run time, the framework uses a model publisher to deliver that content, along with its classification items, as a web service to a portlet publisher hosted in a portlet container, which wires it to an adaptive portlet that it generates and delivers as a WSRP producer to a portlet aggregator hosted in a possibly different container, which in turn binds a WSRP consumer to it, and aggregates it into a portal application, based upon its place in the grand scheme of things.
This paper develops a novel approach to parsing NMEA 0183 Standard streams on mobile information devices. The parser architecture is extensible, based on the model view controller design pattern. It enables applicatio...
详细信息
ISBN:
(纸本)9780769530994
This paper develops a novel approach to parsing NMEA 0183 Standard streams on mobile information devices. The parser architecture is extensible, based on the model view controller design pattern. It enables application layers to ''vlug-in" vendor- and/or application-specific protocols, reusing the pattern and saving time and labor. The parser is further more "self-healing," namely, to improve robustness and recover gracefully from errors. We analyze the parser design which we compare with other parsers in the public domain. We also measure the space and time characteristics using data from a GPS transceiver connected by Bluetooth to a mobile information device.
By taking into account the requirement of smart education platform, it gives the implementation of data management with component-based software development (CBSD). First, the concept components were extracted as reus...
详细信息
ISBN:
(纸本)9783642549274;9783642549267
By taking into account the requirement of smart education platform, it gives the implementation of data management with component-based software development (CBSD). First, the concept components were extracted as reuse goal, and then a facet-based model was established to describe components: later on components were developed in model view controller (MVC) pattern which makes components have relatively independent interfaces to support software reuse. And an example was used to show the development process, which successfully realized the effective data management. The result shows that this method used in smart education has achieved good performance in practice, and components are reused in systems successfully, in this way, it improves the development efficiency which contributes to data management.
The diversity of the construction industry, its range of specialized services, and the requirements of its numerous participants make it one of the most complex industries. This paper presents a framework to implement...
详细信息
ISBN:
(纸本)9789881925312
The diversity of the construction industry, its range of specialized services, and the requirements of its numerous participants make it one of the most complex industries. This paper presents a framework to implement a geographic information system (GIS) in construction supply chain management (SCM) incorporating web mapping services to enhance the supply chain process. The proposed system is helpful in locating the nearest suppliers when selecting a particular material needed for construction. The first part of the paper presents information about the traditional supply chain model and compares this with the proposed GIS based SCM. The second part focuses on implementing a web based mapping application and a framework to integrate geodetic support to the traditional supply chain system. This process is a guide to locating the nearest suppliers and provides the ability to feed the information required to the project participants in different locations. A geographic information database is generated that has the ability to store, manipulate, and manage the geographical data of the suppliers manufacturing the building materials. Geodetic supply chain management systems in engineering cover all movements and storage of materials for work in process recording, and for finished products, from the point of origin to the construction site.
Currently, there are a lot of frameworks to build web applications working with the architectural pattern MVC (model view controller) [1]. One interesting approach is to use the 3-layer model [2], which allows identif...
详细信息
The U. S. Navy currently bases the majority of our contact management decisions around a time and manning intensive paper-based Maneuvering Board process. Additional manning requirements are involved on many Naval Shi...
详细信息
The U. S. Navy currently bases the majority of our contact management decisions around a time and manning intensive paper-based Maneuvering Board process. Additional manning requirements are involved on many Naval Ships in order to accurately convey the information to the OOD and/or the Commanding Officer. When given situations where there exist multiple contacts, the current system is quickly overwhelmed and may not provide Decision-Makers a complete and accurate picture in a timely manner. The purpose of this research is to implement a stand-alone system that will provide timely and accurate contact information for Decision-Makers. By creating a reliable, automated system in a format that is familiar to all Surface Warfare Officers we will provide the Navy with a valuable decision-making tool, while increasing ease of data exchange and reducing current redundancies and manning inefficient practices. Our software design is based upon the Unified modeling Language (UML). UML allows us to construct a software model that is supported by the Ada programming language. Our design is based upon these fundamental tenants: Non- Operating System dependent, Non-Hardware System dependent, Extensible and Modular design. Ada provides a certified compiler, making our code robust and assuring the I²buyerI³ that the program does what we advertise it to do.
暂无评论