358 search results - page 62 / 72 » Introducing Formal Specification Methods in Industrial Pract... |
149
click to vote
JMLR
2011
14 years 6 months ago
2011
A widely agreed upon definition of time series causality inference, established in the seminal 1969 article of Clive Granger (1969), is based on the relative ability of the histor...
CCS
2007
ACM
15 years 5 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...
116
click to vote
KI
2007
Springer
15 years 5 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...
CAV
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The coverability problem is decidable for the class of wellstructured transition systems. Until recently, the only known algorithm to solve this problem was based on symb...
EACL
2003
ACL Anthology
15 years 1 months ago
2003
ACL Anthology
This paper provides a method for generating compact and efficient code to implement the enforcement of a description in typed feature logic. It does so by viewing information abo...