Author : William Roberts Mallgren
Publisher : MIT Press (MA)
Page : 296 pages
File Size : 26,78 MB
Release : 1983
Category : Computers
ISBN :
Documents a method for specifying all parts of interactive graphics programming languages. Contributions include a language framework that facilitates specification & a new specification technique that encompasses interactive control constructs.
Author : William R. Mallgren
Publisher :
Page : 0 pages
File Size : 46,20 MB
Release : 1985
Category :
ISBN :
Author : Philippe Palanque
Publisher : Springer Science & Business Media
Page : 382 pages
File Size : 47,43 MB
Release : 2012-12-06
Category : Mathematics
ISBN : 1447134257
Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This volume examines whether these benefits also apply to the field of human-computer interface design and implementation, and whether formal methods can offer useful support in usability evaluation and obtaining more reliable implementations of user requirements. Its main aim is to compare the different approaches and examine which particular type of implementation and problem each one is best suited to. To enable the reader to compare and contrast the approaches as easily as possible, each one is applied to the same case study: the specification of an ideal Netscape-like web browser and html page server. The resulting volume will provide invaluable reading for final year undergraduate and postgraduate courses on user interfaces, user interface design, and applications of formal methods.
Author : Enno Scholz
Publisher : BoD – Books on Demand
Page : 337 pages
File Size : 40,89 MB
Release : 2003
Category :
ISBN : 3833001917
Author : Tamiya Onodera
Publisher : Springer Science & Business Media
Page : 114 pages
File Size : 15,24 MB
Release : 1990-04-04
Category : Computers
ISBN : 9783540523956
The 18 research articles of this volume discuss the major themes that have emerged from mathematical and statistical research in the epidemiology of HIV. The opening paper reviews important recent contributions. Five sections follow: Statistical Methodology and Forecasting, Infectivity and the HIV, Heterogeneity and HIV Transmission Dynamics, Social Dynamics and AIDS, and The Immune System and The HIV. In each, leading experts in AIDS epidemiology present the recent results. Some address the role of variable infectivity, heterogeneous mixing, and long periods of infectiousness in the dynamics of HIV; others concentrate on parameter estimation and short-term forecasting. The last section looks at the interaction between the HIV and the immune system.
Author : D.B. Arnold
Publisher : Butterworth-Heinemann
Page : 283 pages
File Size : 33,80 MB
Release : 2014-05-20
Category : Computers
ISBN : 1483103064
ISO Standards for Computer Graphics: The First Generation discusses the expected standards in the quality of computer graphics; the aspects and examples of said standards; and the materials from the standards being described. The book is divided into six parts. Part 1 covers topics such as the applicability of first-generation ISO standards; software architecture; application program interface, device interface, metafile, archive, and language binding standards; and the ISO and its related bodies. Part 2 deals with topics such as output primitives and attributes, coordinate systems, and storage mechanisms. The third part talks about language bindings, encodings, and formal specifications. The fourth part tackles validation and testing; conformance testing of graphic standards; and the registration of graphical items. The book also discusses the status and future direction of ISO standards for computer graphics; it also presents in the last part the bibliography of the included topics, glossary on related bodies, and the formal specification of a part of GKS. The text is recommended for computer engineers, IT experts, and graphic designers who would like to know the ISO standards for computer graphics and its implications in their practice.
Author : Gerald Garcia
Publisher : Springer Science & Business Media
Page : 451 pages
File Size : 43,73 MB
Release : 2012-12-06
Category : Computers
ISBN : 3642762867
This book is a collection of several tutorials from the EUROGRAPHICS '90 conference in Montreux. The conference was held under the motto "IMAGES: Synthesis, Analysis and Interaction", and the tutorials, partly presented in this volume, reflect the conference theme. As such, this volume provides a unique collection of advanced texts on 'traditional' com puter graphics as well as of tutorials on image processing and image reconstruction. As with all the volumes of the series "Advances in Computer Graphics", the contributors are leading experts in their respective fields. The chapter Design and Display of Solid Models provides an extended introduction to interactive graphics techniques for design, fast display, and high-quality rendering of solid models. The text focuses on techniques for Constructive Solid Geometry (CSG). The follow ing topics are treated in depth: interactive design techniques (specification of curves, surfaces and solids; graphical user interfaces; procedural languages and direct manipulation) and display techniques (depth-buffer, scan-line and ray-tracing techniques; CSG classification techniques; efficiency-improving methods; software and hardware implementations).
Author : Fabio Paterno
Publisher : Springer Science & Business Media
Page : 443 pages
File Size : 28,28 MB
Release : 2012-12-06
Category : Computers
ISBN : 3642871151
Making systems easier to use implies increasingly complex management of communication between users and applications. An increasing part of the application program is devoted to the user interface. In order to manage this complexity, it is very important to have tools, notations, and methodologies that support the designer's work during the refinement process from specification to implementation. The purpose of this proceedings of the first (1994) Eurographics workshop on this area is to review the state of the art. It compares the different existing approaches in order to identify the principal requirements and the most suitable notations and methods, and indicates the relevant results.
Author : Rae A. Earnshaw
Publisher :
Page : 1274 pages
File Size : 14,42 MB
Release : 1988
Category : Computer graphics
ISBN :
This volume provides an analysis and exposition of the theoretical bases for computer graphics and CAD in order to give our understanding and exploitation of them a more rigorous and comprehensive basis. This bridging of the gap between theory and practice in a systematic and detailed way is of great interest at the present time. The extensive and detailed reference material in this volume has not been published previously. The wide range of the material provides the reader with a standard reference book.
Author : Selim G. Akl
Publisher : Springer Science & Business Media
Page : 550 pages
File Size : 43,32 MB
Release : 1990
Category : Coding theory
ISBN : 9783540535041
This volume contains selected and invited papers presented at the International Conference on Computing and Information, ICCI '90, Niagara Falls, Ontario, Canada, May 23-26, 1990. ICCI conferences provide an international forum for presenting new results in research, development and applications in computing and information. Their primary goal is to promote an interchange of ideas and cooperation between practitioners and theorists in the interdisciplinary fields of computing, communication and information theory. The four main topic areas of ICCI '90 are: - Information and coding theory, statistics and probability, - Foundations of computer science, theory of algorithms and programming, - Concurrency, parallelism, communications, networking, computer architecture and VLSI, - Data and software engineering, databases, expert systems, information systems, decision making, and AI methodologies.
