Control systems are becoming ever more commonly used in everyday life. This is true both in industry and in the domestic domain, in the form of e.g., smart home systems. The quality of such systems can be increased by using formal verification methods, such as the model checking technique, to make sure that the designed system fulfills all user…

This paper defines the methods of educating the information integration by the use of ontologies. For this there are two various architecture are central and peer-to-peer data integration. A ciis generally has a worldwide mapping, which gives the client a uniform interface to get to data put away in the information sources. Conversely, in piis,…

Teaching about wave structure and function is a critical element of any physical science curriculum and supported by "Next Generation Science Standards (NGSS)" PS4: Waves and Their Applications in Technologies for Information Transfer. To support students' learning of these ideas, teachers often rely on developing graphic models of a…

The rapid expansion of computer science (CS) instruction in primary and secondary education has highlighted the shortage of teachers qualified to teach the subject. A key strategy for building CS teaching capacity has been preparing teachers of other subjects (e.g., math, technology applications, business) to teach introductory CS through…

The Education Program Provider Chair's objective was to create a student legacy artifact archival retrieval system. The goal was to have the database system operational by Spring Semester, 2019. The purpose of the new system was to house and index student and pre-service candidate product across performance levels reflective of the program's key…

The rise of apps and mobile devices has opened the door to small, dedicated software programs that are focused on singular tasks. From the author's perspective as head of digital access and web service manager at Montana State University, these apps offered an opportunity to build a focused digital service aimed at allowing someone to enter a…

The author recently created a presentation using HTML5 based on a tutorial put together by Marcin Wichary. The example presentation is part proof-of-concept, part instructional piece, and it is part of a larger site on HTML5 and how one can use it to create rich Web-based applications. The more he delved into HTML5, the more he found that it was…

In the championship playoffs of professional learning tools, this author contends that there is a clear-cut victor. Customizable, platform-agnostic, able to circumvent filters--both browser and network-imposed--RSS is the best professional learning tool. Reading sites via RSS has appeal for those who want the raw information. With a well-honed…

The Securities and Exchange Commission (SEC) has recently announced a proposal that will require all public companies to report their financial data in Extensible Business Reporting Language (XBRL). XBRL is an extension of Extensible Markup Language (XML). Moving to a standard reporting format makes it easier for organizations to report the…

Ever since the PLATO system of the 1960's, CALL (computer assisted language learning) has had a major focus on providing self-paced, auto-correcting exercises for language learners to practice their skills and improve their knowledge of discrete areas of language learning. The computer has been recognized from the beginning as a patient and…

Data integration is one of the single most challenging tasks any district can face. Fortunately for school districts throughout the country with data scattered in disparate systems, an open specification known as the Schools Interoperability Framework (SIF) is mitigating that challenge. SIF has emerged as a cornerstone of K-12 data warehousing,…

Discusses how to translate your data from Standard Generalized Markup Language (SGML) to other formats. Explores key features and concepts of tools that address this problem and relates the problem to the Document Style Semantics and Specification Language (DSSSL) standard. Also investigates translation problems and the roles of SGML and DSSSL in…

Describes Document Style Semantics and Specification Language (DSSSL), an international standard for the formatting and processing of SGML documents. Outlines DSSSL structure as the key to enabling interchange of formatting information in a standardized non-proprietary format, the processing model, areas of standardization, and DSSSL language.…

Document control is an issue for organizations that use SGML/HTML. The prevalent approach is to apply the same techniques to document elements that are applied to full documents, a practice that has led to an overlap of electronic publishing and document management. Lists requirements for the management of SGML/HTML documents. (PEN)

Describes Extensible Markup Language (XML), a subset of the Standard Generalized Markup Language (SGML) that is designed to make it easy to interchange structured documents over the Internet. Topics include Document Type Definition (DTD), components of XML, the use of XML, text and non-text elements, and uses for XML-coded files. (LRW)