Sciweavers

12289 search results - page 741 / 2458
» computing 2006
Sort
View
IJISEC
2007
88views more  IJISEC 2007»
15 years 7 months ago
Secure group key establishment revisited
Abstract. We examine the popular proof models for group key establishment of Bresson et al. [BCPQ01,BCP01] and point out missing security properties addressing malicious protocol p...
Jens-Matthias Bohli, Maria Isabel Gonzalez Vasco, ...
FUIN
2006
85views more  FUIN 2006»
15 years 7 months ago
Decidability and Universality in Symbolic Dynamical Systems
Many different definitions of computational universality for various types of dynamical systems have flourished since Turing's work. We propose a general definition of univers...
Jean-Charles Delvenne, Petr Kurka, Vincent D. Blon...
PUC
2006
72views more  PUC 2006»
15 years 7 months ago
Towards self-protecting ubiquitous systems: monitoring trust-based interactions
The requirement for spontaneous interaction in ubiquitous computing creates security issues over and above those present in other areas of computing, deeming traditional approaches...
Colin English, Sotirios Terzis, Paddy Nixon
MONET
2002
162views more  MONET 2002»
15 years 7 months ago
Multi-Sensor Context-Awareness in Mobile Devices and Smart Artifacts
The use of context in mobile devices is receiving increasing attention in mobile and ubiquitous computing research. In this article we consider how to augment mobile devices with a...
Hans-Werner Gellersen, Albrecht Schmidt, Michael B...
GPEM
2010
89views more  GPEM 2010»
15 years 6 months ago
Variable population size and evolution acceleration: a case study with a parallel evolutionary algorithm
Abstract With current developments of parallel and distributed computing, evolutionary algorithms have benefited considerably from parallelization techniques. Besides improved com...
Ting Hu, Simon Harding, Wolfgang Banzhaf