1336 search results - page 13 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
CAISE
2009
Springer
14 years 2 months ago
2009
Springer
Evaluating the complexity of business processes during the early stages of their development, primarily during the process modelling phase, provides organizations and stakeholder w...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
COMSIS
2007
13 years 7 months ago
2007
The theoretical outcomes and experimental results of new color model implemented in algorithms and software of image processing are presented in the paper. This model, as it will b...
FSTTCS
2003
Springer
14 years 19 days ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
RTAS
2009
IEEE
14 years 2 months ago
2009
IEEE
Over the last few years, Real-Time Calculus has been used extensively to model and analyze embedded systems processing continuous data/event streams. Towards this, bounds on the a...