Results 221 to 230 of about 80,665 (262)

On modular transformation of structural content

Proceedings of the 2004 ACM symposium on Document engineering, 2004
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. Based on the parametric content model, we develop a model of modular transformation of XML documents. A fold operator is used to capture a class of functions that consume valid XML document trees in a bottom-up matter. Similarly, an unfold
Tyng-Ruey Chuang, Jan-Li Lin
openaire   +1 more source

Modular Tree Structures

IEEE Transactions on Computers, 1968
Abstract—A new class of modular networks, called "modular tree networks," is presented. In these circuits every input of the first-level gate is connected to the output of a different second-level unit, and, in general, every input of every ith-level unit is connected to the output of a different (i+1)th-level unit.
openaire   +3 more sources

The structure of modular program

Communications of the ACM, 1980
Choosing the right program structures can lead to better programs, says Joshua Turner. He advocates modular design to make large programs more manageable. Turner reviews the possible structural relationships between the modules of a program and generates a tentative morphology of program structure types.
openaire   +1 more source

Modular Counting and Substitution of Structures

Combinatorics, Probability and Computing, 2005
The aim of this paper is to point to a difference between binary and hyperary structures. The modular counting functions of a class of structures defined by a sentence of second-order monadic logic with equality, based on binary relations, are ultimately periodic. However, this is not the case for sentences based on quaternary relations.
openaire   +2 more sources

The Modular Structure of Complex Systems

IEEE Transactions on Software Engineering, 1985
This paper discusses the organization of software that is inherently complex because of very many arbitrary details that must be precisely right for the software to be correct. We show how the software design technique known as information hiding, or abstraction, can be supplemented by a hierarchically structured document, which we call a module guide.
David Lorge Parnas, Paul C. Clements, David M. Weiss 0001   +2 more
openaire   +2 more sources

The modular structure of physical theories

Synthese, 2007
Any advanced theory of physics contains modules defined as essential components that are themselves theories with different domains of application. Different kinds of modules can be distinguished according to the way in which they fit in the symbolic and interpretive apparatus of a theory.
openaire   +1 more source

Modular specification and checking of structural dependencies

Proceedings of the 12th annual international conference on Aspect-oriented software development, 2013
Checking a software's structural dependencies is a line of research on methods and tools for analyzing, modeling and checking the conformance of source code w.r.t. specifications of its intended static structure. Existing approaches have focused on the correctness of the specification, the impact of the approaches on software quality and the ...
Ralf Mitschke, Michael Eichberg, Mira Mezini, Alessandro Garcia 0001, Isela Macia Bertran   +4 more
openaire   +1 more source

Modular lattice structures

Nature Reviews Materials
Ariane Vartanian, Vartanian Ariane
exaly   +2 more sources

Modularity and multi-microprocessor structures

Conference record of the 7th annual workshop on Microprogramming - MICRO 7, 1974
There are significant advantages to a modular approach to system design. As semiconductor technology has evolved the complexity of what a designer considers as a design primitive has also grown. Systems constructed from the next generation of module sets will bear a strong resemblance to multiprocessor structures. A taxonomy of the multiprocessor space
openaire   +1 more source