Sciweavers

5451 search results - page 655 / 1091
» Typed Operational Semantics
Sort
View
166
Voted
IROS
2006
IEEE
118views Robotics» more  IROS 2006»
16 years 23 days ago
Effects of Friction Parameters on Completion Times for Sustained Planar Positioning Tasks with a Haptic Interface
— Haptic interface devices and teleoperation masters are multiple degree of freedom devices manipulated by an operator to generate realtime motion commands to simulated environme...
Peter J. Berkelman, Ji Ma
ISCAS
2006
IEEE
108views Hardware» more  ISCAS 2006»
16 years 23 days ago
An optimal normal basis elliptic curve cryptoprocessor for inductive RFID application
In this paper a 173-bit type II ONB ECC processor Section II introduces the mathematical backgrounds for for inductive RFID applications is described. Compared with curve operation...
Pak-Keung Leung, Oliver Chiu-sing Choy, Cheong-fat...
IV
2006
IEEE
97views Visualization» more  IV 2006»
16 years 23 days ago
Towards Ubiquitous Brushing for Information Visualization
Brushing is a collection of techniques to dynamically query and directly select elements on the visual display. Such interaction allows the user to explore the visualization, to i...
Jonathan C. Roberts, Michael A. E. Wright
ACNS
2006
Springer
86views Cryptology» more  ACNS 2006»
16 years 22 days ago
W3Bcrypt: Encryption as a Stylesheet
Abstract. While web-based communications (e.g., webmail or web chatrooms) are increasingly protected by transport-layer cryptographic mechanisms, such as the SSL/TLS protocol, ther...
Angelos Stavrou, Michael E. Locasto, Angelos D. Ke...
153
Voted
ASPLOS
2006
ACM
16 years 22 days ago
Manitou: a layer-below approach to fighting malware
Unbeknownst to many computer users, their machines are running malware. Others are aware that strange software inhabits their machine, but cannot get rid of it. In this paper, we ...
Lionel Litty, David Lie