1133 search results - page 78 / 227 » Local Logics for Traces |
87
Voted
CSL
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we continue the study of ‘sabotage modal logic’ SML which was suggested by van Benthem. In this logic one describes the progression along edges of a transition gr...
SAT
2004
Springer
15 years 6 months ago
2004
Springer
The paper studies the use of global unobservability constraints in a CNF translation of Boolean formulas, where the unobservability of logic blocks is encoded with CNF unobservabil...
107
click to vote
COMCOM
2002
15 years 19 days ago
2002
This paper describes a new technique for measuring Web client request patterns and analyzes a large client trace collected using the new method. In this approach a modified proxy ...
92
Voted
CADE
2010
Springer
15 years 1 months ago
2010
Springer
It has recently been shown that proofs in which some symbols are colored (e.g. local or split proofs and symbol-eliminating proofs) can be used for a number of applications, such a...
172
Voted
GIS
2009
ACM
16 years 1 months ago
2009
ACM
Many popular online services provide "local" or "yellow-pages" search, but none of them allow users to customize the search over user-specified data. Instead, ...