255 search results - page 35 / 51 » A Virtual Machine for a Process Calculus |
130
click to vote
AI
2008
Springer
15 years 3 months ago
2008
Springer
This paper complements McCarthy's "The well designed child", in part by putting it in a broader context, the space of possible well designed progeny, and in part by...
117
click to vote
WWW
2004
ACM
16 years 3 months ago
2004
ACM
XML has become one of the core technologies for contemporary business applications, especially web-based applications. To facilitate processing of diverse XML data, we propose an ...
159
click to vote
SIES
2009
IEEE
15 years 10 months ago
2009
IEEE
—We introduce variable-bandwidth servers (VBS) for scheduling and executing processes under programmable temporal isolation. A VBS is an extension of a constant-bandwidth server ...
109
click to vote
ICDAR
2009
IEEE
15 years 10 months ago
2009
IEEE
We propose an efficient method to recognize multi-stroke handwritten symbols. The method is based on computing the truncated Legendre-Sobolev expansions of the coordinate functio...
118
click to vote
TOOLS
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. Virtual machines (VMs) emulating hardware devices are generally implemented in low-level languages for performance reasons. This results in unmaintainable systems that ar...