5550 search results - page 329 / 1110 » Different Approaches to Proof Systems |
140
click to vote
COLING
1990
15 years 8 months ago
1990
Tiffs lmper concerns an approach to Machine Translation whieJJ differs from the typical 'standard' approaches crucially in.that it does not rely on the prior existence o...
171
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
165
click to vote
ISCAS
2006
IEEE
16 years 24 days ago
2006
IEEE
In recent times, much attention has been devoted to power optimization for real-time systems, while guaranteeing that such systems meet their hard (or soft) scheduling deadlines. ...
196
Voted
IPM
2006
15 years 6 months ago
2006
Measuring effectiveness of information retrieval (IR) systems is essential for research and development and for monitoring search quality in dynamic environments. In this study, w...
183
click to vote
CSFW
2009
IEEE
15 years 10 months ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...