Sciweavers

4496 search results - page 349 / 900
» DACS Web Service
Sort
View
SAS
2004
Springer
134views Formal Methods» more  SAS 2004»
16 years 1 days ago
Towards Declarative Programming for Web Services
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
Sheila A. McIlraith
SEMWEB
2004
Springer
16 years 1 days ago
ASSAM: A Tool for Semi-automatically Annotating Semantic Web Services
Andreas Heß, Eddie Johnston, Nicholas Kushme...
TES
2004
Springer
16 years 1 days ago
When are Two Web Services Compatible?
Lucas Bordeaux, Gwen Salaün, Daniela Berardi,...