scholarly journals Structural Invariants in XForms

Author(s):  
Steven Pemberton

XForms is a declarative XML-based programming language for writing applications for the web and elsewhere. One of the central aspects of XForms is invariants that describe relationships between values, such that if a value changes or is changed, its related values specified in the invariants get updated automatically. This is much like how spreadsheets work, though more general. A major advantage of this approach is that much administrative detail is taken out of the hands of the programmer, and done automatically: the programmer specifies the relationships, and the computer does the work. However, XForms in its current incarnation only allows invariants to be placed between simple content values, even though there are important relationships that could be specified over data structures as a whole. This paper explores the possibilities for extending the mechanism to more general cases.

Author(s):  
Muchammad Ismail Hamzah

In accordance with the technological advances of web-based information delivery via the internet has more value, because the information can be delivered easily, quickly,  spacious and interactive. Because this way, information is simply inserted into the web and within seconds the information can be accessed globally.  Submission of this information has not been used in Ngebruk Islamic Junior High School, Sumberpucung District, Malang Regency. Submission of the information in these schools still use manual way, such as by mail, bulletin boards, or orally. Surely this way less effective and efficient, since it requires a lot of expenses such as the purchase of paper, printing machine and maintenance, ink, and its scope was limited to the scope of the school.To reduce the above problems, the delivery of information in this school need to use web media created with the PHP programming language and MySQL. PHP is a programming language that is used to allow users to process information on the web, while MySQL is the software used to store the information on the web. Once the web is run online, the school entered information to the web, can be accessed via intenet by anyone without the limited space and time


2017 ◽  
Vol 19 (1) ◽  
pp. 46-49 ◽  
Author(s):  
Mark England ◽  
Lura Joseph ◽  
Nem W. Schlect

Two locally created databases are made available to the world via the Web using an inexpensive but highly functional search engine created in-house. The technology consists of a microcomputer running UNIX to serve relational databases. CGI forms created using the programming language Perl offer flexible interface designs for database users and database maintainers.


2019 ◽  
Vol 12 (1) ◽  
pp. 1-10
Author(s):  
Dony Novaliendry ◽  
Yuli Pusparani

Tourism is one of the activities carried out by humans that has a purpose as entertainment. Human who travel are referred to as tourist. West Sumatra Province is one of the regions with the best tourism is sea tourism and land tourism. Marine tourism consists of beach tourism, island tourism and lake tourism, while mainland tourism consists of tourist panorama, mountain tours, hill tours and others. However, only a portion of West Sumatra's tourist attractions are known to tourists, because of this information is obtained so that there are still many tourist attractions in West Sumatra unknown to tourists from outside the West Sumatra region. To overcome this problem, a system is needed that can be used to support the electoral decision-making process in West Sumatra. This system is built on the Web, using the PHP programming language and Laravel Framework and MySQL as a Database. The method used in this system is the Elimination of Et Choix Traduisant la Realite (ELECTRE). The use of Elimination Et Choix Traduisant la REalite (ELECTRE) can help provide information in West Sumatra, which is in accordance with the wishes of tourists according to the specified criteria. With the help of this system, the information obtained will make it easier for tourists to find tourist attractions.


2016 ◽  
Author(s):  
Jean-Michel Follin ◽  
Maïté Fahrasmane ◽  
Élisabeth Simonetto

More and more historical data are available on the web. In France, old cadastral maps are regularly published by the “départements”. Such material is relevant to various applications (on-the-field search of specific objects such as old boundary stakes, historical studies of demography, human activities, land cover…). The GeF laboratory is working on the development of a complete methodological toolchain to vectorise, correct and analyse cadastral parcels and their evolution, using open source software and programming language only (QGIS, GDAL, Python). This article details the use of a part of this toolchain - georeferencing old cadastral data - on parcels located near the Loir river, in two villages of southern Sarthe: Vaas and Aubigné-Racan. After a presentation of our methodological toolchain, we will discuss our first results.


2016 ◽  
Author(s):  
Jean-Michel Follin ◽  
Maïté Fahrasmane ◽  
Élisabeth Simonetto

More and more historical data are available on the web. In France, old cadastral maps are regularly published by the “départements”. Such material is relevant to various applications (on-the-field search of specific objects such as old boundary stakes, historical studies of demography, human activities, land cover…). The GeF laboratory is working on the development of a complete methodological toolchain to vectorise, correct and analyse cadastral parcels and their evolution, using open source software and programming language only (QGIS, GDAL, Python). This article details the use of a part of this toolchain - georeferencing old cadastral data - on parcels located near the Loir river, in two villages of southern Sarthe: Vaas and Aubigné-Racan. After a presentation of our methodological toolchain, we will discuss our first results.


2016 ◽  
Author(s):  
Jean-Michel Follin ◽  
Maïté Fahrasmane ◽  
Élisabeth Simonetto

More and more historical data are available on the web. In France, old cadastral maps are regularly published by the “départements”. Such material is relevant to various applications (on-the-field search of specific objects such as old boundary stakes, historical studies of demography, human activities, land cover…). The GeF laboratory is working on the development of a complete methodological toolchain to vectorise, correct and analyse cadastral parcels and their evolution, using open source software and programming language only (QGIS, GDAL, Python). This article details the use of a part of this toolchain - georeferencing old cadastral data - on parcels located near the Loir river, in two villages of southern Sarthe: Vaas and Aubigné-Racan. After a presentation of our methodological toolchain, we will discuss our first results.


Author(s):  
Igor Titov ◽  
Evgeny Titov

Most of currently existing laboratory servers of remote labs were built fully or partially with LabVIEW programming language from National Instruments. While proving to be the best tool for fast development of excellent SCADA and data acquisition applications, it appeared to be inadequate when it comes to deploying an application to the web. This paper will analyze the tools that can be used for accomplishing this task in the remote laboratories. Various National Instruments and third parties technologies will be compared. It will be shown that LabVIEW application serving as laboratory server can easily be deployed on the standard pluginless web-page without any modifications in LabVIEW code with WebPager.


2014 ◽  
Vol 20 (12) ◽  
pp. 640-645
Author(s):  
Yeomyeong Woo ◽  
Jiwoong Bang ◽  
Jaemin Song ◽  
Jinyeong Yoo ◽  
Sangjun Lee

2014 ◽  
Vol 6 (2) ◽  
pp. 147-157
Author(s):  
Konrad Grzanek

Abstract Directed acyclic graphs and trees in particular belong to the most extensively used data structures. Visualizing them properly is a key to a success when developing complex algorithms that make use of them. Textual visualizations a la UNIX tree command is essential when the urge is to deal with large trees. Our aim was to design a library that would exploit this approach and to make an implementation of it for a purely functional programming language. The library uses monads to print directly into an output stream or to generate immutable Strings. This paper gives a detailed overview of the solution.


Sign in / Sign up

Export Citation Format

Share Document