1860 search results - page 97 / 372 » A Temporal Logic of Robustness |
87
Voted
ER
2004
Springer
15 years 6 months ago
2004
Springer
The adoption of a logical model for temporal, data-intensive Web sites is proposed together with a methodology for the development. The model allows the definition of page-schemes...
133
click to vote
IJCAI
1997
15 years 1 months ago
1997
It is generally accepted that knowledge based systems would be smarter and more robust if they can manage inconsistent, incomplete or imprecise knowledge. This paper is about a fo...
101
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
94
Voted
CONCUR
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We summarize and reorganize some of the last decade's research on real-time extensions of temporal logic. Our main focus is on tableau constructions for model checki...
112
Voted
ASE
2004
15 years 14 days ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...