Radek Oslejsek

Learn More
In this paper, we present a framework for experimenting with virtual environments. The architecture of the system VRECKO is designed for the rapid prototyping of techniques for human-computer interaction. The architecture is flexible, but simple. Virtual environment entities and other components can be configured at run time. We demonstrate the flexibility(More)
Engineering of highly reliable systems requires support of sophisticated design methods allowing software architects to competently decide between various design alternatives already early in the development process. Architecture-based reliability prediction provides such capability. The formalisms and analytical methods employed by existing approaches are(More)