2687 search results - page 185 / 538 » Formal Analysis of PKCS |
145
click to vote
SOFSEM
2009
Springer
16 years 1 months ago
2009
Springer
Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundam...
116
click to vote
PRIB
2009
Springer
15 years 11 months ago
2009
Springer
Discovery of molecular markers for efficient identification of living organisms remains a challenge of high interest. The diversity of species can now be observed in details with ...
133
Voted
ANSS
2007
IEEE
15 years 11 months ago
2007
IEEE
DEVS is a formalism to describe generic dynamic systems in a hierarchical and modular way. We present new techniques for executing DEVS and CellDEVS models in parallel and distrib...
157
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
The goal of our research project is to establish a type-based method for verification of certain critical properties (such as deadlockand race-freedom) of operating system kernels...
117
click to vote
ISCC
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper, we first attempt to formally define the resource control framework that adjusts the resource provisioning at the hotspot during congestion. In an effort to find ...