Sciweavers

684 search results - page 53 / 137
» Memory Access Characteristics of Network Infrastructure Appl...
Sort
View
SP
2009
IEEE
155views Security Privacy» more  SP 2009»
15 years 4 months ago
A Logic of Secure Systems and its Application to Trusted Computing
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
Anupam Datta, Jason Franklin, Deepak Garg, Dilsun ...
ICC
2007
IEEE
120views Communications» more  ICC 2007»
15 years 4 months ago
An Event-Detection Estimation Model for Hybrid Adaptive Routing in WSNs
— A fundamental goal of a wireless sensor network (WSN) is to collect and deliver data to external applications. Due to the strong constraints of these networks, routing algorith...
Carlos Mauricio S. Figueiredo, Eduardo Freire Naka...
HICSS
1999
IEEE
115views Biometrics» more  HICSS 1999»
15 years 2 months ago
Focusing on Mobility
In this paper, we motivate the importance of the field of mobile computing and survey current practical and formal approaches. We argue that the existing formalisms are not suffic...
Klaus Bergner, Radu Grosu, Andreas Rausch, Alexand...
COMCOM
2006
119views more  COMCOM 2006»
14 years 9 months ago
From content distribution networks to content networks - issues and challenges
Due to the technical developments in electronics the amount of digital content is continuously increasing. In order to make digital content respectively multimedia content availab...
Thomas Plagemann, Vera Goebel, Andreas Mauthe, Lau...
ICPPW
2006
IEEE
15 years 3 months ago
m-LPN: An Approach Towards a Dependable Trust Model for Pervasive Computing Applications
Trust, the fundamental basis of ‘cooperation’ – one of the most important characteristics for the performance of pervasive ad hoc network-- is under serious threat with the ...
Munirul M. Haque, Sheikh Iqbal Ahamed