1413 search results - page 165 / 283 » Bisimilarity of Open Terms |
167
click to vote
OOPSLA
2005
Springer
16 years 1 days ago
2005
Springer
Io is small prototype-based programming language. The ideas in Io are mostly inspired by Smalltalk[1] (all values are objects), Self[2] (prototype-based), NewtonScript[3] (differe...
167
click to vote
TLCA
2005
Springer
16 years 23 hour ago
2005
Springer
This paper studies continuity of the normal form and the context operators as functions in the infinitary lambda calculus. We consider the Scott topology on the cpo of the finite...
165
click to vote
VMCAI
2005
Springer
16 years 21 hour ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
187
click to vote
WABI
2005
Springer
16 years 21 hour ago
2005
Springer
Recently, there has been growing interest in the modelling and simulation of biological systems. Such systems are often modelled in terms of coupled ordinary differential equation...
159
click to vote
WAC
2005
Springer
16 years 21 hour ago
2005
Springer
: The development and deployment of interconnected networks is being increasingly limited by their complexity and the concomitant cost of managing the operational network. Autonomi...