2702 search results - page 293 / 541 » Practically Applicable Formal Methods |
114
Voted
CCS
2007
ACM
15 years 9 months ago
2007
ACM
Recently, a universally composable framework for RFID authentication protocols providing availability, anonymity, and authenticity was proposed. In this paper we extend that frame...
143
click to vote
KI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Markov logic, as a highly expressive representation formalism that essentially combines the semantics of probabilistic graphical models with the full power of first-orde...
118
Voted
DLT
2004
15 years 4 months ago
2004
There is a close relationship between formal language theory and data compression. Since 1990's various types of grammar-based text compression algorithms have been introduced...
133
Voted
DAC
2007
ACM
16 years 3 months ago
2007
ACM
An effective method for focusing optimization effort on the most important parts of a design is to examine those elements on the critical path. Traditionally, the critical path is...
106
Voted
CAV
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. Size-change termination involves deducing program termination based on the impossibility of infinite descent. To this end we may use m abstraction in which transitions ar...