This paper discusses Simphony as an integrated environment for building special purpose simulation tools for modeling construction systems. Simphony provides various services that...
— We describe algorithms to build self-assembling robot systems composed of active modular robots and passive bars. The distributed algorithms are based on locally optimal matchi...
Trust building has been acknowledged as one of the critical factor for the success of e-commerce. However, few sources of trust were identified in online transaction. This paper t...
We promote an engineering approach to design of provably secure key exchange protocols. Using the model of Canetti and Krawczyk we present a systematic method to arrive at efficie...
Yiu Shing Terry Tin, Colin Boyd, Juanma Gonz&aacut...
Most occlusion culling algorithms select a subset of suitable occluder planes or geometries to exclude invisible objects from further visualization processing. Preferably these oc...