1336 search results - page 30 / 268 » Modelling and Analysis of PKI-Based Systems Using Process Ca... |
167
click to vote
JSS
2007
15 years 4 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 ...
142
Voted
CSCWD
2005
Springer
15 years 7 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 ...
121
click to vote
JLP
2006
15 years 5 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 ...
182
click to vote
WAPCV
2007
Springer
15 years 11 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...
148
click to vote
ICCAD
2006
IEEE
16 years 2 months 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...