800 search results - page 123 / 160 » XML access control using static analysis |
220
Voted
ESOP
2004
Springer
15 years 8 months ago
2004
Springer
We show how to combine trust management theories with nonce-based cryptographic protocols. The strand space framework for protocol analysis is extended by associating formulas from...
213
Voted
ICRA
2007
IEEE
15 years 9 months ago
2007
IEEE
— Efficient, reliable and flexible handling is still very challenging in micromanipulation and micro-assembly. In this paper, we propose an original thermally actuated gripper b...
106
Voted
TSMC
2010
14 years 10 months ago
2010
Abstract--Ear recognition, as a biometric, has several advantages. In particular, ears can be measured remotely and are also relatively static in size and structure for each indivi...
117
click to vote
SIGMETRICS
1996
ACM
15 years 7 months ago
1996
ACM
In this paper we describe our experiments on digital video applications, concentrating on the static and dynamic tradeo s involved in video playback. Our results were extracted fr...
137
click to vote
DELOS
2004
15 years 4 months ago
2004
Databases and Grid computing are a good match. With the service orientation of Grid computing, the complexity of maintaining and integrating databases can be kept away from the act...