1336 search results - page 30 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
135
click to vote
JSS
2007
15 years 2 months ago
2007
Research into design rationale in the past has focused on argumentation-based design deliberations. These approaches cannot be used to support change impact analysis effectively ...
119
click to vote
CSCWD
2005
Springer
15 years 5 months ago
2005
Springer
Process mining techniques allow for extracting information from event logs. For example, the audit trails of a workflow management system or the transaction logs of an enterprise ...
103
click to vote
JLP
2006
15 years 3 months ago
2006
We present an algorithm for the linearization of hybrid processes modeled in hybrid process algebra (HyPA) and prove its correctness. HyPA is a formalism that is suitable for the ...
153
click to vote
WAPCV
2007
Springer
15 years 9 months ago
2007
Springer
In this paper a simulation model for visual attention is discussed and formally analysed. The model is part of the design of a cognitive system which comprises an agent that suppor...
131
click to vote
ICCAD
2006
IEEE
16 years 2 days ago
2006
IEEE
Abstract— Design variability due to within-die and die-todie process variations has the potential to significantly reduce the maximum operating frequency and the effective yield...