ITC/USA 2012 Conference Proceedings / The Forty-Eighth Annual International Telemetering Conference and Technical Exhibition / October 22-25, 2012 / Town and Country Resort & Convention Center, San Diego, California / As data transport systems become exponentially larger and more complex, the need to simplify the level of user involvement in establishing the intercommunication pathways becomes increasingly vital to streamlined, effective mission management. The proliferation of open-architecture, modular approaches to data transport and multiplexing systems shows the need for a unified, high-level control scheme that helps to flatten the users' learning curve for increasingly sophisticated, expanding systems. Implementing a control package with the functionality described in this paper will improve the user experience by eliminating the need for low level hardware management, minimizing system network footprint and unifying this functionality for a diverse hardware package.

No description available.

No description available.

No description available.

A 2-dipath k-colouring of an oriented graph G is an assignment of k colours, 1,2, . . . , k, to the vertices of G such that vertices joined by a directed path of length two are assigned different colours. The 2-dipath chromatic number is the minimum number of colours needed in such a colouring. There are two possible models, depending on whether adjacent vertices must also be assigned different colours. For both models of 2-dipath colouring we develop the basic theory, including characterizing the oriented graphs that can be 2-dipath coloured using a small number of colours, finding bounds on the 2-dipath chromatic number, determining the complexity of deciding the existence of a 2-dipath k-colouring, describing a homomorphism model, and showing how to determine the 2-dipath chromatic number of tournaments and bipartite tournaments. / Graduate

No description available.

Bibliography: p. 143-150. / vii, 150 p. : ill. ; 30 cm. / Title page, contents and abstract only. The complete thesis in print form is available from the University Library. / Develops a model of orthogonal persistence for object-oriented languages. A type-safe model based on the Napier88 Language Environment is proposed and as example, a possible design for a persistent version of C++ is explored. The model uses a persistent object store to support orthogonal persistence in the language. To accomodate the needs of distribution, also develops an extended model of distributed stores suitable for wide-area networks. / Thesis (Ph.D.)--University of Adelaide, Dept. of Computer Science, 1999

Bibliography: p. 143-150. / vii, 150 p. : ill. ; 30 cm. / Title page, contents and abstract only. The complete thesis in print form is available from the University Library. / Develops a model of orthogonal persistence for object-oriented languages. A type-safe model based on the Napier88 Language Environment is proposed and as example, a possible design for a persistent version of C++ is explored. The model uses a persistent object store to support orthogonal persistence in the language. To accomodate the needs of distribution, also develops an extended model of distributed stores suitable for wide-area networks. / Thesis (Ph.D.)--University of Adelaide, Dept. of Computer Science, 1999

Formal methods are increasingly accepted for developing software systems, however their application to user-interface development is less common. In this thesis, we demonstrate the utility of formal object-oriented techniques for specifying, designing and implementing user-interfaces. The specification of a user-interface describes user-perceivable operations and information structures for an interactive system in an implementation-independent way. Operations of a user-interface specification define tasks. User-interfaces can be specified by a system of communicating agents where some agents are presented to users. An agent and its presentation together define an interactor. Defining the presentation of interactors is a design concern. Widgets are common re-usable interactors for which the presentation is usually well defined. Definitions of widgets may be stored in a library. We illustrate the characteristics of notations for interactor based specification using the Object-Z language and demonstrate using interactors from a widget library. Formal methods enable a "model-based" approach to be taken to the development of user-interface designs. A specification in terms of widgets is derivable from an abstract interactor-based specification. A corresponding user-interface design is usually easily identified from a widget-based specification. Interactor-based user-interface designs can be used to define an architecture for a corresponding system implementation. Derivation of a widget-based specification from an abstract specification corresponds to a task decomposition (i.e., the abstract and widget-based specifications enable the same tasks to be performed, although the operations involved differ). Task decomposition defines a compatibility relation between user-interface specifications. We give "specification patterns" to assist incrementally transforming an abstract user-interface specification to an equivalent specification in terms of widgets.

Thesis (M.S.)--University of Texas at Dallas, 2007. / Includes vita. Includes bibliographical references (leaves 101-105)