Sciweavers

4061 search results - page 509 / 813
» Framework Evolution Tool
Sort
View
168
Voted
JSW
2008
118views more  JSW 2008»
15 years 6 months ago
Deciding the Correctness of Attacks on Authentication Protocols
A new tool for automated validation of attacks on authentication protocols has been used to find several errors and ambiguities in the list of attacks described in the well known r...
Anders Moen Hagalisletto
IDA
2007
Springer
15 years 6 months ago
Second-order uncertainty calculations by using the imprecise Dirichlet model
Natural extension is a powerful tool for combining the expert judgments in the framework of imprecise probability theory. However, it assumes that every judgment is “true” and...
Lev V. Utkin
TIT
2002
63views more  TIT 2002»
15 years 6 months ago
Fibonacci and Galois representations of feedback-with-carry shift registers
Feedback with carry shift registers (FCSRs) are a class of finite state devices that are similar to linear feedback shift registers (LFSRs) in their simplicity and statistical ran...
Mark Goresky, Andrew Klapper
ACL
2010
15 years 4 months ago
An Open-Source Package for Recognizing Textual Entailment
This paper presents a general-purpose open source package for recognizing Textual Entailment. The system implements a collection of algorithms, providing a configurable framework ...
Milen Kouylekov, Matteo Negri
IAT
2010
IEEE
15 years 4 months ago
Location-Based Semantic Matchmaking in Ubiquitous Computing
Ever increasing efforts are spent in developing techniques and tools for a full exploitation of semantics in mobile environments, able to overcome volatility and resource limitati...
Michele Ruta, Floriano Scioscia, Eugenio Di Sciasc...