Sciweavers

17129 search results - page 95 / 3426
» Applied Computing
Sort
View
IEEESCC
2008
IEEE
15 years 4 months ago
Deriving Explicit Data Links in WS-BPEL Processes
Oliver Kopp, Rania Khalaf, Frank Leymann
ARITH
2007
IEEE
15 years 4 months ago
Formal Verification of Floating-Point Programs
Sylvie Boldo, Jean-Christophe Filliâtre