382 search results - page 27 / 77 » A Formalization of Trust Alignment |
126
click to vote
COMPSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
Securely accessing unfamiliar services in public environments using ad hoc wireless networks is challenging. We present a proxy-based approach that uses other existing network cha...
131
Voted
MLCW
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes the Bar-Ilan system participating in the Recognising Textual Entailment Challenge. The paper proposes first a general probabilistic setting that formalizes th...
148
click to vote
JUCS
2010
15 years 8 days ago
2010
: For many years, physical asset indicators were the main evidence of an organization’s successful performance. However, the situation has changed following the revolution of inf...
100
click to vote
SEMWEB
2004
Springer
15 years 7 months ago
2004
Springer
The Semantic Web consists of many RDF graphs nameable by URIs. This paper extends the syntax and semantics of RDF to cover such Named Graphs. This enables RDF statements that descr...
144
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
For `mixed-criticality' systems that have both critical and non-critical functions, the greatest leverage on dependability may be at the design level. By designing so that ea...