250 search results - page 43 / 50 » Towards Formal Verification of Web Service Composition |
ISSTA
2004
ACM
15 years 5 months ago
2004
ACM
The use of XML as the de facto data exchange standard has allowed integration of heterogeneous web based software systems regardless of implementation platforms and programming la...
106
click to vote
JUCS
2008
14 years 11 months ago
2008
Abstract: Reuse of software entities such as components or Web services raise composition issues since, most of the time, they present mismatches in their interfaces. These mismatc...
PODS
2008
ACM
15 years 11 months ago
2008
ACM
The W3C Document Object Model (DOM) specifies an XML update library. DOM is written in English, and is therefore not compositional and not complete. We provide a first step toward...
187
click to vote
GIS
2007
ACM
16 years 22 days ago
2007
ACM
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
113
Voted
OTM
2004
Springer
15 years 5 months ago
2004
Springer
Peer-to-peer networks and grids offer promising paradigms for developing efficient distributed systems and applications. Event-based middleware is becoming a core architectural el...