Informatik (15 757 Artikel)

This volume constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2016, held in July 2016 ...

This volume constitutes the thoroughly refereed post-conference proceedings of the 9th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2017, held in Heidelber...

11th International Conference, VSTTE 2019, New York City, NY, USA, July 13-14, 2019, Revised Selected Papers

This volume constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2013, held in Menlo Par...

This volume contains the proceedings of the second working conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2008, held in Toronto, Canada, in October 2008. The 16 papers pre...

This volume contains the proceedings of the 4th International Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2012, held in Philadelphia, PA, USA, in January 2012. The 20 r...

This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 ...

Programming environment.- Verification.- Temporal logic.- 5. Techniques.- Network protocols.- Resource allocation.- Conclusion.

Image-based rendering, as an area of overlap between computer graphics and computer vision, uses computer vision techniques to aid in sythesizing new views of scenes. Image-based rendering methods ...

This book takes a quantitative look at ICT-generated event data to highlight current trends and issues in Nigeria at the local, state and national levels. Without emphasizing a specific policy or a...

This book takes a quantitative look at ICT-generated event data to highlight current trends and issues in Nigeria at the local, state and national levels. Without emphasizing a specific policy or a...

Virtual Environments -(VE) the new dimension in man-machine-communication -have been developed and experienced in Europe since 1990. In early 1993 the Eurographics Association decided to establish ...

The 1st International Conference on Virtual Storytelling took place on September 27-28, 2001, in Avignon (France) in the prestigious Popes' Palace. Despite the tragic events of September 11 that le...

The story is the richest heritage of human civilizations. One can imagine the ?rst stories being told, several thousand centuries ago, by wise old men huddled around camp?res. Since this time, the ...

Real-Time Technologies.- Seizing Power: Shaders and Storytellers.- Real-Time Lighting Design for Interactive Narrative.- Interactive Out-of-Core Visualisation of Very Large Landscapes on Commodity ...