963 search results - page 114 / 193 » Formal Analysis of BPMN Models Using Event-B |
118
Voted
CSFW
2010
IEEE
15 years 5 months ago
2010
IEEE
—Although policy compliance testing is generally treated as a binary decision problem, the evidence gathered during the trust management process can actually be used to examine t...
110
click to vote
EDOC
2007
IEEE
15 years 7 months ago
2007
IEEE
The increasing complexity of modern Information Services (IS) makes necessary to carry on review activities. For many companies, these reviews take place within the framework of t...
118
click to vote
APN
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. In this work, we address the problem of transient and steadystate analysis of a stochastic Petri net which includes non Markovian distributions with a finite support but ...
117
click to vote
FDL
2011
IEEE
14 years 1 months ago
2011
IEEE
—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...
120
click to vote
FAC
2000
15 years 1 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...