2722 search results - page 290 / 545 » The Model Evolution Calculus |
142
Voted
FM
2006
Springer
15 years 7 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
110
Voted
NN
2007
Springer
15 years 3 months ago
2007
Springer
The temporal evolution of nearshore sandbars (alongshore ridges of sand fringing coasts in water depths less than 10 m and of paramount importance for coastal safety) is commonly ...
221
click to vote
Book
This book is aimed at senior undergraduates and graduate students in Engineering, Science, Mathematics, and Computing. It expects familiarity with calculus, probability theory, and...
119
click to vote
MICCAI
2007
Springer
16 years 4 months ago
2007
Springer
We present a novel method to track a guidewire in cardiac x-ray video. Using variational calculus, we derive differential equations that deform a spline, subject to intrinsic and e...
108
Voted
PODS
2004
ACM
16 years 3 months ago
2004
ACM
d abstract) Michael Benedikt Bell Labs Jan Van den Bussche Limburgs Universitair Centrum Christof L?oding Lehrstuhl Informatik VII RWTH Aachen Thomas Wilke Institut f?ur Informatik...