Sciweavers

1342 search results - page 220 / 269
» MEMS Design And Verification
Sort
View
ICCSA
2007
Springer
15 years 4 months ago
An Enhanced One-Round Pairing-Based Tripartite Authenticated Key Agreement Protocol
A tripartite authenticated key agreement protocol is generally designed to accommodate the need of three specific entities in communicating over an open network with a shared secre...
Meng-Hui Lim, Sanggon Lee, Youngho Park, Hoonjae L...
RSP
2006
IEEE
125views Control Systems» more  RSP 2006»
15 years 3 months ago
Creation and Validation of Embedded Assertion Statecharts
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Dem...
ACMACE
2006
ACM
15 years 3 months ago
How real should virtual characters be?
In recent years 3D virtual characters have become more common in desktop interfaces, particularly in gaming and entertainment applications. In this paper we describe how augmented...
Daniel Wagner, Mark Billinghurst, Dieter Schmalsti...
ACMACE
2006
ACM
15 years 3 months ago
Straw-like user interface: virtual experience of the sensation of drinking using a straw
The Straw-like User Interface is a novel interface system that allows us to virtually experience the sensations of drinking. These sensations are created based on referencing samp...
Yuki Hashimoto, Naohisa Nagaya, Minoru Kojima, Sat...
HRI
2006
ACM
15 years 3 months ago
How contingent should a communication robot be?
The purpose of our research is to develop lifelike behavior in a communication robot, which is expected to potentially make human-robot interaction more natural. Our previous rese...
Fumitaka Yamaoka, Takayuki Kanda, Hiroshi Ishiguro...