6555 search results - page 939 / 1311 » Secure attribute-based systems |
152
click to vote
HPDC
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we present 411, a password distribution system for high performance environments that provides security and scalability. We show that existing solutions such as NIS ...
155
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— We propose a control framework for the bilateral teleoperation between a single master robot and multiple cooperative slave robots with communication-delay in the maste...
149
click to vote
SAFECOMP
2004
Springer
15 years 10 months ago
2004
Springer
Safety cases embody arguments that demonstrate how safety properties of a system are upheld. Such cases implicitly document the barriers that must exist between hazards and vulnera...
138
click to vote
CODES
2003
IEEE
15 years 10 months ago
2003
IEEE
Boolean logic minimization is traditionally used in logic synthesis tools running on powerful desktop computers. However, logic minimization has recently been proposed for dynamic...
130
click to vote
TLDI
2003
ACM
15 years 10 months ago
2003
ACM
An important consideration for certified code systems is the interaction of the untrusted program with the runtime system, most notably the garbage collector. Most certified cod...