Sciweavers

28962 search results - page 356 / 5793
» Computational Mechanism Design
Sort
View
GRAPHITE
2003
ACM
15 years 12 months ago
Analysis of visualisation requirements for fuzzy systems
This paper provides a comprehensive analysis of the working and requirements of fuzzy systems with the view to devise appropriate visualisation framework and techniques for these ...
Binh Pham, Ross Brown
188
Voted
HAPTICS
2002
IEEE
15 years 11 months ago
A Tactile Shape Display Using RC Servomotors
Tactile displays are used to convey small-scale force and shape information to the fingertip. We describe a 6 x 6 tactile shape display design that is low in cost and easily const...
Christopher R. Wagner, Susan J. Lederman, Robert D...
NDSS
2000
IEEE
15 years 11 months ago
An IPSec-based Host Architecture for Secure Internet Multicast
We propose a host architecture for secure IP multicast. We identify the basic components of the architecture, describe their functionalities and how they interact with one another...
Ran Canetti, Pau-Chen Cheng, Frederique Giraud, Di...
ISORC
1999
IEEE
15 years 11 months ago
v-Promela: A Visual, Object-Oriented Language for SPIN
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
Stefan Leue, Gerard J. Holzmann
IPPS
1998
IEEE
15 years 11 months ago
Memory Space Representation for Heterogeneous Network Process Migration
A major difficulty of heterogeneous process migration is how to collect advanced dynamic data-structures, transform them into machine independent form, and restor them appropriate...
Kasidit Chanchio, Xian-He Sun