Sciweavers

58 search results - page 2 / 12
» Simulator for Real-Time Abstract State Machines
Sort
View
ECCV
2004
Springer
16 years 13 days 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
ASM
2005
ASM
16 years 18 days 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
143
Voted
JUCS
2008
159views more  JUCS 2008»
15 years 7 months ago
Simulation of Timed Abstract State Machines with Predicate Logic Model-Checking
Anatol Slissenko, Pavel Vasilyev
135
Voted
JUCS
2008
148views more  JUCS 2008»
15 years 7 months ago
A Metamodel-based Language and a Simulation Engine for Abstract State Machines
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
ECMDAFA
2005
Springer
236views Hardware» more  ECMDAFA 2005»
16 years 17 days 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