6555 search results - page 640 / 1311 » Secure attribute-based systems |
176
Voted
ECRA
2007
15 years 7 months ago
2007
Micro-payment systems have become popular in recent times as the desire to support low-value, high-volume transactions of text, music, clip-art, video and other media has increase...
195
Voted
SIGCSE
2008
ACM
15 years 7 months ago
2008
ACM
Providing consistent, instant, and detailed feedback to students has been a big challenge in teaching Web based computing, given the complexity of project assignments and the comp...
229
Voted
SIGMETRICS
2008
ACM
15 years 7 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
208
Voted
IJNSEC
2007
15 years 7 months ago
2007
Traitor tracing schemes constitute a very useful tool against piracy in the context of digital content broadcast. In such multi-recipient encryption schemes, the data-suppliers ca...
167
Voted
CORR
2000
Springer
15 years 7 months ago
2000
Springer
This paper illustrates how the diagram programming language DIAPLAN can be used to program visual systems. DIAPLAN is a visual rulebased language that is founded on the computation...