2209 search results - page 174 / 442 » Language Based Secure Communication |
134
click to vote
COMCOM
2008
15 years 4 months ago
2008
Despite the advantages offered by pure Peer-to-Peer (P2P) networks (e.g. robustness and fault tolerance), a crucial requirement is to guarantee basic security properties, such as ...
141
click to vote
DSN
2004
IEEE
15 years 8 months ago
2004
IEEE
Wireless sensor networks face acute security concerns in applications such as battlefield monitoring. A central point of failure in a sensor network is the base station, which act...
161
click to vote
DKE
2008
15 years 4 months ago
2008
In this work, we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic ...
153
click to vote
PPL
2008
15 years 4 months ago
2008
Execution of programs with data parallel language constructs is either based on the fork/join or on the SPMD model. Whereas the former executes a program sequentially and confines...
148
click to vote
AICCSA
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...