373 search results - page 33 / 75 » Model Checking Techniques applied to the design of Web Servi... |
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
118
click to vote
IEEESCC
2010
IEEE
14 years 11 months ago
2010
IEEE
Service-oriented Architectures (SOA) facilitate the provision and orchestration of business services to enable a faster adoption to changing business demands. Web Services provide...
OTM
2005
Springer
15 years 3 months ago
2005
Springer
Model-driven Architecture (MDA) is a software architecture framework proposed by the Object Management Group OMG. MDA emphasises the importance of modelling in the architectural de...
WWW
2008
ACM
15 years 10 months ago
2008
ACM
In this paper, we propose a new approach to automatically compose data providing Web services. Our approach exploits existing mature works done in data integration systems. Specif...
174
click to vote
GIS
2007
ACM
15 years 10 months 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...