منابع مشابه
Algebraic Specification of Documents
According to recent research, nearly 95 percent of a corporate information is stored in documents. Further studies indicate that companies spent between 6 and 10 percent of their gross revenues printing and distributing documents in several ways: web and cdrom publishing, database storage and retrieval and printing. In this context documents exist in some different formats, from pure ascii file...
متن کاملAlgebraic Speciication of Documents
It is becoming normal that a document should serve several purposes. However, the majority of available text processors is purpose-oriented, reducing the necessary exibility and reusability of documents. Some waste of time arises from adapting the same text to each diierent purpose, when this task could be done automatically (from the rst version of the document) with an appropriate system. Thi...
متن کاملAlgebraic Specification of Reactive Systems
We present an algebraic method for the specification of reactive distributed systems. We introduce basic operators on specifications making the set of specifications into a specification algebra. This allows us to work with an algebra of system specifications in analogy to the process algebras that provide algebras of reactive programs. However, in contrast to process algebras we work with a co...
متن کاملSpecification and Scheduling of Adaptive Multimedia Documents
Multimedia documents are of importance in several application areas, such as education, training, advertising and entertainment. Since multimedia documents may comprise continuous media, such as audio and video, the presentation of those documents may require a significant amount of processing and network resources. The amount of resources available during a presentation depends on the system c...
متن کاملTopological Methods for Algebraic Specification
We introduce an algebraic construction for the Hausdorff extension H(A) of a many-sorted universal algebra A with respect to a family T of Hausdorff topologies on the carrier sets of A. This construction can be combined with other algebraic constructions, such as the initial model construction, to provide methods for the algebraic specification of uncountable algebras, e.g. algebras of reals, f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1998
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(97)00274-0