63 search results - page 12 / 13 » Formal Modeling and Discrete-Time Analysis of BPEL Web Servi... |
ESORICS
2005
Springer
13 years 10 months ago
2005
Springer
Currently, many industrial initiatives focus on web-based applications. In this context an important requirement is that the user should only rely on a standard web browser. Hence...
POPL
2012
ACM
12 years 25 days ago
2012
ACM
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
CSFW
2009
IEEE
14 years 16 hour ago
2009
IEEE
Cryptographic protocols are crucial for securing electronic transactions. The confidence in these protocols can be increased by the formal analysis of their security properties. ...
SOCA
2008
IEEE
13 years 5 months ago
2008
IEEE
Specification, modeling and analysis of interactions among peers that communicate via messages are becoming increasingly important due to the emergence of service oriented computi...
ICFEM
2005
Springer
13 years 10 months ago
2005
Springer
We provide precise high-level models for eight fundamental service interaction patterns, together with schemes for their composition into complex service-based business process int...