Sciweavers

14379 search results - page 234 / 2876
» is 2000
Sort
View
CAV
2000
Springer
106views Hardware» more  CAV 2000»
15 years 11 months ago
Regular Model Checking
Ahmed Bouajjani, Bengt Jonsson, Marcus Nilsson, Ta...
CCS
2000
ACM
15 years 11 months ago
An authorization model for temporal data
Avigdor Gal, Vijayalakshmi Atluri
CCS
2000
ACM
15 years 11 months ago
A secure execution framework for Java
Manfred Hauswirth, Clemens Kerer, Roman Kurmanowyt...
CCS
2000
ACM
15 years 11 months ago
A protocol for anonymous communication over the Internet
Ï Ø Ø ÖÓÛØ Ò ÔØ Ò Ó Ø ÁÒØ ÖÒ Ø¸ Ø Ö × Ò Ò Ö × ÒØ Ö ×Ø Ò Ñ ÒØ Ò Ò ÒÓÒÝÑ ØÝ Ò Ø Ò ØÛÓÖ º Ì × Ô Ô Ö ÔÖ × ÒØ× Ò Û...
Clay Shields, Brian Neil Levine