Sciweavers

24529 search results - page 511 / 4906
» Computing on Authenticated Data
Sort
View
CMSB
2007
Springer
16 years 10 days ago
On the Analysis of Numerical Data Time Series in Temporal Logic
François Fages, Aurélien Rizk
ICSOC
2007
Springer
16 years 9 days ago
Maintaining Data Dependencies Across BPEL Process Fragments
Rania Khalaf, Oliver Kopp, Frank Leymann