4511 search results - page 551 / 903 » Observation Based System Security |
114
click to vote
ESWS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The SPARQL Query Language allows filtering of query results through arbitrary predicate expressions. Such expressions may invoke custom functions identified with IRIs, ...
134
click to vote
OOPSLA
2004
Springer
15 years 10 months ago
2004
Springer
The main goal of this PhD thesis is to propose and implement a methodology for the construction of programs based on the SCOOP model, and for modular reasoning about their correct...
141
click to vote
DEXAW
2003
IEEE
15 years 10 months ago
2003
IEEE
Public-key infrastructures are a prerequisite for security in distributed systems and for reliable electronic commerce. It is their goal to provide the authenticity of public keys...
120
click to vote
MSS
2000
IEEE
15 years 9 months ago
2000
IEEE
Fall COMDEX was the center of numerous showings of new tape technologies offering significant increases in tape capacity and performance. Of interest to users of midrange tape tec...
133
click to vote
ASIACRYPT
2000
Springer
15 years 9 months ago
2000
Springer
McEliece cryptosystem is a public-key cryptosystem based on error-correcting codes. It constitutes one of the few alternatives to cryptosystems relying on number theory. We present...