1728 search results - page 213 / 346 » Formal Modeling of Process Migration |
96
Voted
SERP
2003
15 years 2 months ago
2003
System reliability has become an increasingly important benchmark in measuring service continuity. As part of many service level agreements, system performance is gauged by how lo...
91
Voted
COGSCI
2010
15 years 27 days ago
2010
We develop and evaluate a model of behavior on the Give-N task, a commonly used measure of young children's number knowledge. Our model uses the knower-level theory of how ch...
116
Voted
ASE
2006
15 years 26 days ago
2006
: 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...
112
click to vote
COGSR
2010
14 years 7 months ago
2010
Emotion regulation describes how a subject can use certain strategies to affect emotion response levels. Usually, models for emotion regulation assume mechanisms based on feedback...
129
click to vote
CALCO
2007
Springer
15 years 7 months ago
2007
Springer
Much current work on modelling and verifying microprocessors can accommodate pipelined and superscalar processors. However, superscalar and pipelined processors are no longer state...