284 search results - page 11 / 57 » WSAT: A Tool for Formal Analysis of Web Services |
ICSOC
2010
Springer
13 years 6 months ago
2010
Springer
Service-Oriented Computing (SOC) has gained considerable popularity for implementing Service-Based Applications (SBAs) in a flexible and effective manner. The basic idea of SOC i...
ISEC
2001
Springer
14 years 14 days ago
2001
Springer
Over the past decade the Internet has evolved into the largest public community in the world. It provides a wealth of data content and services in almost every field of science, t...
BIOCOMP
2006
13 years 9 months ago
2006
- Web services is distributed computing technology that provides software services over the Web. The Cyberinfrastructure Group at the Virginia Bioinformatics Institute (VBI) has ad...
LREC
2010
13 years 9 months ago
2010
eScience - enhanced science - is a new paradigm of scientific work and research. In the humanities, eScience environments can be helpful in establishing new workflows and lifecycl...
SAS
2004
Springer
14 years 1 months ago
2004
Springer
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....