1222 search results - page 136 / 245 » Verifying a File System Implementation |
98
Voted
TACS
1997
Springer
15 years 6 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
127
Voted
TRUST
2009
Springer
15 years 9 months ago
2009
Springer
UCON is a highly flexible and expressive usage control model which allows an object owner to specify detailed usage control policies to be evaluated on a remote platform. Assuranc...
114
click to vote
IROS
2008
IEEE
15 years 9 months ago
2008
IEEE
— To achieve accurate and efficient interaction with humans, robot training is indispensable to make robot cooperate with different host. We are focusing on development of a huma...
114
Voted
SEC
2008
15 years 4 months ago
2008
Implementing access control efficiently and effectively in an open and distributed system is a challenging problem. One reason for this is that users requesting access to remote re...
115
Voted
MVA
2002
15 years 2 months ago
2002
To collect the information on devastated districts, it is effective to use helicopters. However, the operation using manned helicopters costs a lot. It is expected that the use of...