2685 search results - page 412 / 537 » A Formal Semantics for SPKI |
203
click to vote
TABLEAUX
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Bi-intuitionistic logic is a conservative extension of intuitionistic logic with a connective dual to implication, called exclusion. We present a sound and complete cut-f...
148
click to vote
CHARME
2001
Springer
15 years 11 months ago
2001
Springer
We describe SAFL+: a call-by-value, parallel language in the style of ML which combines imperative, concurrent and functional programming. Synchronous channels allow communication ...
165
click to vote
CONTEXT
2001
Springer
15 years 10 months ago
2001
Springer
This paper discusses the use of contextual reasoning, i.e. context transformation for achieving semantic interoperability in heterogeneous information systems. We introduce termino...
150
click to vote
CRYPTO
2001
Springer
15 years 10 months ago
2001
Springer
Recently Victor Shoup noted that there is a gap in the widely-believed security result of OAEP against adaptive chosen-ciphertext attacks. Moreover, he showed that, presumably, OA...
166
click to vote
LCTRTS
2001
Springer
15 years 10 months ago
2001
Springer
Giotto is a principled, tool-supported design methodology for implementing embedded control systems on platforms of possibly distributed sensors, actuators, CPUs, and networks. Gio...