Sciweavers

152 search results - page 11 / 31
» V for Virtual
Sort
View
ICRA
2000
IEEE
89views Robotics» more  ICRA 2000»
15 years 2 months ago
A Robotic Stepper for Retraining Locomotion in Spinal-Injured Rodents
We describe the design and testing of a robotic system to assist locomotion training of spinal-injured rodents. The goal of the system is to control and quantify spatialtemporal p...
David J. Reinkensmeyer, Wojciech K. Timoszyk, Ray ...
ATC
2007
Springer
15 years 4 months ago
Enhancing Grid Security Using Trusted Virtualization
Abstract. Grid applications have increasingly sophisticated functional and security requirements. However, current techniques mostly protect only the resource provider from attacks...
Hans Löhr, HariGovind V. Ramasamy, Ahmad-Reza...
IJVR
2007
110views more  IJVR 2007»
14 years 10 months ago
A Decade of Research and Development in Disability, Virtual Reality and Associated Technologies: Review of ICDVRAT 1996-2006
—The International Conference (series) on Disability, Virtual Reality and Associated Technologies (ICDVRAT) this year held its sixth biennial conference, celebrating ten years of...
S. V. G. Cobb, Paul M. Sharkey
96
Voted
ATAL
2006
Springer
15 years 1 months ago
ACTIVE: agile coordinator testbed integrated virtual environment
This paper describes the specification, design and development of ACTIVE, a testbed for the testing and simulation of large-scale agent-based systems. ACTIVE is being developed as...
G. Emami, J. Cheng, D. Cornwell, M. Feldhousen, C....
CCS
2008
ACM
15 years 3 days ago
CMV: automatic verification of complete mediation for java virtual machines
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...
A. Prasad Sistla, V. N. Venkatakrishnan, Michelle ...