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
Posted by Praney Behl Date: Wednesday, July 28, 2010
Categories: Computer Science
Tags: Compositional, RealTime, Specification, Systems, Verification
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 >>
Posted by Praney Behl Date: Tuesday, July 27, 2010
Categories: Computer Science
Tags: 2000, Conference, DDEP, Digital, Documents, Electronic, International, Papers, Principles, Publishing, Systems, Workshop
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 >>
Posted by Praney Behl Date: Friday, July 23, 2010
Categories: Engineering
Tags: Decision, Engineering, Making, Management, Systems
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 >>
Posted by Praney Behl Date: Sunday, July 18, 2010
Categories: Computer Science
Tags: 1113, 1989, Based, Bombay, Computer, Conference, December, India, International, KBCS, Knowledge, Proceedings, Systems
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 >>
Posted by Praney Behl Date: Friday, July 16, 2010
Categories: Engineering
Tags: 24/7, Critical, Environment, Maintaining, Mission, Systems
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 >>
Posted by Praney Behl Date: Wednesday, July 14, 2010
Categories: Computer Science
Tags: 1820, 2006, Advances, ADVIS, Conference, Information, International, Izmir, October, Systems, Turkey
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 >>
Posted by Praney Behl Date: Thursday, July 8, 2010
Categories: Engineering
Tags: Civil, Engineering, Environmental, Systems
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 >>
Posted by Praney Behl Date: Friday, July 2, 2010
Categories: Computer Science
Tags: Application, Conference, First, Hypermedia, International, MHVR'94, Models, Moscow, Multimedia, Reality, Russia, September, Systems, Virtual
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 >>
Posted by Praney Behl Date: Thursday, June 24, 2010
Categories: Computer Science
Tags: 1013, 2003, Canada, Conference, COTSBased, February, ICCBSS, International, Ottawa, Second, Software, Systems
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 >>
Posted by Praney Behl Date: Saturday, June 19, 2010
Categories: Engineering
Tags: Analog, Communication, Digital, Modern, Systems










