41 search results - page 7 / 9 » From Interpreting to Compiling Binding Times |
CONCURRENCY
2000
13 years 7 months ago
2000
The Java .class file is a compact encoding of programs for a stack-based virtual machine. It is intended for use in a networked environment, which requires machine independence an...
LICS
2010
IEEE
13 years 5 months ago
2010
IEEE
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
TMC
2012
11 years 10 months ago
2012
—A number of protocols and mechanisms have been proposed to address the problem of initial secure key deployment in wireless networks. Most existing approaches work either with a...
VEE
2005
ACM
14 years 1 months ago
2005
ACM
Virtual machines (VMs) are commonly used to distribute programs in an architecture-neutral format, which can easily be interpreted or compiled. A long-running question in the desi...
IVA
2007
Springer
14 years 1 months ago
2007
Springer
Embodied conversational agents should be able to provide feedback on what a human interlocutor is saying. We are compiling a list of facial feedback expressions that signal attenti...