2357 search results - page 231 / 472 » Computing Refactorings of Behavior Models |
114
click to vote
GI
2009
Springer
15 years 1 months ago
2009
Springer
: An operational Air Surveillance System shall generate a stable and reliable air picture. In dense target situations the quality of available sensor data is reduced. System models...
147
Voted
HCI
2009
15 years 1 months ago
2009
In this paper we propose the method of multimodal corpus analysis to collect enough empirical data for modeling the behavior of embodied conversational agents. This is a prerequisi...
115
Voted
CONCURRENCY
2002
15 years 3 months ago
2002
Dissipative particle dynamics (DPD) and its generalization - fluid particle model (FPM) - represent the "fluid particle" approach for simulating fluid-like behavior in t...
128
click to vote
IWSAS
2001
Springer
15 years 8 months ago
2001
Springer
The Infrastructure of modern society is controlled by software systems that are vulnerable to attack. Successful attacks on these systems can lead to catastrophic results; the sur...
138
click to vote
FMSD
2010
15 years 2 months ago
2010
In this paper, we consider verifying properties of mixed-signal circuits, i.e., circuits for which there is an interaction between analog (continuous) and digital (discrete) values...