284 search results - page 43 / 57 » WSAT: A Tool for Formal Analysis of Web Services |
IEEEAMS
2003
IEEE
14 years 1 months ago
2003
IEEE
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...
SC
2009
ACM
14 years 21 days ago
2009
ACM
The Social Informatics Data Grid (SIDGrid) is a new cyberinfrastructure designed to transform how social and behavioral scientists collect and annotate data, collaborate and share...
WWW
2002
ACM
14 years 8 months ago
2002
ACM
Richly interlinked, machine-understandable data constitute the basis for the Semantic Web. We provide a framework, CREAM, that allows for creation of metadata. While the annotatio...
ICFEM
2005
Springer
14 years 1 months ago
2005
Springer
We provide precise high-level models for eight fundamental service interaction patterns, together with schemes for their composition into complex service-based business process int...
WSC
2007
13 years 10 months ago
2007
The automated analysis of model specifications is an area that historically receives little attention in the simulation research community but which can offer significant bene...