Informatik (15 755 Artikel)

Haptic human-computer interaction is interaction between a human computer user and the computer user interface based on the powerful human sense of touch. Haptic hardware has been discussed and exp...

The present work showcases a novel approach to modeling systems architectures by utilizing Lego bricks and RFID technology. The presented solution can be used by systems and software architects to ...

The present work showcases a novel approach to modeling systems architectures by utilizing Lego bricks and RFID technology. The presented solution can be used by systems and software architects to ...

1 Mathematische Grundlagen.- 1.1 Über Gott und die Welt.- 1.2 Elementare Konzepte.- 1.3 Rechnen.- 1.4 Zahlen.- 1.5 Formale Logik.- 1.6 Übungen.- 2 Boole'sche Ausdrücke.- 2.1 Mächtigkeit endlicher M...

Intelligent systems are now being used more commonly than in the past. These involve cognitive, evolving and artificial-life, robotic, and decision making systems, to name a few. Due to the tremend...

Intelligent systems are now being used more commonly than in the past. These involve cognitive, evolving and artificial-life, robotic, and decision making systems, to name a few. Due to the tremend...

Fault tolerance has been an active research area for many years. This volume presents papers from a workshop held in 1993 where a small number of key researchers and practitioners in the area met t...

The Haifa Verification Conference 2006 took place for the second year in a row at the IBM Haifa Research Lab and at the Haifa University in Israel during October 23-26, 2006. The verification confe...

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were ca...

These are the conference proceedings of the 4th Haifa Veri?cation Conference, held October 27-30, 2008 in Haifa, Israel. This international conference is a unique venue that brings together leading...

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010. The 10 revised ful...

This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The 17 revised full papers and 4 short pap...

11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings

12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017.The 13 revised full papers presented togethe...