1683 search results - page 77 / 337 » Testing system virtual machines |
MMM
2003
Springer
14 years 4 months ago
2003
Springer
In this paper, we present our approach to modelling perceptive 3D virtual characters with emotion and personality. The characters are powered by a dialogue system that consists of...
MLMI
2005
Springer
14 years 4 months ago
2005
Springer
Abstract. We aim to create a model of emotional reactive virtual humans. This model will help to define realistic behavior for virtual characters based on emotions and events in t...
TPHOL
2007
IEEE
14 years 5 months ago
2007
IEEE
Formal, modular, and mechanized verification of realistic systems code is desirable but challenging. Verification of machine context management (a basis of multi-tasking) is one ...
SIGMOD
2011
ACM
13 years 1 months ago
2011
ACM
In most enterprises, databases are deployed on dedicated database servers. Often, these servers are underutilized much of the time. For example, in traces from almost 200 producti...
FTDCS
2004
IEEE
14 years 2 months ago
2004
IEEE
Today most Internet services are pre-assigned to servers statically, hence preventing us from doing real-time sharing of a pool of servers across as group of services with dynamic...