137 search results - page 4 / 28 » Justifying Integrity Using a Virtual Machine Verifier |
EDUTAINMENT
2008
Springer
13 years 7 months ago
2008
Springer
There is a trend in Virtual Learning Environments (VLE) towards flexible and adapted learning experiences that modify their contents and behavior to suit the needs of different lea...
TRIDENTCOM
2008
IEEE
14 years 13 days ago
2008
IEEE
Research on TCP performance relies either on simulation programs, which run on a single machine, or on the use of real testbeds, where different machines represent different netwo...
IEEECIT
2009
IEEE
14 years 21 days ago
2009
IEEE
Cloud platforms host several independent applications on a shared resource pool with the ability to allocate computing power to applications on a per-demand basis. The use of serv...
JSS
2008
13 years 6 months ago
2008
The convergence of data, voice, and multimedia communication over digital networks, coupled with continuous improvement in network capacity and reliability has resulted in a proli...
DAGSTUHL
2006
13 years 7 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...