963 search results - page 55 / 193 » Formal Analysis of BPMN Models Using Event-B |
113
click to vote
EUROMICRO
2007
IEEE
15 years 3 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
102
click to vote
SAS
2007
Springer
15 years 7 months ago
2007
Springer
We present a new pointer analysis for use in shared memory programs running on hierarchical parallel machines. The analysis is motivated by the partitioned global address space lan...
134
click to vote
ICDAR
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper introduces a framework for clarifying and formalizing the duplicate document detection problem. Four distinct models are presented, each with a corresponding algorithm ...
102
click to vote
EUROCRYPT
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We present a formalism for the analysis of key-exchange protocols that combines previous definitional approaches and results in a definition of security that enjoys som...
ACSAC
1999
IEEE
15 years 5 months ago
1999
IEEE
The Automatic Authentication Protocol Analyzer, 2nd Version AAPA2 is a fast, completely automatic tool for formally analyzing cryptographic protocols. It correctly identi es vulne...