3765 search results - page 581 / 753 » Formal Methods for Systems Engineering Behavior Models |
209
click to vote
RE
2008
Springer
15 years 6 months ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
188
click to vote
Publication
Tracking heart motion plays an essential role in the diagnosis of cardiovascular diseases. As such, accurate characterization of dynamic behavior of the left ventricle (LV) is esse...
165
click to vote
ATAL
2011
Springer
14 years 6 months ago
2011
Springer
Recent work in communications and business modeling emphasizes a commitment-based view of interaction. By abstracting away from implementation-level details, commitments can poten...
214
click to vote
PREMI
2007
Springer
16 years 20 days ago
2007
Springer
The rapid expansion of the Internet has resulted not only in the ever-growing amount of data stored therein, but also in the burgeoning complexity of the concepts and phenomena per...
169
click to vote
SG
2007
Springer
16 years 19 days ago
2007
Springer
: We propose a sketch-based interface for modeling the myocardial fiber orientation required in the electrophysiological simulation of the heart, especially the ventricles. The use...