Virtual spaces based on the metaphor of "shared network places" are becoming a well accepted implementation approach for multiuser, multimedia, distributed cooperative w...
Background: In accordance with the increasing amount of information concerning individual differences in drug response and molecular interaction, the role of in silico prediction ...
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
Anupam Datta, Jason Franklin, Deepak Garg, Dilsun ...
This article discusses visualizing and interacting with 3-D geographical data via VRML in the Web environment. For this purpose, the Web-based desktop VR for geographical informat...
Web Services have started to appear on servers as interfaces between business-to-business applications. To date, mobile devices have only consumed Web Services running on stationa...
Stefan Berger, Scott McFaddin, Chandrasekhar Naray...