1302 search results - page 261 / 261 » Soundness in the Public-Key Model |
174
click to vote
ECOOP
2010
Springer
15 years 9 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
185
click to vote
LPNMR
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information int...