950 search results - page 93 / 190 » Tool Support for Model Checking of Web Application Designs |
KBSE
2003
IEEE
14 years 1 months ago
2003
IEEE
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created fr...
SIGSAND
2008
13 years 9 months ago
2008
: Conceptual business process models such as Event-driven Process Chains (EPCs) play an important role in the business process management life cycle. The problem in this context is...
DEXAW
2009
IEEE
14 years 2 months ago
2009
IEEE
—In this paper RDFStats is introduced, which is a generator for statistics of RDF sources like SPARQL endpoints and RDF documents. RDFStats does not only provide a statistics gen...
GIS
2002
ACM
13 years 7 months ago
2002
ACM
Geographical information systems are more and more based on a DBMS with spatial extensions, which is also the case for the system described in this paper. The design and implementa...
DGO
2007
13 years 9 months ago
2007
Significant efforts are currently being pursued by several countries and IT providers to deploy SOA (Service Oriented Architecture) designs of digital government systems that inte...