963 search results - page 66 / 193 » Formal Analysis of BPMN Models Using Event-B |
119
click to vote
APCCM
2009
15 years 2 months ago
2009
In life science, deeper understanding of biomolecular systems is acquired by computational modeling and analysis. For the modeling of several kinds of reaction networks, e.g. sign...
114
click to vote
CLEIEJ
2002
15 years 1 months ago
2002
Function Point Analysis (FPA) is among the most commonly used techniques to estimate the size of software system projects or software systems. During the point counting process th...
126
click to vote
AICT
2006
IEEE
15 years 7 months ago
2006
IEEE
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
123
click to vote
JCS
2010
14 years 8 months ago
2010
We introduce constraint differentiation, a powerful technique for reducing search when model-checking security protocols using constraint-based methods. Constraint differentiation...
ICFCA
2004
Springer
15 years 6 months ago
2004
Springer
The transfer of tacit knowledge is important in ensuring that an organisations most valuable assets do not walk out the door. While much controversy surrounds the definition of ta...