10707 search results - page 1929 / 2142 » Designing executable abstractions |
234
click to vote
HAPTICS
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. In this paper, a study on the role of force feedback for teleoperation of industrial overhead crane is presented. Teleoperation of industrial crane was described and anal...
186
click to vote
HAPTICS
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract. The present study examined our ability to identify the location of a single vibration delivered to the dorsal and/or volar side of the forearm near the wrist. Three parti...
200
click to vote
ASWEC
2010
IEEE
15 years 7 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
179
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
Protocols for password-based authenticated key exchange (PAKE) allow two users who share only a short, low-entropy password to agree on a cryptographically strong session key. The...
176
click to vote
SAC
2010
ACM
15 years 7 months ago
2010
ACM
This paper describes a new generic metadata model, called CAM Metamodel, that merges altogether information about content, services, physical and technical environment in order to...