255 search results - page 21 / 51 » A Virtual Machine for a Process Calculus |
IASTEDSEA
2004
13 years 9 months ago
2004
Java applets run on a Virtual Machine that checks code's integrity and correctness before execution using a module called Bytecode Verifier. Java Card technology allows Java ...
ECTEL
2007
Springer
14 years 1 months ago
2007
Springer
The Virtual Company educational scenario engages students in a professional setting for working and learning. Students are enabled to develop competencies that are derived from pro...
GC
2004
Springer
14 years 1 months ago
2004
Springer
We describe the architecture and the implementation of the MIKADO software framework, that we call IMC (Implementing Mobile Calculi). The framework aims at providing the programmer...
APSEC
2007
IEEE
14 years 2 months ago
2007
IEEE
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The exe...
OSDI
2002
ACM
14 years 8 months ago
2002
ACM
We have created Zap, a novel system for transparent migration of legacy and networked applications. Zap provides a thin virtualization layer on top of the operating system that in...