3828 search results - page 11 / 766 » Proof-Based System Engineering Using a Virtual System Model |
EUROMICRO
2004
IEEE
13 years 11 months ago
2004
IEEE
A virtual machine is a software replica of an underlying real machine. Multiple virtual machines can operate on the same host machine concurrently, without interfere each other. S...
JNW
2007
13 years 7 months ago
2007
— Today, the most important aspect related with the Internet architecture is its ossification representing the difficulties to introduce evolutions in the architecture as a way...
MCS
2006
Springer
13 years 7 months ago
2006
Springer
TGC
2005
Springer
14 years 1 months ago
2005
Springer
The Model-Driven Architecture (MDA) technology toolset includes a language for describing the structure of meta-data, the MOF, and a language for describing consistency properties ...
ACMACE
2005
ACM
14 years 1 months ago
2005
ACM
Immersing players in believable and engaging virtual environments is a common goal for many interactive computer games. While PC-based audio only games set in virtual worlds have ...