3121 search results - page 259 / 625 » Information Survivability Control Systems |
176
click to vote
SACMAT
2003
ACM
15 years 12 months ago
2003
ACM
In this paper we describe the work devising a new technique for role-finding to implement Role-Based Security Administration. Our results stem from industrial projects, where larg...
207
click to vote
HASE
2008
IEEE
16 years 1 months ago
2008
IEEE
Due to the large number of attacks on open networks, information theft becomes a more and more severe problem. Secure computation can offer highly assured confidentiality protecti...
153
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
— This paper outlines a novel and feasible procedure to predict vertical motions for safe landing of unmanned aerial vehicles (UAVs) during maritime operations. In the presence o...
182
click to vote
MEDES
2009
ACM
16 years 1 months ago
2009
ACM
P2P techniques for semantic coordination based on semantic communities are recently emerging to enforce effective collaboration platforms. In this paper, we focus on semantic coo...
191
click to vote
FROCOS
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...