4690 search results - page 159 / 938 » An operational semantics for Scheme |
181
click to vote
GI
2010
Springer
15 years 4 months ago
2010
Springer
: In several industry scenarios, it is often the case that an existing reference workflow has to be adapted according to specific context factors, which might even change at runtim...
176
click to vote
WS
2008
ACM
15 years 6 months ago
2008
ACM
: The power of the Web is enhanced through the network effect produced as resources link to each other with the value determined by Metcalfe's law. In Web 2.0 applications, mu...
194
click to vote
EUROCRYPT
1999
Springer
15 years 10 months ago
1999
Springer
Since the Diffie-Hellman paper, asymmetric encryption has been a very important topic, and furthermore ever well studied. However, between the efficiency of RSA and the security of...
148
click to vote
AIML
2004
15 years 8 months ago
2004
This paper aims to examine Horty's proposal of utilitarian deontic logic [7]. It will focus on his dominance operators by way of simplified semantics. An axiomatization of the...
156
click to vote
ENTCS
2010
15 years 6 months ago
2010
This paper proposes a rule format for Structural Operational Semantics guaranteeing that certain constants act as left or right zero elements for a set of binary operators. Our de...