Search results

Four well‐established, successful and expanding UK sensors firms, and six small but ambitious ones (the latter all recipients of DTI SMART Awards), feature in case studies undertaken with the support of the DTI Advanced Sensors Technology Transfer Programme. These studies have two objectives: to pick out some real UK successes, and to encourage the present generation of sensors researchers to consider establishing a new firm around their work. The first four case studies were described in Sensor Review, Vol. 12 No. 3.

The nature of information retrieval applications, the Z39.50 protocol, and its relationship to other OSI protocols are described. Through Z39.50 a client system views a remote server's database as an information resource, not merely a collection of data. Z39.50 allows a client to build queries in terms of logical information elements supported by the server. It also provides a framework for transmitting queries, managing results, and controlling resources. Sidebars describe the Z39.50 Implementors Group, the Z39.50 Maintenance Agency, and international standards for OSI library application protocols.

Peter Ongley has joined Alpha Metals as Manager of the company's Advanced Products Division. He will be responsible for the technical support and marketing of polymer and silica‐glass die attach adhesives, superconductors, Gel‐Packs (chip carriers) and the advancement of related product ranges.

Despite recent economic gloom, Bolton based Vantage Circuit Products Ltd have achieved continued growth and have recently appointed Bernard Mulhall as Sales Manager responsible for their rapidly developing business in chemicals and materials for the electronics industry in the South of England.

David Tuffield, former UK marketing manager for Augat/Isotronics, has been appointed European marketing manager to head the company's plans to increase penetration into this expanding hybrid micropackaging industry. He will be responsible for the complete marketing and sales effort for micropackaging products providing the interface between US manufacturing facilities and Augat subsidiary product managers.

IT IS TO BE hoped that by the time these words are being read the dispute over the Electricians' Union and the TUC will have been solved; and, we hope, with satisfaction to both parties.

Four well established, successful and expanding UK sensors firms, and six small but ambitious ones (the latter all recipients of DTI SMART Awards) feature in case studies undertaken with support of the DTI Advanced Sensors Technology Transfer Programme. These studies have two objectives: to pick out some real UK successes, and to encourage the present generation of sensors researchers to consider establishing a new firm around their work. The first four case studies described below cover the following established and expanding firms:

The OTS/CafeOBJ method can be used to formally model, specify and verify distributed systems such as security protocols and railroad systems. A distributed system is modeled as an OTS, a kind of transition system, and the OTS is specified and verified with CafeOBJ, an algebraic specification language. Case analysis (or case splitting) is one of the most intellectual pieces of work in verification. Case analysis should be done entirely by hand in the OTS/CafeOBJ method, which is errorprone. It is indispensable to cover all cases and find necessary lemmas for some sub‐cases where desired results are not obtained in case analysis. We propose two methods of mechanically supporting case analysis, which concern these two issues. A case study that the proposed methods are effectively applied to a railroad signaling system is also reported.