1716 search results - page 189 / 344 » Proving Conditional Termination |
112
Voted
DSOM
2005
Springer
15 years 6 months ago
2005
Springer
We present a design for policy-based performance management of SMS Systems. The design takes as input the operator’s performance goals, which are expressed as policies that can b...
98
Voted
IMA
2005
Springer
15 years 6 months ago
2005
Springer
In recent years much research has been devoted to producing formal models of security for cryptographic primitives and to designing schemes that can be proved secure in such models...
103
click to vote
PODC
2004
ACM
15 years 6 months ago
2004
ACM
We explore the computational power of networks of small resource-limited mobile agents. We define two new models of computation based on pairwise interactions of finite-state ag...
103
Voted
ECAI
2004
Springer
15 years 6 months ago
2004
Springer
In this work we further investigate the relation, first found by Truszczy´nski, between modal logic S4F and Default Logic (DL), analyzing some interesting properties and showing ...
119
Voted
FM
2003
Springer
15 years 6 months ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...