950 search results - page 112 / 190 » Process Algebra in PVS |
151
click to vote
IFIP
2009
Springer
16 years 27 days ago
2009
Springer
We consider the problem of detecting covert channels within security-enforcing object-capability patterns. Traditional formalisms for reasoning about the security properties of obj...
188
click to vote
LION
2009
Springer
16 years 27 days ago
2009
Springer
Graph partitioning is a well-known optimization problem of great interest in theoretical and applied studies. Since the 1990s, many multilevel schemes have been introduced as a pra...
202
click to vote
AB
2008
Springer
16 years 21 days ago
2008
Springer
We explore the computational power of biochemistry with respect to basic chemistry, identifying complexation as the basic mechanism that distinguishes the former from the latter. W...
157
click to vote
ICNP
2007
IEEE
16 years 20 days ago
2007
IEEE
- A Network Court Protocol is designed for malicious node conviction based on information from network node accusing and testifying operations, which are formally modeled by algebr...
154
click to vote
MODELS
2007
Springer
16 years 14 days ago
2007
Springer
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...