Sciweavers

2607 search results - page 479 / 522
» On the Architecture of System Verification Environments
Sort
View
CMS
2003
108views Communications» more  CMS 2003»
13 years 8 months ago
Towards an IPv6-Based Security Framework for Distributed Storage Resources
Abstract. Some security problems can be often solved through authorization rather than authentication. Furthermore, certificate-based authorization approach can alleviate usual dr...
Alessandro Bassi, Julien Laganier
IJCAI
1997
13 years 8 months ago
Mental Tracking: A Computational Model of Spatial Development
Psychological experiments on children's development of spatial knowledge suggest experience at self-locomotion with visual tracking as important factors. Yet, the mechanism u...
Kazuo Hiraki, Akio Sashima, Steven Phillips
ISLPED
2010
ACM
165views Hardware» more  ISLPED 2010»
13 years 7 months ago
Power-efficient directional wireless communication on small form-factor mobile devices
Wireless access is known to be power-hungry for mobile devices. A key reason is that devices radiate power in all directions and much of this power will not reach the destination....
Ardalan Amiri Sani, Hasan Dumanli, Lin Zhong, Ashu...
COMCOM
2010
133views more  COMCOM 2010»
13 years 7 months ago
Supporting mobility in an IMS-based P2P IPTV service: A proactive context transfer mechanism
In recent years, IPTV has received an increasing amount of interest from the industry, commercial providers and the research community, alike. In this context, standardization bod...
Iván Vidal, Jaime García-Reinoso, An...
INFORMATICALT
2008
120views more  INFORMATICALT 2008»
13 years 7 months ago
Nonlinear Behaviour in the MPI-Parallelised Model of the Rat Somatosensory Cortex
Mammalian brains consisting of up to 1011 neurons belong to group of the most complex systems in the Universe. For years they have been one of the hardest objects of simulation. Th...
Grzegorz M. Wojcik, Wieslaw A. Kaminski