4763 search results - page 281 / 953 » On the Execution of Deep Models |
225
click to vote
SAM
2004
15 years 8 months ago
2004
We propose a partial order reduction for model checking security protocols for the secrecy property. Based on this reduction we develop an automatic tool that can check security pr...
129
click to vote
MSCS
2008
15 years 6 months ago
2008
We model micro-architectures with non-pipelined instruction processing and pipelined instruction processing, using Maurer machines, basic thread algebra and program algebra. We sho...
185
click to vote
CAISE
2009
Springer
16 years 1 months ago
2009
Springer
In this paper, we present a heuristic approach for finding errors and possible improvements in business process models. First, we translate the information that is included in a m...
171
click to vote
ACISP
2008
Springer
16 years 1 months ago
2008
Springer
In the pre-specified peer model for key agreement, it is assumed that a party knows the identifier of its intended communicating peer when it commences a protocol run. On the oth...
161
click to vote
ISORC
2006
IEEE
16 years 22 days ago
2006
IEEE
Many prior approaches in UML-based embedded software design incorporate state-based behavior modeling. However, interaction-based behavior modeling provides more intuitive view of...