Sciweavers

4894 search results - page 394 / 979
» Choices
Sort
View
IJDE
2006
116views more  IJDE 2006»
15 years 7 months ago
Forensics and SIM Cards: An Overview
Nowadays there are many tools for the extraction of data objects [SWGDE] from SIM cards; unfortunately, most of them are proprietary, or their use is restricted to law enforcement...
Fabio Casadei, Antonio Savoldi, Paolo Gubian
INTERNET
2006
150views more  INTERNET 2006»
15 years 7 months ago
Shopbots: A Syntactic Present, A Semantic Future
: The huge growth of e-commerce has had a profound impact on users who can now choose from an ever increasing number of options online. Inevitably, as the number of choices has inc...
Maria Fasli
CORR
2007
Springer
74views Education» more  CORR 2007»
15 years 7 months ago
Parity Forwarding for Multiple-Relay Networks
—This paper proposes a relaying strategy for the multiple-relay network in which each relay decodes a selection of transmitted messages by other transmitting terminals, and forwa...
Peyman Razaghi, Wei Yu
JGT
2008
55views more  JGT 2008»
15 years 7 months ago
Ore-type degree conditions for a graph to be H-linked
Given a fixed multigraph H with V (H) = {h1, . . . , hm}, we say that a graph G is H-linked if for every choice of m vertices v1, . . . , vm in G, there exists a subdivision of H i...
Alexandr V. Kostochka, Gexin Yu
JLP
2008
75views more  JLP 2008»
15 years 7 months ago
Automated verification of selected equivalences for security protocols
In the analysis of security protocols, methods and tools for reasoning about protocol behaviors have been quite effective. We aim to expand the scope of those methods and tools. W...
Bruno Blanchet, Martín Abadi, Cédric...