1415 search results - page 70 / 283 » Verified systems by composition from verified components |
188
click to vote
MODELS
2010
Springer
15 years 4 months ago
2010
Springer
Formal analysis can be used to verify that a model of the system adheres to its requirements. As such, traditional formal analysis focuses on whether known (desired) system propert...
162
click to vote
SEFM
2005
IEEE
15 years 12 months ago
2005
IEEE
Component Based Development (CBD) aims to facilitate the construction of large-scale applications by supporting the composition of simple building blocks into complex applications...
158
click to vote
AICT
2006
IEEE
16 years 12 days ago
2006
IEEE
Workflow and Web Services have the main role in the development and in the realisation of B2B architectures. In this context, the principal target is to compose many services supp...
158
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
203
click to vote
MSE
2002
IEEE
15 years 11 months ago
2002
IEEE
A web service is a programmable web application accessible using standard Internet protocols. A threelayer architecture has been suggested for web services: service providers, ser...