3121 search results - page 258 / 625 » Information Survivability Control Systems |
155
click to vote
JUCS
2008
15 years 6 months ago
2008
Abstract: This paper describes a Java-based framework for developing componentbased software systems supporting adaptation with logic laws and considering component interactions as...
154
click to vote
ACSAC
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper investigates the general problem of performing key-value search at untrusted servers without loss of user privacy. Specifically, given key-value pairs from multiple ow...
170
click to vote
DSD
2005
IEEE
16 years 6 days ago
2005
IEEE
This paper proposes a validation approach, based on simulation, which addresses problems related to both state space explosion of formal methods and low coverage of informal metho...
185
click to vote
HAPTICS
2002
IEEE
15 years 11 months ago
2002
IEEE
Accurate dynamic models of human hands grasping haptic devices can help to inform stability analyses, control algorithms, device design, and technology development efforts. The cu...
150
click to vote
DARE
2000
15 years 8 months ago
2000
BUILD-IT is a planning tool based on computer vision technology, supporting complex planning and composition tasks. A group of people, seated around a table, interact with objects...