8828 search results - page 326 / 1766 » Formal methods in practice |
195
click to vote
DEXAW
2007
IEEE
16 years 1 months ago
2007
IEEE
Question Answering (QA) systems automatically answer natural language questions in a human-like manner. One of the practical approaches to open domain QA consists in extracting fa...
204
click to vote
MEMOCODE
2007
IEEE
16 years 1 months ago
2007
IEEE
Due to the rapidly growing speed and the decreasing size of gates in modern chips, the probability of faults caused by the production process grows. Already small variations lead ...
185
click to vote
CCS
2007
ACM
16 years 28 days 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...
156
click to vote
IFM
2007
Springer
16 years 27 days ago
2007
Springer
Many process calculi have been proposed since Robin Milner and Tony Hoare opened the way more than 25 years ago. Although they are based on the same kernel of operators, most of th...
155
click to vote
CAV
2005
Springer
16 years 8 days 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...