10 search results - page 1 / 2 » Going with the Flow: Parameterized Verification Using Messag... |
FMCAD
2008
Springer
13 years 6 months ago
2008
Springer
A message flow is a sequence of messages sent among processors during the execution of a protocol, usually illustrated with something like a message sequence chart. Protocol design...
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Message Sequence Charts (MSCs) are an appealing visual formalism mainly used in the early stages of system design to capture the system requirements. However, if we move towards a...
ACSAC
2010
IEEE
13 years 2 months ago
2010
IEEE
Leakage of confidential information represents a serious security risk. Despite a number of novel, theoretical advances, it has been unclear if and how quantitative approaches to ...
ATAL
2008
Springer
13 years 6 months ago
2008
Springer
nts have recently emerged as a valuable abstraction for characterizing interactions among autonomous agents at the level of their business relationships. Traditionally, interopera...