Sciweavers

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