Computers : Computer Architecture

This book contains selected papers on the language, applications, and environments of CafeOBJ, which is a state-of -the-art algebraic specification language. The authors are speakers at a workshop held in 1998 to commemorate a large industrial/academic project dedicated to CafeOBJ. The project involved more than 40 people from more than 10 organisations, of which 6 are industrial. The workshop attracted about 30 talks and more than 70 attendees. The papers in the book however, are either heavily revised versions presented at the workshop, to reflect recent advancements or research; or completely new ones, written especially for this book. In this regard, the book is not a usual postpublication after a workshop. Also, although it is a compendium of papers that are related to CafeOBJ, the book is not a manual, reference, or tutorial of CafeOBJ. Probably the best description is that it is a collection of papers that investigate how to use, or to make it easy to use, CafeOBJ. Reflecting the diverse nature of the project and its participants (most of the authors are participants to the project), the papers, put together, offer a comprehensive picture from this methodological perspective. Some papers deal with various advanced aspects of the language, such as rewriting logic and behavioural logic. For rewriting logic, a couple of significant applications were reported. In particular, UML, now considered de facto standard language for modelling systems, is the subject of one paper. For behavioural logic, new methodological guidelines are presented. Some papers shed new light on a more traditional paradigm in the language; order-sorted equational specifications. One paper, in particular, deal with a way to associate CafeOBJ with object-oriented programming. The other papers deal with environments for writing and vertifying specifications written in CafeOBJ. Underlying those papers are two major considerations: user interfaces for manipulating specifications, and systematic more...

Price: $88.95

This book proposes that usage-based charging schemes are essential to generate the incentives necessary for efficient operation of multiservice networks. The rapid development of network technology is enabling sophisticated new services and applications which demand new charging models. The same technology provides the means to operate the right charging schemes.Some of the work done in the European collaborative project CA$hMAN (Charging and Accounting Schemes in Multiservice ATM Networks). This project combined performance and economic models of network resource usage and cutomer utility to construct simple but effective charging schemes which were implemented and trialled in an advanced management platform. more...

Price: $107.00

This work focuses on the theory and applications of molecular modelling. A mathematical introduction, practice problems in every chapter, laboratory exercises and small research projects provide the student with the tools needed to succeed in computational chemistry. more...

Price: $94.95

Concentrates on the application of Computer simulation techniques to inorganic materials. This work describes the range of techniques used in modeling crystal structures. It also reviews the technical basis of relevant contemporary methodologies including minimization, Monte-Carlo, molecular dynamics, simulated annealing methods, and others. more...

Price: $175.00

A fascinating introduction to the art of 3D modelling for theatre designers. more...

Price: $43.95