15644 search results - page 155 / 3129 » Brittle System Analysis |
168
click to vote
ICPPW
1999
IEEE
15 years 10 months ago
1999
IEEE
A distributed WWW caching system based on Internet Cache Protocol (ICP) is a system where a cache of a single proxy server is shared by others. When a proxy server receives an HTT...
291
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
We show how theorem proving and methods for handling real algebraic constraints can be combined for hybrid system verification. In particular, we highlight the interaction of deduc...
125
click to vote
SCAM
2007
IEEE
16 years 23 days ago
2007
IEEE
In the current demonstration we present a new tool which increases the level of understanding and the accuracy of design quality assessment within enterprise systems. This is perf...