1716 search results - page 189 / 344 » Proving Conditional Termination |
186
click to vote
DSOM
2005
Springer
16 years 15 days 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...
166
Voted
IMA
2005
Springer
16 years 14 days 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...
163
click to vote
PODC
2004
ACM
16 years 11 days 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...
181
Voted
ECAI
2004
Springer
16 years 10 days 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 ...
208
Voted
FM
2003
Springer
16 years 5 days 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...