14360 search results - page 2781 / 2872 » Time Modeling in MARTE |
165
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
172
click to vote
DAGM
2003
Springer
15 years 11 months ago
2003
Springer
We provide an overview of spline and wavelet techniques with an emphasis on applications in pattern recognition. The presentation is divided in three parts. In the first one, we ar...
139
click to vote
DIS
2003
Springer
15 years 11 months ago
2003
Springer
Computing abductive explanations is an important problem, which has been studied extensively in Artificial Intelligence (AI) and related disciplines. While computing some abductiv...
164
click to vote
EGH
2003
Springer
15 years 11 months ago
2003
Springer
Current graphics hardware can render procedurally shaded objects in real-time. However, due to resource and performance limitations, interactive shaders can not yet approach the c...
193
click to vote
EWMF
2003
Springer
15 years 11 months ago
2003
Springer
Abstract With the ongoing shift from off-line to on-line business processes, the Web has become an important business platform, and for most companies it is crucial to have an on-...