255 search results - page 32 / 51 » A Virtual Machine for a Process Calculus |
ASWEC
2009
IEEE
13 years 5 months ago
2009
IEEE
Failure of a design to satisfy a system's requirements can result in schedule and cost overruns. When using current approaches, ensuring requirements are satisfied is often d...
MM
2004
ACM
14 years 1 months ago
2004
ACM
In this paper, we describe ChucK – a programming language and programming model for writing precisely timed, concurrent audio synthesis and multimedia programs. Precise concurre...
ACMSE
2009
ACM
13 years 11 months ago
2009
ACM
The convergence of various multimedia communications that includes voice, video and data presents many opportunities for enabling unified communication but paradoxically leads to ...
BICA
2010
13 years 2 months ago
2010
In this position paper we argue that BICA must simultaneously be compatible with the explanation of human cognition and support the human design of artificial cognitive systems. Mo...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
The tolerancing process links the virtual and the real worlds. From the former, tolerances define a variational geometrical language (geometric parameters). From the latter, there...