3341 search results - page 307 / 669 » A Communication Virtual Machine |
138
click to vote
FSTTCS
2007
Springer
15 years 10 months 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...
131
click to vote
ICALT
2005
IEEE
15 years 10 months 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 ...
123
click to vote
IPPS
2008
IEEE
15 years 11 months 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 ...
144
click to vote
CCS
1998
ACM
15 years 9 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...
215
click to vote
AAMAS
2012
Springer
14 years 12 days 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...