3828 search results - page 11 / 766 » Proof-Based System Engineering Using a Virtual System Model |
EUROMICRO
2004
IEEE
15 years 3 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...
90
Voted
JNW
2007
14 years 11 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...
78
Voted
MCS
2006
Springer
14 years 11 months ago
2006
Springer
115
click to vote
TGC
2005
Springer
15 years 5 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 ...
121
click to vote
ACMACE
2005
ACM
15 years 5 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 ...