4286 search results - page 23 / 858 » Formalizing Service Interactions |
99
Voted
SFM
2009
Springer
15 years 7 months ago
2009
Springer
109
Voted
SFM
2009
Springer
15 years 7 months ago
2009
Springer
109
click to vote
WWW
2005
ACM
16 years 3 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...
123
Voted
DEBU
2008
15 years 2 months ago
2008
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
158
Voted
DSVIS
1998
Springer
15 years 6 months ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...