1222 search results - page 106 / 245 » Verifying a File System Implementation |
122
Voted
IAT
2009
IEEE
15 years 9 months ago
2009
IEEE
—We present a security system consisting of an arbitrary number of entries, sensors and agents. The intelligent integrated system is based on user modeling, i.e. models of their ...
112
click to vote
ISPA
2004
Springer
15 years 8 months ago
2004
Springer
HPL is a parallel Linpack benchmark package widely adopted in massive cluster system performance test. On HPL data layout among processors, a law to determine block size NB theoret...
121
Voted
CADE
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
150
Voted
CAV
2012
Springer
13 years 5 months ago
2012
Springer
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
128
click to vote
OTM
2007
Springer
15 years 8 months ago
2007
Springer
We show how Semantic Web technologies can be used to build an access control system. We follow the role-based access control approach (RBAC) and extend it with contextual attribute...