963 search results - page 109 / 193 » Formal Analysis of BPMN Models Using Event-B |
136
click to vote
ATVA
2007
Springer
15 years 7 months ago
2007
Springer
Fault tree analysis is a traditional and well-established technique for analyzing system design and robustness. Its purpose is to identify sets of basic events, called cut sets, wh...
108
click to vote
FROCOS
2007
Springer
15 years 7 months ago
2007
Springer
Web services send and receive messages in XML syntax with some parts hashed, encrypted or signed, according to the WS-Security standard. In this paper we introduce a model to forma...
124
click to vote
JALC
2006
15 years 1 months ago
2006
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
107
click to vote
VLDB
2007
ACM
15 years 7 months ago
2007
ACM
The Transaction Processing Performance Council (TPC) is completing development of TPC-DS, a new generation industry standard decision support benchmark. The TPC-DS benchmark, firs...
ENTCS
2006
15 years 1 months ago
2006
In this paper, we discuss how to model systems that communicate through and are coordinated by mobile channels. Mainly, we focus on modeling the exogenous coordination behavior im...