4340 search results - page 379 / 868 » Formal Methods and Cryptography |
158
click to vote
DCC
2008
IEEE
16 years 6 months ago
2008
IEEE
Re-Pair is a dictionary-based compression method invented in 1999 by Larsson and Moffat. Although its practical performance has been established through experiments, the method ha...
158
Voted
ICCS
2007
Springer
16 years 28 days ago
2007
Springer
After decades of concurrent development of symbolic and connectionist methods, recent years have shown intensifying efforts of integrating those two paradigms. This paper contribu...
192
click to vote
CAV
2005
Springer
16 years 10 days ago
2005
Springer
We present a complete method for synthesizing lexicographic linear ranking functions supported by inductive linear invariants for loops with linear guards and transitions. Proving ...
171
click to vote
FMCO
2005
Springer
16 years 9 days ago
2005
Springer
We present a method for decomposing modal formulas for processes with the internal action τ. To decide whether a process algebra term satisfies a modal formula, one can check whe...
194
click to vote
IAW
2003
IEEE
16 years 2 days ago
2003
IEEE
- Use offormal methods in any application scenario requires a precise characterization and representation of the properties that need to be verified The target, which is desired ri...