State-space caching is a veri cation technique for nite-state concurrent systems. It performs an exhaustive exploration of the state space of the system being checked while storing only all states of just one execution sequence plus as many other previously visited states as available memory allows. So far, this technique has been of little practical signi cance: it allows one to reduce memory ...

Merleau-Ponty begins the Phenomenology of Perception by explaining that phenomenology aims to uncover our primitive contact with the world (vi), and so may give us an account of space as it is lived. While appreciative of scientific explorations of the world and space, Merleau-Ponty asserts that all knowledge garnered from scientific inquiry is originally “gained through [one’s] own particular ...

Our society expects engineers to develop products that are affordable, functional and sustainable. Effective product realization methods and tools are the answers to these societal expectations. In this paper, a new type of CAE tools, called virtual and augmented reality technologies, is introduced, reviewed and examined to reveal their great potentials in product realization. Specific areas wh...