Sciweavers

276 search results - page 9 / 56
» The Architecture of a UML Virtual Machine
Sort
View
ACSAC
2009
IEEE
15 years 1 months ago
Justifying Integrity Using a Virtual Machine Verifier
Emerging distributed computing architectures, such as grid and cloud computing, depend on the high integrity execution of each system in the computation. While integrity measuremen...
Joshua Schiffman, Thomas Moyer, Christopher Shal, ...
ECMDAFA
2005
Springer
236views Hardware» more  ECMDAFA 2005»
15 years 3 months ago
Model-Driven Architecture for Hard Real-Time Systems: From Platform Independent Models to Code
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
Sven Burmester, Holger Giese, Wilhelm Schäfer
ICALT
2005
IEEE
15 years 3 months ago
An Architecture of Virtual Environment for E-Learning (AVEE)
With the constant progress of multimedia technology and network bandwidth, the traditional teaching environment that based on text and pictures, will be integrated with media stre...
Fu-Min Huang, Ming Chao
CCS
2008
ACM
14 years 11 months ago
Flexible security configuration for virtual machines
Virtual machines are widely accepted as a promising basis for building secure systems. However, while virtual machines offer effective mechanisms to create isolated environments, ...
Sandra Rueda, Yogesh Sreenivasan, Trent Jaeger
ITICSE
2010
ACM
15 years 1 months ago
The SOM family: virtual machines for teaching and research
This paper introduces the SOM (Simple Object Machine) family of virtual machine (VM) implementations, a collection of VMs for the same Smalltalk dialect addressing students at diļ...
Michael Haupt, Robert Hirschfeld, Tobias Pape, Gre...