2357 search results - page 301 / 472 » Computing Refactorings of Behavior Models |
130
Voted
HPCC
2005
Springer
15 years 9 months ago
2005
Springer
In this paper we present an exhaustive evaluation of the memory subsystem in a chip-multiprocessor (CMP) architecture composed of 16 cores. The characterization is performed making...
135
Voted
ADS
2004
Springer
15 years 8 months ago
2004
Springer
We describe an implemented system for the simulation and visualisation of the emotional state of a multimodal conversational agent called Max. The focus of the presented work lies ...
100
click to vote
ICCHP
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we describe Bliss2003, an Information and Communication Technology (ICT) aid for verbal impaired people supporting the use of Augmentative and Alternative Communicati...
107
Voted
CA
2002
IEEE
15 years 8 months ago
2002
IEEE
While mechanical cloth simulation systems are widely used for creating draped garments on virtual characters, the animation of virtual garments raise challenges on its own. The pe...
129
click to vote
SPIN
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. We present a process for validating temporal safety properties of software that uses a well-defined interface. The process requires only that the user state the property...