5255 search results - page 690 / 1051 » Formal Methods for Privacy |
143
click to vote
ECBS
2005
IEEE
16 years 11 days ago
2005
IEEE
The fulfillment of time requirements is one of the major acceptance criteria of safety-critical and real-time systems. They are dictated by the environment of these systems and a...
162
click to vote
FDL
2005
IEEE
16 years 11 days ago
2005
IEEE
In order to address the complexities of SoC design, rigorous development methods and automated tools are required. This paper presents an approach to formal verification using mod...
204
click to vote
IEEECIT
2005
IEEE
16 years 10 days ago
2005
IEEE
Web warehouse provides high availability and efficiency by utilizing materialized webviews, which should be refreshed in time to keep freshness. During the refreshing, the consis...
168
click to vote
AIME
2005
Springer
16 years 9 days ago
2005
Springer
Evidence-based clinical guidelines require frequent updates due to research and technology advances. The quality of guideline updates can be improved if the knowledge underlying th...
187
click to vote
CAV
2005
Springer
16 years 9 days ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...