3341 search results - page 307 / 669 » A Communication Virtual Machine |
167
click to vote
FSTTCS
2007
Springer
16 years 22 days ago
2007
Springer
We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...
169
click to vote
ICALT
2005
IEEE
16 years 5 days ago
2005
IEEE
The Internet breaks the limitations of time and space and provides a flexible platform for learning. Learning is a two-way communication and interactivity is a process to enhance ...
158
click to vote
IPPS
2008
IEEE
16 years 29 days ago
2008
IEEE
VT-ASOS is a framework for holistic and continuous customization of system software on HPC systems. The framework leverages paravirtualization technology. VT-ASOS extends the Xen ...
173
click to vote
CCS
1998
ACM
15 years 10 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
253
click to vote
AAMAS
2012
Springer
14 years 2 months ago
2012
Springer
Recent research has shown that virtual agents expressing empathic emotions toward users have the potentiality to enhance human-machine interaction. To provide empathic capabilitie...