69 search results - page 12 / 14 » mscs 2006 |
64
Voted
MSCS
2006
15 years 23 days ago
2006
nded abstract of a paper published on Math. Struct. in Comp. Science, 16 (2006) 115-137) Anna Di Concilio and Giangiacomo Gerla Dipartimento di Matematica e Informatica, Via Ponte...
133
click to vote
MSCS
2006
15 years 23 days ago
2006
We present a dynamic logic for reasoning about information flow in quantum programs. In particular, we give a finitary syntax and a relational semantics for a Logic of Quantum Pro...
69
Voted
MSCS
2006
15 years 23 days ago
2006
Abstract. Lipschitz continuity is used as a tool for analyzing the relationship between incomputability and randomness. Having presented a simpler proof of one of the major results...
117
click to vote
MSCS
2007
15 years 9 days ago
2007
Introduced at the end of the nineties, the Rewriting Calculus (ρ-calculus, for short) is a simple calculus that fully integrates term-rewriting and λ-calculus. The rewrite rules...
103
Voted
MSCS
2010
14 years 11 months ago
2010
Abstractions for Network Security† MICH E L E B U G L I E S I, R I C C A R D O F O C A R D I Dipartimento di Informatica, Universit`a Ca’ Foscari, Venice. Received 6 October 20...