Sciweavers

16218 search results - page 178 / 3244
» Standards
Sort
View
CN
2006
83views more  CN 2006»
15 years 4 months ago
A generic characterization of the overheads imposed by IPsec and associated cryptographic algorithms
This paper presents an assessment of the communication overheads of IPsec and evaluates the feasibility of deploying it on handheld devices for the UMTS architecture. A wide range...
Christos Xenakis, Nikolaos Laoutaris, Lazaros F. M...
COMCOM
2006
85views more  COMCOM 2006»
15 years 4 months ago
Seamless continuity of PS-services in WLAN/3G interworking
Paulo Pinto, Luis Bernardo, Pedro Sobral
CORR
2006
Springer
120views Education» more  CORR 2006»
15 years 4 months ago
Reasoning About Knowledge of Unawareness
Awareness has been shown to be a useful addition to standard epistemic logic for many applications. However, standard propositional logics for knowledge and awareness cannot expre...
Joseph Y. Halpern, Leandro Chaves Rêgo
77
Voted
IANDC
2006
52views more  IANDC 2006»
15 years 4 months ago
Incompleteness of states w.r.t. traces in model checking
Cousot and Cousot introduced and studied a general past/future-time specification language, called
Roberto Giacobazzi, Francesco Ranzato
CN
2007
87views more  CN 2007»
15 years 4 months ago
Routing and quality of service support for mobile ad hoc networks
OLSR is an optimization over classical link state protocols tailored for mobile ad hoc networks. In this paper, we propose the QOLSR protocol which includes quality parameters to ...
Anelise Munaretto, Mauro Fonseca