Publications

The use of message sequence charts (MSCs) is popular in designing and documenting communication protocols.

This talk covers specification driven systems as a means of improving the productivity of the software development process.

Because of the advancement in communication technology, there has been an extensive amount of research to enable distributed computer systems and networks to communicate with each other.

Future systems for analyzing, debugging and testing concurrent programs will rely heavily on automated reasoning processes such as automatic runtime consistency checking.

Recognition by transcription factors of the regulatory DNA elements upstream of genes is the fundamental step in controlling gene expression.

Recognition by transcription factors of the regulatory DNA sub-sequences upstream of genes is the fundamental step in controlling gene expression.

The tutorial covers the methods and tools used to prepare requirements for new software products by modeling customer's expectations.

Photon transport in strongly scattering random media has been examined by two experimental methods in order to search for departures from diffusive transport and the approach to strong photon local

The buoyancy driven recirculation in a liquid filled cavity cooled from above is locally modulated by an unstable thermal sublayer at the top surface.

In facsimile data transmission systems, printed or pictorial information is converted into electrical signals by optical means.