Hai Jin

Laurence T. Yang

Jeffrey J.-P. Tsai

This book is the refereed proceedings of the Third International Conference on Ubiquitous Intelligence and Computing, UIC 2006, held in Wuhan, China. The book presents 117 revised full papers together with a keynote paper were carefully reviewed and selected from 382 submissions. The papers are organized in topical sections on smart objects and embedded systems; smart spaces, environments, and platforms; ad-hoc and intelligent networks; sensor networks, and more.

Third International Conference, UIC 2006, Wuhan, China, September 3-6, 2006, Proceedings

Ubiquitous Intelligence and Computing

Thomas J. Weigert

The interplay of artificial intelligence and software engineering has been an interesting and an active area in research institution and industry. This book covers the state of the art in the use of knowledge-based approaches for software specification, design, implementation, testing and debugging. Starting with an introduction to various software engineering paradigms and knowledge-based software systems, the book continues with the discussion of using hybrid knowledge representation as a basis to specify software requirements, to facilitate specification analysis and transformation of real-time distributed software systems. A formal requirements specification language using non-monotonic logic, temporal logic, frames and production systems for new software engineering paradigms (such as rapid prototyping, operational specification and transformational implementation) is also discussed in detail. Examples from switching and other applications are used to illustrate the requirements language. Finally, the development, specification and verification of knowledge-based systems are investigated.

Jeffrey J.-P. Tsai

About

Books

Join the club