9305 search results - page 112 / 1861 » Modeling Blog Dynamics |
ICSE
2010
IEEE-ACM
14 years 3 months ago
2010
IEEE-ACM
Software behavioral models have proven useful for design, validation, verification, and maintenance. However, existing approaches for deriving such models sometimes overgeneraliz...
ASM
2000
ASM
14 years 2 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
CDC
2009
IEEE
14 years 2 months ago
2009
IEEE
A closed-loop model with actuator dynamics and sensory feedback has been developed to capture the complex postural behaviors observed in a human head tracking task. In motor-contro...
DALT
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bd...
MSV
2007
13 years 11 months ago
2007
Abstract We numerically model the effects of repetitive human head motions in traumatic scenarios that are associated with severe brain injuries. Our results are based on the line...