14 search results - page 1 / 3 » A Framework for Contract-Based Collaborative Verification an... |
CBSE
2007
Springer
13 years 11 months ago
2007
Springer
WORDS
2005
IEEE
13 years 10 months ago
2005
IEEE
Service-Oriented Architecture (SOA) and Web Services (WS) have received significant attention recently. Even though WS are based on open standards and support software interoperab...
IEEESCC
2005
IEEE
13 years 10 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...
ISORC
2005
IEEE
13 years 10 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
ICWS
2004
IEEE
13 years 6 months ago
2004
IEEE
Next-generation Government Information Systems will integrate large amounts of heterogeneous data sources located on distributed networks like the Internet. We present Net Travele...