We introduce an efficient method for synthesizing acceleration noise – sound produced when an object experiences abrupt rigidbody acceleration due to collisions or other contac...
, K. (2004) 'Ensemble': playing with sensors and sound. Extended abstracts of CHI 2004. Vienna, Austria, ACM Press. BAGNARA, S. & SMITH, G. C. (2005) Theories and pra...
In this paper, we present a proof that the bitonic sort is sound using PVS, a powerful specification and verification environment. First, we briefly introduce this well-known para...
We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between ...