Informatik (15.755 Artikel)

Turing, Computing and Communication.- Computing and Interaction.- Principles of Interactive Computation.- Theory.- A Theory of System Interaction: Components, Interfaces, and Services.- Verificatio...

This book constitutes the refereed proceedings of the first European Workshop on Interactive Distributed Multimedia Systems and Services, IDMS'96, held in Berlin, Germany in March 1996.The 21 revis...

The first International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services (IDMS) was organized by Prof. K. Rothermel and Prof. W. Effelsberg, and took place in S...

State-of-the-Art and Future Challenges

This book is the final result of the NATO Advanced Research Workshop 'Interactive Learning Technology for the Deaf' , which was held between June 4 -7, 1991, in Sint-Michielsgestel, the Netherlands...

Markov Chains are widely used as stochastic models to study a broad spectrum of system performance and dependability characteristics. This monograph is devoted to compositional specification and an...

In this book several concepts with respect to the development and reusability of multimedia content in web-based learning systems are introduced. More specifically, the development of a component-b...

Multimedia environments suggest to us a new perception of the state of changes in and the integration of new technologies that can increase our ability to process information. Moreover, they are ob...

Multimedia Interactive Protocols and Systems (MIPS) is the brand new name of a workshop that has been successfully held for the ?rst time in 2002 in Coimbra, as the ?rst joint edition of two well e...

This volume contains scientific papers and case studies presented at Interactive Sto- telling '08: The First Joint International Conference on Interactive Digital Storytelling (ICIDS), held Novembe...

10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003, Revised Papers

The wait for the year 2000 was marked by the fear of possible bugs that might have arisen at its beginning. One additional fear we had during this wait was whether - ganising this event would have ...

9th International Workshop, DSV-IS 2002, Rostock Germany, June 12-14, 2002

This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on the Design, Specification, and Verification of Interactive Systems, DSV-IS 2001, held in Glasgow,...

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume we...