Posts Tagged ‘Systems’

Specification and Compositional Verification of Real-Time Systems

Product Description
The research described in this monograph concerns the formal specification and compositional verification of real-time systems. A real-time programminglanguage is considered in which concurrent processes communicate … More >>

Specification and Compositional Verification of Real-Time Systems

Digital Documents: Systems and Principles: 8th International Conference on Digital Documents and Electronic Publishing, DDEP 2000, 5th International Workshop … Papers

Product Description
This book constitutes the joint thoroughly refereed post-proceedings of the 8th International Conference on Digital Documents and Electronic Publishing, DDEP 2000 and the 5th International Workshop on the Principles of D… More >>

Digital Documents: Systems and Principles: 8th International Conference on Digital Documents and Electronic Publishing, DDEP 2000, 5th International Workshop … Papers

Decision Making in Systems Engineering and Management

Product Description
This comprehensive textbook provides a logical process for fact-based decision making for the most challenging systems problems. It is composed of three bedrock elements to improve readers’ understanding and analysis of … More >>

Decision Making in Systems Engineering and Management

Knowledge Based Computer Systems: International Conference KBCS `89, Bombay, India, December 11-13, 1989. Proceedings

Product Description
This volume presents selected papers from KBCS ‘89, which is the second in a series of annual conferences hosted by the Knowledge Based Computer Systems Project funded by the Government of India with United Nations assis… More >>

Knowledge Based Computer Systems: International Conference KBCS `89, Bombay, India, December 11-13, 1989. Proceedings

Maintaining Mission Critical Systems in a 24/7 Environment

Product Description
The latest tested and proven strategies to maintain business resiliency and sustainability for our ever-growing global digital economy

Here is a comprehensive study of the fundamentals of mission critical … More >>

Maintaining Mission Critical Systems in a 24/7 Environment

Advances in Information Systems: 4th International Conference, ADVIS 2006, Izmir, Turkey, October 18-20, 2006

Product Description
This book constitutes the refereed proceedings of the 4th International Conference on Advances in Information Systems, ADVIS 2006, held in Izmir, Turkey in October 2006. The 38 revised full papers presented together wit… More >>

Advances in Information Systems: 4th International Conference, ADVIS 2006, Izmir, Turkey, October 18-20, 2006

Civil and Environmental Systems Engineering

Product Description
For junior/senior-level courses in Systems Analysis or Systems Analysis and Economics as applied to civil engineering. With a reorganization and new material, the Second Edition of this acclaimed text is designed to enh… More >>

Civil and Environmental Systems Engineering

Multimedia, Hypermedia, and Virtual Reality: Models, Systems, and Application: First International Conference, MHVR’94, Moscow, Russia September

Product Description
This volume contains a thoroughly refereed collection of revised full papers selected from the presentations at the First East-West International Conference on Multimedia, Hypermedia, and Virtual Reality, MHVR’94, held i… More >>

Multimedia, Hypermedia, and Virtual Reality: Models, Systems, and Application: First International Conference, MHVR’94, Moscow, Russia September

COTS-Based Software Systems: Second International Conference, ICCBSS 2003 Ottawa, Canada, February 10-13, 2003

Product Description
 This book constitutes the refereed proceedings of the Second International Conference on COTS-Based Software Systems, ICCBSS 2003, held in Ottawa, Canada in February 2003. The 24 revised full papers presented were car… More >>

COTS-Based Software Systems: Second International Conference, ICCBSS 2003 Ottawa, Canada, February 10-13, 2003

Modern Digital and Analog Communication Systems

Product Description
An ideal first text on communication systems in electrical engineering, Modern Digital and Analog Communication Systems is now in its fourth edition. Retaining the superb pedagogical style of the first three editions, th… More >>

Modern Digital and Analog Communication Systems