1948 search results - page 125 / 390 » Formalizing Mirror Theory |
179
click to vote
PADL
2012
Springer
14 years 1 months ago
2012
Springer
Declarative networking is a programming methodology that enables developers to concisely specify network protocols and services, and directly compile these specifications into a d...
155
click to vote
ACSD
2007
IEEE
15 years 12 months ago
2007
IEEE
Signal Transition Graphs (STG) are a formalism for the description of asynchronous circuit behaviour. In this paper we propose (and justify) a formal semantics of nondeterministic...
162
Voted
TYPES
2007
Springer
15 years 11 months ago
2007
Springer
We present a procedure for computing normal forms of terms in Abadi and Cardelli’s functional object calculus. Even when equipped with simple types, terms of this calculus are no...
161
click to vote
ARGMAS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. This paper presents a novel approach to modelling embedded agent dialogues. It proposes a specific structure for the supporting information accompanying the arguments th...
159
click to vote
LPAR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Many security protocols fundamentally depend on the algebraic properties of cryptographic operators. It is however difficult to handle these properties when formally anal...