255 search results - page 14 / 51 » A Virtual Machine for a Process Calculus |
NDSS
2000
IEEE
14 years 1 days ago
2000
IEEE
The distinguishing feature of a metasystem is middleware that facilitates viewing a collection of large, distributed, heterogeneous resources as a single virtual machine, where ea...
SYSTOR
2010
ACM
14 years 14 days ago
2010
ACM
Virtual machine monitors, especially when used for server consolidation, need to enforce a predefined sharing of resources among the running virtual machines. We propose a new me...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
A voting protocol for decision-making in virtual organizations is presented. In an agent-based virtual organization the functions of formation, management and dissolution of the o...
ECTEL
2008
Springer
13 years 9 months ago
2008
Springer
Modeling the cognitive processes of learners is fundamental to build educational software that are autonomous and that can provide highly tailored assistance during learning [3]. F...
ICALT
2005
IEEE
14 years 1 months ago
2005
IEEE
Visualization techniques are commonly used in computer science, particularly for understanding the interactions intrinsic in the object-oriented paradigm. The visualization effect...