1301 search results - page 118 / 261 » Specifications via Realizability |
135
Voted
ISADS
1999
IEEE
15 years 8 months ago
1999
IEEE
We designed a secure key registration system based on the proactive secret-sharing scheme. A user can register important data such as a session key to a distributed system in a (t...
124
click to vote
WETICE
1998
IEEE
15 years 8 months ago
1998
IEEE
We have developed a middleware framework for workgroup environments that can support distributed software development and a variety of other application domains requiring document...
134
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
This paper provides a case study that shows how a demanding application stresses the capabilities of today's CAD tools, especially in the integration of products from multipl...
183
click to vote
HHCI
2000
15 years 7 months ago
2000
Aiming at realization of direct and intuitive cooperation between human and robot, we propose an interface system for a two-wheeled, autonomous mobile robot that can take physical...
130
click to vote
LREC
2010
15 years 5 months ago
2010
This paper presents the language resource management system for the development and dissemination of Asian WordNet (AWN) and its web service application. We develop the platform t...