Sciweavers

58 search results - page 2 / 12
» Simulator for Real-Time Abstract State Machines
Sort
View
ECCV
2004
Springer
15 years 10 months ago
Authentic Emotion Detection in Real-Time Video
Abstract. There is a growing trend toward emotional intelligence in humancomputer interaction paradigms. In order to react appropriately to a human, the computer would need to have...
Yafei Sun, Nicu Sebe, Michael S. Lew, Theo Gevers
126
Voted
ASM
2005
ASM
15 years 10 months ago
RAM Simulation of BGS Model of Abstract State Machines
lation of BGS model of Abstract State Machines Comandur Seshadhri1 , Anil Seth2 , and Somenath Biswas2 1 Department of Computer Science Princeton University, Princeton NJ 08544, US...
Seshadhri Comandur, Anil Seth, Somenath Biswas
112
Voted
JUCS
2008
159views more  JUCS 2008»
15 years 5 months ago
Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking
Anatol Slissenko, Pavel Vasilyev
JUCS
2008
148views more  JUCS 2008»
15 years 5 months ago
A Metamodel-based Language and a Simulation Engine for Abstract State Machines
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
188
Voted
ECMDAFA
2005
Springer
236views Hardware» more  ECMDAFA 2005»
15 years 10 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