This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...
We present a dynamic, three-dimensional, composite model framework for vertebrate development. Our integrated model combines submodels that address length-scales from subcellular t...
Tools and techniques used for automatic and smart analysis of huge data repositories of industries, governments, corporations and scientific institutes are the subjects dealt by th...
News on demand features user interaction, interdependent media and is used by different client types. These requirements are not yet accommodated by a single solution. We address ...
An area of interest that remains to be more thoroughly investigated is that of human navigation and wayfinding in VR. This study attempted to examine the effect of gender on VR na...