2530 search results - page 170 / 506 » Dynamic topological logic |
143
click to vote
ASIAN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present a logic-based framework to evaluate the resilience of computer networks in the face of incidents, i.e., attacks from malicious intruders as well as random faul...
111
click to vote
JELIA
1990
Springer
15 years 8 months ago
1990
Springer
In Floyd-Hoare logic, programs are dynamic while assertions are static (hold at states). In action logic the two notions become one, with programs viewed as on-the-fly assertions ...
115
Voted
AI
2010
Springer
15 years 4 months ago
2010
Springer
Delegation is a foundational concept for understanding and engineering systems that interact and execute tasks autonomously. By extending recent work on tensed action logic, it be...
134
Voted
MICCAI
2008
Springer
16 years 5 months ago
2008
Springer
Aortic valve disease is an important cardio-vascular disorder, which affects 2.5% of the global population and often requires elaborate clinical management. Experts agree that visu...
138
Voted
ICCS
2009
Springer
15 years 10 months ago
2009
Springer
Research into large-scale distributed systems often relies on the use of simulation frameworks in order to bypass the disadvantages of performing experiments on real testbeds. SimG...