Sciweavers

1249 search results - page 32 / 250
» State Machine Modeling: From Synch States to Synchronized St...
Sort
View
ADS
2004
Springer
13 years 11 months ago
From Emotion to Interaction: Lessons from Real Human-Machine-Dialogues
The monitoring of emotional user states can help to assess the progress of human-machine-communication. If we look at specific databases, however, we are faced with several problem...
Anton Batliner, Christian Hacker, Stefan Steidl, E...
ASE
2006
114views more  ASE 2006»
13 years 7 months ago
Explicit modeling of semantics associated with composite states in UML statecharts
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
Zhaoxia Hu, Sol M. Shatz
ICCAD
2006
IEEE
111views Hardware» more  ICCAD 2006»
14 years 4 months ago
State re-encoding for peak current minimization
In a synchronous finite state machine (FSM), huge current peaks are often observed at the moment of state transition. Previous low power state encoding algorithms focus on the red...
Shih-Hsu Huang, Chia-Ming Chang, Yow-Tyng Nieh
ASE
2006
123views more  ASE 2006»
13 years 7 months ago
Separating sequence overlap for automated test sequence generation
Finite state machines have been used to model a number of classes of system and there has thus been much interest in the automatic generation of test sequences from finite state m...
Robert M. Hierons
FASE
2003
Springer
14 years 28 days ago
Detecting Implied Scenarios Analyzing Non-local Branching Choices
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
Henry Muccini