225 search results - page 37 / 45 » Inter-enterprise System and Application Integration: A Reali... |
HAPTICS
2005
IEEE
14 years 1 months ago
2005
IEEE
We describe the design and trial of a remotely conducted surgical master class, using a haptic virtual environment as an integral part of the learning process. In the trial, we li...
IV
2005
IEEE
14 years 1 months ago
2005
IEEE
Visualization and knowledge of detailed pressure information can play a vital role in multimodal sensing of human movement. We have designed a highresolution pressure sensing floo...
SIGSOFT
2002
ACM
14 years 8 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
SIGOPSE
1998
ACM
14 years 5 days ago
1998
ACM
Modern virtual machines, such as Java and Inferno, are emerging as network computing s. While these virtual machines provide higher-level abstractions and more sophisticated servi...
FMCAD
2006
Springer
13 years 11 months ago
2006
Springer
Ario is a solver for systems of linear integer arithmetic logic. Such systems are commonly used in design verification applications and are classified under Satisfiability Modulo T...