Sciweavers

3008 search results - page 117 / 602
» Information and Control in Gray-Box Systems
Sort
View
JCS
2006
118views more  JCS 2006»
15 years 6 months ago
Enforcing Robust Declassification and Qualified Robustness
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems release sensitive information as part of their in...
Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic
CASSIS
2005
Springer
16 years 1 days ago
Information Flow Analysis for a Typed Assembly Language with Polymorphic Stacks
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
Eduardo Bonelli, Adriana B. Compagnoni, Ricardo Me...
ENGL
2008
110views more  ENGL 2008»
15 years 6 months ago
Tactile Sensing-Based Control Architecture in Multi-Fingered Arm for Object Manipulation
This report presents the development of tactile sensing-based control architecture in a multi-fingered humanoid robot arm for object manipulation tasks. With the aim to enhance the...
Hanafiah B. Yussof, Masahiro Ohka, Hirofumi Suzuki...
SEMWEB
2007
Springer
16 years 18 days ago
Access Control for Sharing Semantic Data across Desktops
Abstract. Personal Information Management (PIM) systems aim to provide convenient access to all data and metadata on a desktop to the user itself as well as the co-workers. Obvious...
Ekaterini Ioannou, Juri Luca De Coi, Arne Wolf Koe...
HCI
2007
15 years 8 months ago
Informative Art Display Metaphors
Informative Art display systems have been proposed to provide users with information considered relevant at arbitrary points of work or living engagement, originating from many dif...
Alois Ferscha